Sciweavers

ADG
2013
Springer
98views Mathematics» more  ADG 2013»
9 years 11 months ago
Proof and Computation in Geometry
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...
Michael Beeson