
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...

GEOTHER 1.1
 Referenced in 30 articles
[sw02842]
 GEOTHER (GEOmetry THeorem provER), a module of Epsilon...

GeoGebra
 Referenced in 328 articles
[sw04203]
 GeoGebra is free and multiplatform dynamic mathematics...

SymbolicData
 Referenced in 27 articles
[sw04621]
 The SymbolicData GEO records  a public repository of...

GCLCprover
 Referenced in 18 articles
[sw06215]
 GCLCprover, an automatic theorem prover (ATP) ...

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

Juno2
 Referenced in 11 articles
[sw07216]
 Foundations of a constraintbased illustrator. The talk...

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

Coquelicot
 Referenced in 11 articles
[sw11552]
 Coquelicot: A userfriendly library of real analysis...

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 highlevel, general...

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

Oracle
 Referenced in 227 articles
[sw15847]
 Oracle Database is an objectrelational database management...