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

KeTCindy
 Referenced in 10 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...

GeoLogic
 Referenced in 1 article
[sw33592]
 with a graphical application GeoLogic, similar to GeoGebra, which allows users to interactively study...

Coq
 Referenced in 1898 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 171 articles
[sw00560]
 Maxima is a system for the manipulation of...

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

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

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

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

CRAN
 Referenced in 568 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 17 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 25 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 16 articles
[sw06663]
 Giac/Xcas is a free computer algebra system for...