CAD
2000
Springer
13 years 11 months ago
2000
Springer
In this paper we consider error propagation in geometric constructions from a geometric viewpoint. First we study affine combinations of convex bodies: This has numerous examples ...
ADG
2006
Springer
14 years 3 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
ADG
2000
Springer
14 years 3 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...