• JKind

• Referenced in 1 article [sw21029]
• cooperating engines including k-induction, property directed reachability, and template-based invariant generation. Downloads: JKind...

• Template-Coq

• Referenced in 4 articles [sw27569]
• certified meta-programming with typed Template-Coq. Template-Coq (url{https://template-coq.github.io/template-coq}) ... handle the entire Calculus of Inductive Constructions (CIC), as implemented by Coq, including the kernel ... declaration structures for definitions and inductives, and implement a monad for general manipulation ... translation. We also advocate the use of Template-Coq as a foundation for higher-level...

• Coq

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

• Maple

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

• Mathematica

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

• Matlab

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

• MetiTarski

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

• R

• Referenced in 9810 articles [sw00771]
• R is a language and environment for statistical...

• SageMath

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

• STAPL

• Referenced in 14 articles [sw00910]
• The Standard Template Adaptive Parallel Library (STAPL) is...

• PREVAIL

• Referenced in 7 articles [sw02114]
• PREVAIL: A proof environment for VHDL descriptions The...

• LARCH

• Referenced in 104 articles [sw02126]
• The Larch family of languages supports a two...

• SPARK

• Referenced in 48 articles [sw03124]
• Using the SPARK toolset for showing the absence...

• L-BFGS

• Referenced in 805 articles [sw03229]
• Algorithm 778: L-BFGS-B Fortran subroutines for...

• PVS

• Referenced in 629 articles [sw03484]
• PVS is a verification system: that is, a...

• deal.ii

• Referenced in 631 articles [sw03516]
• deal.II is a C++ program library targeted at...

• Haskell

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

• SeDuMi

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

• PETSc

• Referenced in 1541 articles [sw04012]
• The Portable, Extensible Toolkit for Scientific Computation (PETSc...

• UCI-ml

• Referenced in 3379 articles [sw04074]
• UC Irvine Machine Learning Repository. We currently maintain...