Sciweavers

Share
1 search results - page 1 / 1
» adg 2013
Sort
View
ADG
2013
Springer
98views Mathematics» more  ADG 2013»
6 years 2 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
books