4850 search results - page 26 / 970 » Proof and Computation in Geometry |
62
Voted
COMPGEOM
1989
ACM
15 years 2 months ago
1989
ACM
CGA
2005
14 years 10 months ago
2005
COMPGEOM
2007
ACM
15 years 2 months ago
2007
ACM
ADG
2000
Springer
15 years 3 months ago
2000
Springer
In this paper we propose a bracket algebra based elimination method for automated generation of readable proofs for theorems in incidence geometry. This method is based on two tech...
108
click to vote
IUI
2010
ACM
15 years 5 months ago
2010
ACM
Computer-based geometry systems have been widely used for teaching and learning, but largely based on mouse-andkeyboard interaction, these systems usually require users to draw fi...