# A new look at euclid’s second proposition

@article{Toussaint1993ANL, title={A new look at euclid’s second proposition}, author={G. Toussaint}, journal={The Mathematical Intelligencer}, year={1993}, volume={15}, pages={12-24} }

ConclusionsWe mention in closing that even the 20th-centuryAlgorithm CO pales by comparison withAlgorithm Euclid from the point of view of robustness with respect to singularities. Consider, for example, the case where point C happens to lie at a location equidistant fromA andB.Algorithm Euclid executes in this case as easily as in any other because everything is well-defined. Without special flag-waving code, however,Algorithm CO could crash attempting to draw a circle with radius zero and… Expand

#### 6 Citations

Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry

- Computer Science, Mathematics
- Automated Deduction in Geometry
- 2000

Robustness in CAD geometric constructions

- Computer Science
- Proceedings Fifth International Conference on Information Visualisation
- 2001

Image Capture for Concrete Programming - Building Schemata for Problem Solving

- Computer Science
- CSEDU
- 2011

#### References

SHOWING 1-10 OF 51 REFERENCES