×

Xeukleides

swMATH ID: 1025
Software Authors: Obrecht, Christian
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; MMP/Geometer; GEOTHER 1.1; WinGCLC; OpenGeoProver; ArgoTriCS; sketchometry; gcl; Geometer's Sketchpad; GEX; Theorema; Coq; TPTP; SATLIB
Cited in: 4 Documents
This software is also referenced in ORMS.

Citations by Year