- Referenced in 3154 articles
- GAP is a system for computational discrete algebra...
- Referenced in 3296 articles
- Computer algebra system (CAS). Magma is a large...
- Referenced in 5363 articles
- The result of over 30 years of cutting...
- Referenced in 13460 articles
- MATLAB® is a high-level language and interactive...
- Referenced in 314 articles
- polymake is open source software for research in...
- Referenced in 8 articles
- Constant weight codes with package CodingTheory.m in Mathematica...
- Referenced in 1272 articles
- SeDuMi is a Matlab toolbox for solving optimization...
- Referenced in 121 articles
- Communicating formal proofs: the case of flyspeck. We...
- Referenced in 443 articles
- BRENT Algorithms for Minimization Without Derivatives. BRENT is...