
Leibniz
 Referenced in 31 articles
[sw12871]
 Leibniz System is a software package for the development and implementation of logicbased intelligent...

ADOLC
 Referenced in 233 articles
[sw00019]
 ADOLC: 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 highlevel 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 highperformance 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, opensource 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, generalpurpose 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 OnLine Encyclopedia of Integer Sequence. The...

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