×

GCLCprover

swMATH ID: 6215
Software Authors: Predrag Janicic; Pedro Quaresma
Description: GCLCprover, an automatic theorem prover (ATP)
Homepage: https://www.cisuc.uc.pt/publication/show/1258
Related Software: GeoThms; GCLC; GeoGebra; GEX; GEOTHER 1.1; TGTP; Intergeo; GeoProof; Cinderella; GeoView; JGEX; Coq; Eukleides; Theorema; MMP/Geometer; GATP; Electronic Geometry Textbook; gcl; Xeukleides; ArgoCLP
Referenced in: 18 Publications

Referencing Publications by Year