
Mathematica
 Referenced in 5766 articles
[sw00554]
 developing embedded imagerecognition 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...

Cabrigeometry
 Referenced in 114 articles
[sw04928]
 practising teachers. Cabrigeometry 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 stepbystep 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 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...

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