• Maple

  • Referenced in 5040 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5883 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • SageMath

  • Referenced in 1620 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • COMSOL

  • Referenced in 367 articles [sw04091]
  • The COMSOL Multiphysics engineering simulation software environment facilitates...
  • Mizar

  • Referenced in 456 articles [sw04704]
  • The Mizar System is the only implementation of...
  • SAD

  • Referenced in 14 articles [sw09796]
  • System for automated deduction (SAD): A tool for...
  • ForTheL

  • Referenced in 8 articles [sw09797]
  • ForTheL — the language of formal theories. ForTheL, an...
  • OASES

  • Referenced in 87 articles [sw30082]
  • OASES: Ocean Acoustic and Seismic Exploration Synthesis. OASES...