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.
V. Sundaresan, D. Maier, P. Ramarao, and M. Stoodley. Proceedings of the International Symposium on Code Generation and Optimization, page 87--97. Washington, DC, USA, IEEE Computer Society, (2006)
S. Fickas, and M. Feather. RE '95: Proceedings of the Second IEEE International Symposium on Requirements Engineering, Washington, DC, USA, IEEE Computer Society, (1995)
T. Risler, J. Prost, and F. Julicher. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)
C. Thibierge, F. Ladieu, and D. Hôte. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)
D. Bonamy, L. Ponson, and E. Bouchaud. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)
J. Ducrou, B. Wormuth, and P. Eklund. Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), volume 3596 of Lecture Notes in Computer Science, page 295-306. Springer, (2005)