ADG
2013
Springer
10 years 7 months ago
2013
Springer
We consider the relationships between algebra, geometry, computation, and proof. Computers have been used to verify geometrical facts by reducing them to algebraic computations. Bu...