- Referenced in 1692 articles
- Macaulay2 is a software system devoted to supporting...
- Referenced in 5957 articles
- Almost any workflow involves computing results, and that...
- Referenced in 12309 articles
- MATLAB® is a high-level language and interactive...
- Referenced in 561 articles
- graph-theoretic program NAUTY: nauty is a program...
- Referenced in 8601 articles
- R is a language and environment for statistical...
- Referenced in 1408 articles
- SINGULAR is a Computer Algebra system (CAS) for...
- Referenced in 38 articles
- Rapide: A language and toolset for simulation of...
- Referenced in 1 article
- Using the TrustME tool suite for automatic component...
- Referenced in 290 articles
- Eiffel is an ISO-standardized, object-oriented programming...
- Referenced in 91 articles
- MOCHA: Modularity in Model Checking. MOCHA is a...