- Referenced in 5766 articles
- developing embedded image-recognition algorithms or teaching calculus. Mathematica is renowned as the world...
- Referenced in 2738 articles
- capabilities. GAP is used in research and teaching for studying groups and their representations, rings...
- Referenced in 1760 articles
- theorem or constructive mathematics at Nijmegen) and teaching...
- Referenced in 1546 articles
- source math software that supports research and teaching in algebra, geometry, number theory, cryptography, numerical...
- Referenced in 305 articles
- educational tool to teach parallel programming. With tens of thousands of users, PVM has become...
- Referenced in 263 articles
- they are exclusively used for research or teaching purposes. For commercial use of the software...
- Referenced in 224 articles
- world’s leading software for teaching mathematics. Sketchpad® gives students at all levels—from third...
- Referenced in 138 articles
- been successfully used for research and teaching in software design and specification, rapid prototyping, theorem...
- Referenced in 114 articles
- practising teachers. Cabri-geometry is used for teaching secondary school geometry, for university level instruction...
- Referenced in 100 articles
- tool for research and for teaching at the undergraduate level and higher. We outline...
- Referenced in 88 articles
- modeling environment in Matlab for research, teaching and practical solution of optimization problems. The TOMLAB...
- Referenced in 86 articles
- internet standard for the administration, distribution, and teaching of mathematical knowledge. In this paper...
- Referenced in 85 articles
- programmer, whether professional or hobbyist. They teach Scala with a step-by-step approach...
- Referenced in 74 articles
- program that is used for teaching and research at thousands of universities, government agencies, research...
- Referenced in 69 articles
- dynamic models. BNT is widely used in teaching and research: the web page has received...
- Referenced in 48 articles
- Teaching Bayesian statistics to marketing and business students. We discuss our experiences teaching Bayesian statistics...
- Referenced in 66 articles
- platform for integration and comparison, and provide teaching and demonstration tools to disseminate knowledge...
- Referenced in 64 articles
- Derive makes an excellent tool for learning, teaching and doing mathematics...
- Referenced in 37 articles
- 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...
- Referenced in 41 articles
- have been involved in the adoption and teaching of new technologies and methodologies...