• Cauchy

  • Referenced in 2 articles [sw28794]
  • Cauchy’s Mean Theorem and the Cauchy-Schwarz Inequality. This document presents the mechanised proofs ... popular theorems attributed to Augustin Louis Cauchy - Cauchy’s Mean Theorem and the Cauchy-Schwarz...
  • BEMLIB

  • Referenced in 96 articles [sw00005]
  • BEMLIB is a boundary-element software library of...
  • Coq

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

  • Referenced in 528 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • LAPACK

  • Referenced in 1582 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Magma

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

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

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

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

  • Referenced in 142 articles [sw00560]
  • Maxima is a system for the manipulation of...
  • NAG

  • Referenced in 373 articles [sw00610]
  • Produced by experts for use in a variety...
  • Octave

  • Referenced in 275 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • R

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

  • Referenced in 737 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SageMath

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

  • Referenced in 325 articles [sw00989]
  • An ANSI C code for sparse LU factorization...
  • AUTO

  • Referenced in 811 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • QUADPACK

  • Referenced in 243 articles [sw01236]
  • Fortran subprograms for evaluating definite integrals of functions...
  • FreeFem++

  • Referenced in 941 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...