ArgoTriCS

MaRDI QIDQ27430swMATHFDO

Official website https://doi.org/10.1080/0952813X.2015.1132271

Source code repository https://argo.matf.bg.ac.rs/?content=downloads

Cited in

(18)

• New dynamics in dynamic geometry: dragging constructed points
• Portfolio theorem proving and prover runtime prediction for geometry
• Learning to solve geometric construction problems from images
• Constructibility classes for triangle location problems
• GCLC
• Xeukleides
• Eukleides
• ArgoCLP
• gcl
• OpenGeoProver
• TGTP
• Electronic Geometry Textbook
• WinGCLC
• sketchometry
• meSAT
• Baghera
• Towards an intelligent and dynamic geometry book
• Euclidea

This page was built for software: ArgoTriCS