
GeoGebra
 Referenced in 321 articles
[sw04203]
 GeoGebra is free and multiplatform dynamic mathematics software for all levels of education that...

KeTCindy
 Referenced in 8 articles
[sw15161]
 Scilab, etc.) or dynamic geometry software (like GeoGebra, Cinderella, etc.) to compute graphical data...

GeoText
 Referenced in 3 articles
[sw12576]
 interface to a dynamic mathematics software package (GeoGebra), GeoText is capable of presenting structured textbook...

Coq
 Referenced in 1748 articles
[sw00161]
 Coq is a formal proof management system. It...

I2Geo
 Referenced in 5 articles
[sw00428]
 This paper describes I2Geo, the platform of the...

Maxima
 Referenced in 142 articles
[sw00560]
 Maxima is a system for the manipulation of...

REDUCE
 Referenced in 737 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

SageMath
 Referenced in 1505 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SINGULAR
 Referenced in 1305 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

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

CRAN
 Referenced in 408 articles
[sw04351]
 R is ‘GNU S’, a freely available language...

LAD
 Referenced in 5 articles
[sw04859]
 First steps on using OpenMath to add proving...

GeoProof
 Referenced in 16 articles
[sw05737]
 This program is an interactive geometry software with...

JSXGraph
 Referenced in 8 articles
[sw05852]
 JSXGraph is a crossbrowser library for interactive...

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

Xcas
 Referenced in 10 articles
[sw06662]
 Xcas is an interface to perform computer algebra...

Giac
 Referenced in 13 articles
[sw06663]
 Giac/Xcas is a free computer algebra system for...