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