ADG
2000
Springer
14 years 4 months ago
2000
Springer
ADG
2000
Springer
14 years 4 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...
ADG
2000
Springer
14 years 4 months ago
2000
Springer
Abstract. Geometric straight-line programs [5, 8] can be used to model geometric constructions and their implicit ambiguities. In this paper we discuss the complexity of deciding w...