Eukleides is a computer language devoted to elementary plane geometry. It aims to be a fairly comprehensive system to create geometric figures, either static or dynamic. It can handle geometric types of data like points, vectors, lines, circles, or conics. A Eukleides script usually consists of a declarative part where objects are defined and a descriptive part where objects are drawn. Nonetheless, Eukleides is also a full featured programming language, providing conditional and iterative structures, user defined functions, modules, etc. The Eukleides distribution provides two distinct interpreters: ”eukleides” and ”euktopst”. The former interpreter produces Encapsulated PostScript (EPS). The latter produces PSTricks macros, allowing Eukleides to be used with LaTeX. (Source: http://freecode.com/)
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Janičić, Predrag; Quaresma, Pedro: Automatic verification of regular constructions in dynamic geometry systems (2007)
- Quaresma, Pedro; Janičić, Predrag: GeoThms -- a web system for Euclidean constructive geometry (2007)
- Janičić, Predrag: GCLC -- a tool for constructive Euclidean geometry and more than that (2006)
- Quaresma, Pedro; Janičić, Predrag: Integrating dynamic geometry software, deduction systems, and theorem repositories (2006)