• Maple

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

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

  • Referenced in 42 articles [sw00573]
  • Many inequalities involving the functions ln, exp, sin...
  • QEPCAD

  • Referenced in 264 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • Zing

  • Referenced in 38 articles [sw01037]
  • Zing is a software model checking project at...
  • ML

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

  • Referenced in 57 articles [sw01346]
  • Clean is a functional language based on Term...
  • HOL/SPIN

  • Referenced in 24 articles [sw02987]
  • Routing information protocol in HOL/SPIN We provide a...
  • 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...
  • SeDuMi

  • Referenced in 989 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • SDPT3

  • Referenced in 529 articles [sw04009]
  • This software is designed to solve conic programming...
  • ACSL

  • Referenced in 43 articles [sw04216]
  • The Advanced Continuous Simulation Language, or ACSL (pronounced...
  • Simulink

  • Referenced in 646 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • RealPaver

  • Referenced in 50 articles [sw04401]
  • Algorithm 852 Realpaver: nonlinear constraint solving & rigorous global...
  • Yices

  • Referenced in 95 articles [sw04436]
  • Yices is an efficient SMT solver that decides...
  • SATO

  • Referenced in 194 articles [sw04451]
  • SATO: A Solver for Propositional Satisfiability: The Davis...
  • YALMIP

  • Referenced in 749 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • JML

  • Referenced in 185 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...