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.