Geo* - Geometry on Computer
The Geo* project attempts to bring the contents of traditional geometry to
electronic form and to make geometric computation, reasoning, drawing, and
knowledge management dynamic, automatic, or interactive on computer.
Current research in this project focuses on the
- identification, formalization, representation, and creation of geometric knowledge data and objects;
- design, implementation, and analysis of algorithms and software tools for geometric computation, reasoning, data processing, and diagram generation;
- development of methodologies and systems for geometric knowledge presentation and management;
- design and implementation of geometric specification and programming languages.