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.
M. Ota, M. Ikeguchi, and A. Kidera. PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 101 (51):
17658-17663(December 2004)
A. Joolia, T. Batista, G. Coulson, and A. Gomes. Proceedings of 5th Working IEEE/IFIP Conference on Software Architecture (WICSA 2005), page 131 -140. IEEE Computer Society, (2005)
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)