×

Found 72 Software Packages (Results 1–72)

Matlab

Cited in 13,814 Documents (1982–2025)
Software Authors: MathWorks Inc
Related Software: Simulink; LMI toolbox; Maple; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …

Mathematica

Cited in 6,559 Documents (1986–2024)
Software Authors: Wolfram Research
Related Software: Maple; Matlab; R; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Maple

Cited in 5,366 Documents (1983–2024)
Software Authors: Waterloo Maple Inc.
Related Software: Mathematica; Matlab; Magma; …
Main Fields: Number theory (11-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX); …

OEIS

Cited in 5,321 Documents (1973–2025)
Software Authors: Sloane, Neil J. A.; The OEIS Foundation Inc.
Related Software: SageMath; Mathematica; GAP; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); …

GitHub

Cited in 3,786 Documents (2010–2024)
Software Authors: github
Related Software: R; Matlab; Python; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

GAP

Cited in 3,668 Documents (1990–2024)
Software Authors: GAP Group
Related Software: Magma; SageMath; ATLAS Group Representations; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …

Macaulay2

Cited in 2,263 Documents (1988–2024)
Software Authors: Grayson, Daniel R.; Stillman, Michael E.; Eisenbud, David; http://www.math.uiuc.edu/Macaulay2/Contributors/
Related Software: SINGULAR; CoCoA; SageMath; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

Coq

Cited in 1,972 Documents (1993–2024)
Software Authors: Dehlinger, Christophe; Dufourd, Jean-François
Related Software: Isabelle/HOL; Isabelle; HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …

SINGULAR

Cited in 1,649 Documents (1991–2024)
Software Authors: Wolfram Decker; Gert-Martin Greuel; Gerhard Pfister; Hans Schönemann
Related Software: Macaulay2; CoCoA; SageMath; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); …

mctoolbox

Cited in 1,630 Documents (1995–2024)
Software Authors: Higham, Nick
Related Software: LAPACK; Matlab; mftoolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …

SeDuMi

Cited in 1,380 Documents (1999–2024)
Software Authors: Sturm J.F
Related Software: YALMIP; SDPT3; GloptiPoly; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

YALMIP

Cited in 1,257 Documents (2004–2024)
Software Authors: Johan Löfberg
Related Software: SeDuMi; SDPT3; Mosek; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Isabelle/HOL

Cited in 1,073 Documents (1996–2024)
Software Authors: Naraschewski, Wolfgang; Nipkow, Tobias
Related Software: Isabelle; Coq; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …

Haskell

Cited in 839 Documents (1989–2023)
Software Authors:
Related Software: Coq; ML; GHC; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX); …

SDPT3

Cited in 768 Documents (1986–2024)
Software Authors: Toh, K.C.; Todd, M.J.; Tütüncü, R.H.
Related Software: SeDuMi; YALMIP; CVX; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

MathOverflow

Cited in 759 Documents (2010–2023)
Software Authors: Stack Exchange Inc
Related Software: OEIS; SageMath; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …

REDUCE

Cited in 738 Documents (1970–2023)
Software Authors: Anthony C. Hearn; Rayna, Gerhard; Rainer Schöpf; Thomas Sturm
Related Software: Maple; Mathematica; MACSYMA; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …

Maude

Cited in 646 Documents (1984–2023)
Software Authors: Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Maude team
Related Software: CafeOBJ; OBJ3; ELAN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX); …

CoCoA

Cited in 680 Documents (1989–2024)
Software Authors: CoCoa-Team; Robbiano, Lorenzo
Related Software: Macaulay2; SINGULAR; CoCoALib; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

nauty

Cited in 691 Documents (1988–2024)
Software Authors: Brendan McKay; Adolfo Piperno
Related Software: Traces; GAP; OEIS; …
Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Computer science (68-XX); …

PVS

Cited in 617 Documents (1993–2023)
Software Authors: Sam Owre, Natarajan Shankar, John Rushby
Related Software: Coq; Isabelle/HOL; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …

MiniSat

Cited in 587 Documents (2003–2023)
Software Authors: Niklas Eén, Niklas Sörensson
Related Software: Chaff; BerkMin; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

Chaff

Cited in 559 Documents (2001–2023)
Software Authors: Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L. and Malik, S
Related Software: MiniSat; BerkMin; SATO; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

Mizar

Cited in 535 Documents (1983–2024)
Software Authors: Grzegorz Bancerek; Czeslaw Bylinski; Adam Grabowski; Artur Kornilowicz; Robert Milewski; Adam Naumowicz; Andrzej Trybulec; Josef Urban
Related Software: Coq; Isabelle/HOL; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); …

GloptiPoly

Cited in 360 Documents (2003–2024)
Software Authors: Didier Henrion; Jean-Bernard Lasserre; Johan Loefberg
Related Software: SeDuMi; YALMIP; Sostools; …
Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); …

OTTER

Cited in 326 Documents (1988–2023)
Software Authors: Bill McCune; Amor Montano, Jose Alfredo; Miranda Perea, Favio Ezequiel
Related Software: TPTP; VAMPIRE; SPASS; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-XX); …

Sostools

Cited in 325 Documents (2002–2024)
Software Authors: Prajna, Stephen; Papachristodoulou, Antonis; Seiler, Peter; Parrilo, Pablo A.
Related Software: SeDuMi; YALMIP; GloptiPoly; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX); …

INTOPT_90

Cited in 310 Documents (1996–2023)
Software Authors: Kearfott, R.Baker
Related Software: INTLAB; C-XSC; PROFIL/BIAS; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Algorithm 97

Cited in 296 Documents (1971–2024)
Software Authors: Robert W. Floyd
Related Software: CPLEX; OR-Library; Tabu search; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …

Z

Cited in 237 Documents (1958–2023)
Software Authors: Woodcock, Jim; Davies, Jim
Related Software: Circus; ProofPower; Rodin; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX); …

QEPCAD

Cited in 295 Documents (1991–2024)
Software Authors: Hoon Hong; Brown, Christopher W.
Related Software: REDLOG; Maple; DISCOVERER; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

CSparse

Cited in 257 Documents (2006–2023)
Software Authors: Davis, Timothy A.
Related Software: SparseMatrix; Matlab; symrcm; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

Mace4

Cited in 246 Documents (1995–2023)
Software Authors: William McCune
Related Software: Prover9; OTTER; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX); …

ISOLATE

Cited in 237 Documents (1999–2024)
Software Authors: Rouillier, Fabrice; Zimmermann, Paul
Related Software: Kronecker; FGb; Maple; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

Agda

Cited in 233 Documents (1999–2024)
Software Authors: Ulf Norell
Related Software: Coq; Haskell; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …

Prover9

Cited in 223 Documents (2006–2024)
Software Authors: William McCune
Related Software: Mace4; OTTER; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX); …

SPASS

Cited in 204 Documents (1996–2023)
Software Authors: C Weidenbach, U Brahm, T Hillenbrand
Related Software: VAMPIRE; TPTP; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX); …

ATLAS

Cited in 187 Documents (1992–2023)
Software Authors: R. Clint Whaley
Related Software: LAPACK; BLAS; PHiPAC; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …

SDPA

Cited in 189 Documents (1997–2023)
Software Authors: Fujisawa, Katsuki; Kojima, Masakazu; Nakata, Kazuhide
Related Software: SeDuMi; SDPT3; CSDP; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

CafeOBJ

Cited in 167 Documents (1997–2023)
Software Authors: Mori, Akira; Futatsugi, Kokichi
Related Software: Maude; OBJ3; CASL; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Algebraic geometry (14-XX); …

AXIOM

Cited in 173 Documents (1992–2022)
Software Authors: Tim Daly, et al.; http://wiki.axiom-developer.org/axiom-website/community.html
Related Software: Maple; Mathematica; REDUCE; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …

CUDD

Cited in 158 Documents (1997–2023)
Software Authors: Fabio Somenzi
Related Software: NuSMV; SPIN; PRISM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

Book3264Examples

Cited in 158 Documents (2015–2024)
Software Authors: Charley Crissman; Eisenbud, David; Harris, Joe
Related Software: Macaulay2; GitHub; HomotopyContinuation; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Dynamical systems and ergodic theory (37-XX); …

Benchmarks for Optimization Software

Cited in 154 Documents (1999–2023)
Software Authors: Hans Mittelmann
Related Software: SeDuMi; MIPLIB; SCIP; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …

SumTools

Cited in 120 Documents (1995–2023)
Software Authors: Wolfram Koepf
Related Software: Maple; DLMF; retode; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX); …

Plural

Cited in 99 Documents (2003–2024)
Software Authors: Levandovskyy, Viktor; Schönemann, Hans; Motsak, Olexander; Greuel, Gert-Martin
Related Software: SINGULAR; Macaulay2; OreModules; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …

emcee

Cited in 60 Documents (2017–2024)
Software Authors: Daniel Foreman-Mackey, David W. Hogg, Dustin Lang, Jonathan Goodman
Related Software: Python; SciPy; Matplotlib; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …

Fuzzy Logic Toolbox

Cited in 66 Documents (1998–2022)
Software Authors: mathworks; Gulley, N.; Jang, J. S.
Related Software: Matlab; ANFIS; Simulink; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

SparsePOP

Cited in 69 Documents (2008–2023)
Software Authors: Hayato Waki; Sunyoung Kim; Masakazu Kojima; Masakazu Muramatsu; Hiroshi Sugimoto
Related Software: SeDuMi; GloptiPoly; SDPT3; …
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX); …

FIESTA

Cited in 60 Documents (2009–2023)
Software Authors: Smirnov, A.V.; Smirnov, V.A.; Tentyukov, M.
Related Software: FIRE; LiteRed; SecDec; …
Main Fields: Algebraic geometry (14-XX); Special functions (33-XX); Numerical analysis (65-XX); …

NCAlgebra

Cited in 58 Documents (1994–2023)
Software Authors: JW Helton, R Miller, M Stankus
Related Software: Mathematica; NCSOStools; SeDuMi; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Associative rings and algebras (16-XX); Operator theory (47-XX); …

Decision tree for optimization software

Cited in 56 Documents (1999–2022)
Software Authors: Mittelmann, H.D.; Peter Spellucci
Related Software: Benchmarks for Optimization Software; MIPLIB; CPLEX; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

MINION

Cited in 54 Documents (2005–2023)
Software Authors: Jefferson, C., Kotthoff, L., Moore, N., Nightingale, P., Petrie, K.E., Rendl, A.
Related Software: GAP; MiniZinc; OEIS; …
Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Group theory and generalizations (20-XX); …

Waldmeister

Cited in 50 Documents (1999–2022)
Software Authors: Thomas Hillenbrand; Bernd Löchner
Related Software: VAMPIRE; TPTP; E Theorem Prover; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); …

FrodoKEM

Cited in 48 Documents (2018–2023)
Software Authors: Erdem Alkim, Joppe W. Bos, Léo Ducas, Karen Easterbrook, Brian LaMacchia, Patrick Longa, Ilya Mironov, Michael Naehrig, Valeria Nikolaenko, Chris Peikert, Ananth Raghunathan, Douglas Stebila
Related Software: Saber; McEliece; BKZ; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX); …

RiG

Cited in 39 Documents (2011–2023)
Software Authors: Graña, Matías; Leandro Vendramin
Related Software: GAP; GitHub; KnotInfo; …
Main Fields: Associative rings and algebras (16-XX); Nonassociative rings and algebras (17-XX); Group theory and generalizations (20-XX); …

MBCbook

Cited in 36 Documents (2019–2023)
Software Authors: Charles Bouveyron; Gilles Celeux; T. Brendan Murphy; Adrian E. Raftery
Related Software: R; mclust; fda (R); …
Main Fields: General algebraic systems (08-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …

IBM Scratchpad

Cited in 34 Documents (1974–2021)
Software Authors: Richard Jenks; IBM
Related Software: Maple; MACSYMA; AXIOM; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …

UniMath

Cited in 34 Documents (2016–2023)
Software Authors: Voevodsky, V., Mörtberg, A., Ahrens, B., Lelay, C., Pannila, T., Matthes, R.
Related Software: GitHub; Coq; cubicaltt; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Category theory; homological algebra (18-XX); …

LASS

Cited in 29 Documents (1997–2021)
Software Authors: Stilian A. Stoev
Related Software: longmemo; wmtsa; Matlab; …
Main Fields: History and biography (01-XX); Harmonic analysis on Euclidean spaces (42-XX); Probability theory and stochastic processes (60-XX); …

HR

Cited in 27 Documents (2002–2022)
Software Authors: Colton, Simon
Related Software: GRAFFITI; OTTER; Mace4; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX); …

SONATA

Cited in 25 Documents (2001–2023)
Software Authors: Aichinger, Erhard; Ecker, Jürgen; Nöbauer, Christof
Related Software: GAP; SmallGroups Library; GotoBLAS; …
Main Fields: Combinatorics (05-XX); General algebraic systems (08-XX); Associative rings and algebras (16-XX); …

Separoids

Cited in 23 Documents (2001–2021)
Software Authors: A.P. Dawid
Related Software: TETRAD; HdBCS; glasso; …
Main Fields: Combinatorics (05-XX); Category theory; homological algebra (18-XX); Probability theory and stochastic processes (60-XX); …

Felix

Cited in 19 Documents (1991–2023)
Software Authors: Joachim Apel, Uwe Klaus
Related Software: Plural; SINGULAR; Macaulay2; …
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Nonassociative rings and algebras (17-XX); …

NCSOStools

Cited in 19 Documents (2010–2022)
Software Authors: Cafuta, Kristijan; Klep, Igor; Povh, Janez; Sabine Burgdorf.
Related Software: Matlab; NCAlgebra; SeDuMi; …
Main Fields: General algebraic systems (08-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

posets

Cited in 19 Documents (1996–2019)
Software Authors: Stembridge, J.R
Related Software: coxeter; SF; OEIS; …
Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-XX); …

AQCS

Cited in 15 Documents (2000–2023)
Software Authors: Ratschan, S
Related Software: QEPCAD; IbexOpt; Numerica; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Numerical analysis (65-XX); …

mathlib

Cited in 10 Documents (2020–2022)
Software Authors: van Doorn, Floris; Ebner, Gabriel; Lewis, Robert Y.; The mathlib Community
Related Software: Lean; Coq; Isabelle/HOL; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …

NASA PVS

Cited in 8 Documents (2008–2018)
Software Authors: NASA Langley
Related Software: PVS; Isabelle/HOL; ACL2; …
Main Fields: Combinatorics (05-XX); General algebraic systems (08-XX); Commutative algebra (13-XX); …

smallDegree

Cited in 4 Documents (2009–2023)
Software Authors: Böhning, Christian; Graf von Bothmer, Hans-Christian; Kröker, Jakob
Related Software: rationality; ClebschGordan; Macaulay2; …
Main Fields: General algebraic systems (08-XX); Algebraic geometry (14-XX); Manifolds and cell complexes (57-XX)

csminwel

Cited in 2 Documents (2013–2014)
Software Authors: Christopher Sims
Related Software: SeDuMi; Benchmarks for Optimization Software; NCAlgebra; …
Main Fields: General algebraic systems (08-XX); Commutative algebra (13-XX); Operator theory (47-XX); …

SEMANOL

Cited in 3 Documents (1976–1984)
Software Authors: Anderson, E. R.; Belz, F. C.; Blum, E. K.
Related Software: ALGOL 68; Refal; ALGOL 60
Main Fields: General algebraic systems (08-XX); Commutative algebra (13-XX); Group theory and generalizations (20-XX); …

Filter Results by …

all top 5

Related Software

all top 3

Main Field