• GeoGebra

  • Referenced in 321 articles [sw04203]
  • GeoGebra is free and multi-platform 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, open-source math software...
  • SINGULAR

  • Referenced in 1305 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • 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 cross-browser 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...