• GeoView

  • Referenced in 9 articles [sw12328]
  • dedicated to the visualization of formal statements of plane geometrical theorems. The statements of geometrical...
  • ArgoCLP

  • Referenced in 11 articles [sw07192]
  • based geometry theorem prover capable of producing formal and readable proofs A theorem prover ... geometric theorem proving. Firstly it is powerful enough to formulate the geometric problems, secondly ... axioms in the hierarchy of explored geometric statements and a special treatment for symmetrical predicate...
  • GCLC

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

  • Referenced in 5020 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5857 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • ALGOL 68

  • Referenced in 285 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • GeoGebra

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

  • Referenced in 24 articles [sw06216]
  • GeoThms -- a web system for Euclidean constructive geometry...
  • Juno-2

  • Referenced in 11 articles [sw07216]
  • Foundations of a constraint-based illustrator. The talk...
  • Intergeo

  • Referenced in 16 articles [sw09853]
  • Intergeo - Interoperable Interactive Geometry for Europe. The main...
  • TGTP

  • Referenced in 10 articles [sw12327]
  • TGTP - Thousand of Geometric problems for geometric Theorem...
  • Python

  • Referenced in 1319 articles [sw14460]
  • Python is a widely used high-level, general...
  • INGRES

  • Referenced in 64 articles [sw14901]
  • INGRES -A relational data base management system. ...
  • Oracle

  • Referenced in 227 articles [sw15847]
  • Oracle Database is an object-relational database management...