• TGTP

  • Referenced in 13 articles [sw12327]
  • TGTP - Thousand of Geometric problems for geometric Theorem Provers. The principal motivation in building TGTP...
  • TGTP

  • Referenced in 5 articles [sw01826]
  • TGTP: The Great Theorem Prover...
  • Cinderella

  • Referenced in 153 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • GCLC

  • Referenced in 31 articles [sw00326]
  • We present GCLC/WinGCLC -- a tool for visualizing geometrical...
  • GeoGebra

  • Referenced in 384 articles [sw04203]
  • GeoGebra is free and multi-platform dynamic mathematics...
  • GeoProof

  • Referenced in 17 articles [sw05737]
  • This program is an interactive geometry software with...
  • ArgoCLP

  • Referenced in 12 articles [sw07192]
  • A coherent logic based geometry theorem prover capable...
  • gcl

  • Referenced in 9 articles [sw07212]
  • Geometry Constructions Language (gcl) is a language for...
  • GEX

  • Referenced in 35 articles [sw09961]
  • Geometry Expert (GEX) is a software for dynamic...
  • JGEX

  • Referenced in 16 articles [sw13613]
  • An introduction to Java geometry expert. This paper...
  • GATP

  • Referenced in 6 articles [sw25268]
  • The web geometry laboratory project. The web geometry...
  • WGL

  • Referenced in 2 articles [sw31398]
  • WGL, a web laboratory for geometry. The role...