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.
O. Callaú, R. Robbes, \. Tanter, and D. Röthlisberger. Proceedings of the 8th Working Conference on Mining Software Repositories, page 23--32. New York, NY, USA, ACM, (2011)
B. Ganter, and S. Rudolph. Proceedings of the 9th International Conference on Conceptual Structures (ICCS 2001), volume 2120 of Lecture Notes in Computer Science, page 143-156. Springer, (2001)
T. Mossakowski, L. Schröder, and S. Goncharov. Fundamental Approaches to Software Engineering (FASE 2008), volume 4961 of Lecture Notes in Computer Science, page 199-214. Springer, (2008)
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)