• GeoGebra

  • Referenced in 375 articles [sw04203]
  • GeoGebra is free and multi-platform 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 1835 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 154 articles [sw00560]
  • Maxima is a system for the manipulation of...
  • REDUCE

  • Referenced in 742 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SageMath

  • Referenced in 1778 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SINGULAR

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

  • Referenced in 502 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 cross-browser 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 14 articles [sw06663]
  • Giac/Xcas is a free computer algebra system for...