
Mathematica
 Referenced in 6213 articles
[sw00554]
 developing embedded imagerecognition algorithms or teaching calculus. Mathematica is renowned as the world...

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

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

Coq
 Referenced in 1849 articles
[sw00161]
 theorem or constructive mathematics at Nijmegen) and teaching...

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

NewtonLib
 Referenced in 290 articles
[sw04796]
 they are exclusively used for research or teaching purposes. For commercial use of the software...

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

OBJ3
 Referenced in 139 articles
[sw05370]
 been successfully used for research and teaching in software design and specification, rapid prototyping, theorem...

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

NetLogo
 Referenced in 111 articles
[sw09150]
 tool for research and for teaching at the undergraduate level and higher. We outline...

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

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

Scala
 Referenced in 87 articles
[sw07180]
 programmer, whether professional or hobbyist. They teach Scala with a stepbystep approach...

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

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

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

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

DERIVE
 Referenced in 65 articles
[sw02964]
 Derive makes an excellent tool for learning, teaching and doing mathematics...

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