• Maple

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

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

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

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

  • Referenced in 474 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 9 articles [sw09797]
  • ForTheL — the language of formal theories. ForTheL, an...
  • OASES

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