Title
An interactive method for algebraic proofs
Catalog Number
102672642
Type
Document
Date
1971-09
Author
More, Trenchard, Jr.
Publisher
International Business Machines Corporation (IBM). Philadelphia Scientific Center
Category
Technical Report
Credit
Gift of George Mendonsa