Computational Euclid

Details Computational Euclid Computational Euclid

2006-06-08

arxiv.org/abs/cs/0606036v1

Computer Science

Computational Geometry

8 pages, 3 figures

Scientific paper

We analyse the axioms of Euclidean geometry according to standard object-oriented software development methodology. We find a perfect match: the main undefined concepts of the axioms translate to object classes. The result is a suite of C++ classes that efficiently supports the construction of complex geometric configurations. Although all computations are performed in floating-point arithmetic, they correctly implement as semi-decision algorithms the tests for equality of points, a point being on a line or in a plane, a line being in a plane, parallelness of lines, of a line and a plane, and of planes. That is, in accordance to the fundamental limitations to computability requiring that only negative outcomes are given with certainty, while positive outcomes only imply possibility of these conditions being true.

Affiliated with

Also associated with

No associations

Rating

Computational Euclid does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Computational Euclid, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computational Euclid will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-506866