Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving
Format: hardcover
ISBN:
9780792358350 (079235835X)
Publish date: April 30th 2001
Publisher: Springer
Pages no: 432
Edition language: English