210
Voted
ADG
2013
Springer
11 years 11 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...