Dyna3

Abstract

Constraint-based three-dimensional dynamic geometry

Description

From a search of the web, there does not seem to be a dynamic geometry software package which (a) began its life handling three dimensions, rather than just two, and (b) allows you to express the desired geometric configuration in terms of constraints on the entities (e.g. l and k are parallel, a, b, and c a collinear, etc.) rather than as a construction (e.g. l is the perpendicular bisector of a and b). The goal of Dyna3 is to close this gap.

The first step will be to make sure that the dynamic geometry in XCas is not already close enough to what's desired here.