• Mathematica

  • Referenced in 5766 articles [sw00554]
  • developing embedded image-recognition algorithms or teaching calculus. Mathematica is renowned as the world...
  • GAP

  • Referenced in 2738 articles [sw00320]
  • capabilities. GAP is used in research and teaching for studying groups and their representations, rings...
  • Coq

  • Referenced in 1760 articles [sw00161]
  • theorem or constructive mathematics at Nijmegen) and teaching...
  • SageMath

  • Referenced in 1546 articles [sw00825]
  • source math software that supports research and teaching in algebra, geometry, number theory, cryptography, numerical...
  • PVM

  • Referenced in 305 articles [sw04273]
  • educational tool to teach parallel programming. With tens of thousands of users, PVM has become...
  • NewtonLib

  • Referenced in 263 articles [sw04796]
  • they are exclusively used for research or teaching purposes. For commercial use of the software...
  • Geometer's Sketchpad

  • Referenced in 224 articles [sw04858]
  • world’s leading software for teaching mathematics. Sketchpad® gives students at all levels—from third...
  • OBJ3

  • Referenced in 138 articles [sw05370]
  • been successfully used for research and teaching in software design and specification, rapid prototyping, theorem...
  • Cabri-geometry

  • Referenced in 114 articles [sw04928]
  • practising teachers. Cabri-geometry is used for teaching secondary school geometry, for university level instruction...
  • NetLogo

  • Referenced in 100 articles [sw09150]
  • tool for research and for teaching at the undergraduate level and higher. We outline...
  • TOMLAB

  • Referenced in 88 articles [sw04214]
  • modeling environment in Matlab for research, teaching and practical solution of optimization problems. The TOMLAB...
  • OMDoc

  • Referenced in 86 articles [sw07138]
  • internet standard for the administration, distribution, and teaching of mathematical knowledge. In this paper...
  • Scala

  • Referenced in 85 articles [sw07180]
  • programmer, whether professional or hobbyist. They teach Scala with a step-by-step approach...
  • LIMDEP

  • Referenced in 74 articles [sw04925]
  • program that is used for teaching and research at thousands of universities, government agencies, research...
  • BNT

  • Referenced in 69 articles [sw07384]
  • dynamic models. BNT is widely used in teaching and research: the web page has received...
  • bayesm

  • Referenced in 48 articles [sw06787]
  • Teaching Bayesian statistics to marketing and business students. We discuss our experiences teaching Bayesian statistics...
  • Apron

  • Referenced in 66 articles [sw00045]
  • platform for integration and comparison, and provide teaching and demonstration tools to disseminate knowledge...
  • DERIVE

  • Referenced in 64 articles [sw02964]
  • Derive makes an excellent tool for learning, teaching and doing mathematics...
  • CalcCheck

  • Referenced in 37 articles [sw09760]
  • teaching tool CalcCheck: a proof-checker for Gries and Schneider’s “logical approach to discrete ... customary, more informal, mathematical practises, and thus teaches aspects of both. This is one source...
  • SystemC

  • Referenced in 41 articles [sw07807]
  • have been involved in the adoption and teaching of new technologies and methodologies...