
Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

Maxima
 Referenced in 171 articles
[sw00560]
 Maxima is a system for the manipulation of...

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

MiniSat
 Referenced in 584 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

MPFI
 Referenced in 43 articles
[sw00597]
 Motivations for an arbitrary precision interval arithmetic and...

nauty
 Referenced in 625 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

NTL
 Referenced in 222 articles
[sw00638]
 NTL is a highperformance, portable C++ library...

Octave
 Referenced in 312 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

polymake
 Referenced in 328 articles
[sw00724]
 polymake is open source software for research in...

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

REDUCE
 Referenced in 746 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

SaddleDrop
 Referenced in 14 articles
[sw00824]
 SaddleDrop: a tool for studying dynamics in ℂ...

SageMath
 Referenced in 2033 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

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

Sostools
 Referenced in 293 articles
[sw00891]
 We are pleased to introduce SOSTOOLS, a free...

SymPy
 Referenced in 164 articles
[sw00940]
 SymPy is a Python library for symbolic mathematics...

AUTO
 Referenced in 958 articles
[sw01059]
 AUTO is a software for continuation and bifurcation...

PRISM
 Referenced in 454 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper...

MACSYMA
 Referenced in 721 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

ML
 Referenced in 524 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...