Sciweavers

5510 search results - page 2 / 1102
» Mathematics
Sort
View
ADG
2006
Springer
252views Mathematics» more  ADG 2006»
15 years 11 months ago
Mechanical Theorem Proving in Tarski's Geometry
Julien Narboux
138
Voted
MPC
2004
Springer
159views Mathematics» more  MPC 2004»
15 years 10 months ago
An Algebra of Scans
Ralf Hinze