×

Xeukleides

swMATH ID: 1025
Software Authors: Christian Obrecht
Description: Xeukleides is a frontend for editing and viewing figures described by the language Eukleides (which provides simple and powerful commands for creating elementary Euclidean geometry figures).
Homepage: http://www.eukleides.org/
Keywords: orms
Related Software: GeoThms; GCLCprover; Eukleides; GCLC; Cinderella; GeoView; GeoGebra; GEOTHER 1.1; WinGCLC; MMP/Geometer; ArgoTriCS; sketchometry; gcl; OpenGeoProver; Geometer's Sketchpad; GEX; Theorema; Coq; TPTP; SATLIB
Referenced in: 4 Publications
This software is also referenced in ORMS.

Referenced in 1 Serial

1 Journal of Symbolic Computation

Referencing Publications by Year