• Leibniz

  • Referenced in 31 articles [sw12871]
  • Leibniz System is a software package for the development and implementation of logic-based intelligent...
  • ADOL-C

  • Referenced in 233 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • DETools

  • Referenced in 4 articles [sw00198]
  • A MuPAD library for differential equations. We present...
  • Maple

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

  • Referenced in 31 articles [sw00547]
  • MARCA: Markov chain analyzer, a software package for...
  • Mathematica

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

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

  • Referenced in 13 articles [sw00667]
  • PADRE2, a Fortran precompiler yielding error estimates and...
  • SETHEO

  • Referenced in 119 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper...
  • Plural

  • Referenced in 79 articles [sw00719]
  • Singular is a computer algebra system (CAS) developed...
  • SageMath

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

  • Referenced in 1373 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • ZEAL

  • Referenced in 15 articles [sw01033]
  • ZEAL is a general purpose package for computing...
  • Haskell

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

  • Referenced in 20 articles [sw05402]
  • hfloat (for huge floats) is a library package...
  • HOL

  • Referenced in 502 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • CIRC

  • Referenced in 40 articles [sw06202]
  • Circ is an automated behavioral prover based on...
  • LMI toolbox

  • Referenced in 1419 articles [sw06383]
  • Linear Matrix Inequalities (LMIs) and LMI techniques have...
  • OEIS

  • Referenced in 3387 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • NCAlgebra

  • Referenced in 54 articles [sw07755]
  • NCAlgebra: Our Non Commutative Algebra Packages run under...