×

Found 7 Software Packages (Results 1–7)

GEX

Software Authors:   Gao, X.-S., et al.
Cited in: 30 Publications (1996–2020)
Related Software: GeoGebra; JGEX; GeoProof; GEOTHER 1.1; GeoThms; GCLC; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Numerical analysis (65-XX)

GeoThms

Software Authors:   Quaresma, Pedro; Predrag Janičić
Cited in: 24 Publications (2006–2020)
Related Software: GCLCprover; GCLC; GeoGebra; GEX; GEOTHER 1.1; GeoProof; …
Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Computer science (68-XX)

gcl

Software Authors:   Janičić, Predrag
Cited in: 9 Publications (2010–2020)
Related Software: GCLC; GEX; GeoGebra; GeoProof; GeoThms; OpenGeoProver; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)

WinGCLC

Software Authors:   Predrag Janicic; coauthors
Cited in: 5 Publications (2006–2011)
Related Software: GeoThms; GCLCprover; Eukleides; GCLC; GeoView; Xeukleides; …
Main Fields: Geometry (51-XX); Differential geometry (53-XX); Computer science (68-XX)

EPGY

Software Authors:   Richard Sommer; Gregory Nuckols
Cited in: 3 Publications (2001–2020)
Related Software: LPL software; REDUCE; OTTER; Isabelle/HOL; Markdown; webLurch; …
Main Fields: Computer science (68-XX); Mathematics education (97-XX)

GeoText

Software Authors:   Xiaoyu Chen
Cited in: 2 Publications (2013–2014)
Related Software: GEOTHER 1.1; TGTP; Intergeo; GeoGebra; arXMLiv; Electronic Geometry Textbook; …
Main Fields: Computer science (68-XX)

HOARD ATINF

Software Authors:   Caferra, Ricardo; Peltier, Nicolas; Puitg, François
Cited in: 2 Publications (2001–2012)
Related Software: JGEX; GEX; DISCOVERER; GeoThms; GCLCprover; GeoProof; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)