WinGCLC

MaRDI QIDQ20583swMATHFDO

Official website https://poincare.matf.bg.ac.rs/~predrag.janicic/gclc/

Cited in

(10)

• Xeukleides
• Eukleides
• GeoThms
• Cabri
• ArgoTriCS
• GeoThms -- a web system for Euclidean constructive geometry
• scientific article; zbMATH DE number 5490684 (Why is no real title available?)
• Computer proofs in plane geometry
• GCLC -- a tool for constructive Euclidean geometry and more than that
• Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories

This page was built for software: WinGCLC