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.
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.
H. Forssell. (2011)cite arxiv:1109.0699Comment: 32 pages. This is the first pre-print version, the final revised version can be found at http://onlinelibrary.wiley.com/doi/10.1002/malq.201100080/abstract (posting of which is not allowed by Wiley). Changes in v2: updated comments.