This archive is open for any geometer to publish new geometric models, or to browse this site for material to be used in education and research. These geometry models cover a broad range of mathematical topics from geometry, topology, and to some extent from numerics.
Kig is a program for exploring geometric constructions.
It is meant as a better replacement for such free programs as KGeo, KSeg and Dr. Geo and commercial programs like Cabri.
Eukleides is a Euclidean geometry drawing language. Two softwares are related to it. First, eukleides, a compiler which allows to typeset geometric figures within a (La)TeX document. This program is also useful to convert such figures in EPS format or in various other vector graphic formats. Second, xeukleides, a GUI front-end which makes possible to create interactive geometric figures. This program is also useful to edit and tune some Eukleides code.
EDEN is the Engine for DEfinitive Notations. It is the primary software tool of the Empirical Modelling research group. We build models with it, using a variety of definitive notations that it implements.