- Referenced in 5199 articles
- The result of over 30 years of cutting...
- Referenced in 6090 articles
- Almost any workflow involves computing results, and that...
- Referenced in 1743 articles
- Sage (SageMath) is free, open-source math software...
- Referenced in 400 articles
- The COMSOL Multiphysics engineering simulation software environment facilitates...
- Referenced in 474 articles
- The Mizar System is the only implementation of...
- Referenced in 14 articles
- System for automated deduction (SAD): A tool for...
- Referenced in 9 articles
- ForTheL — the language of formal theories. ForTheL, an...
- Referenced in 88 articles
- OASES: Ocean Acoustic and Seismic Exploration Synthesis. OASES...