• BARON

  • Referenced in 269 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

  • Referenced in 1536 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2404 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Magma

  • Referenced in 2359 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

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

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

  • Referenced in 10505 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 487 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • SageMath

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

  • Referenced in 376 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • ML

  • Referenced in 479 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • SPIN

  • Referenced in 669 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Haskell

  • Referenced in 733 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • CPLEX

  • Referenced in 2307 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • PHAVer

  • Referenced in 106 articles [sw04123]
  • In 1995, HyTech broke new ground as a...
  • HyTech

  • Referenced in 313 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • RSOLVER

  • Referenced in 68 articles [sw04334]
  • RSolver is a program for solving quantified inequality...
  • Genocop

  • Referenced in 1023 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...