×

Found 385 Software Packages (Results 1–100)

Matlab

Cited in 14,235 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); …

R

Cited in 9,787 Documents (1978–2024)
Software Authors: Wickham, Hadley; Gentleman, Robert; Ihaka, Ross; Chambers, John M.; Venables, William N.; Ripley, Brian D.
Related Software: CRAN; ggplot2; SAS; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …

Mathematica

Cited in 6,655 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,426 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,384 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 5,224 Documents (2010–2024)
Software Authors: github
Related Software: R; Adam; Matlab; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Magma

Cited in 4,060 Documents (1994–2024)
Software Authors: W. Bosma, A. Steel, G. Matthews, D. Fisher, J. Cannon, S. Contini, B. Smith
Related Software: GAP; SageMath; PARI/GP; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX); …

DLMF

Cited in 3,824 Documents (2000–2024)
Software Authors: Lozier, Daniel W.
Related Software: Mathematica; Matlab; OEIS; …
Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); …

GAP

Cited in 3,713 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); …

CPLEX

Cited in 3,000 Documents (1992–2024)
Software Authors: IBM
Related Software: Gurobi; SCIP; AMPL; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

Python

Cited in 1,526 Documents (1991–2025)
Software Authors: Guido van Rossum
Related Software: SciPy; NumPy; Matplotlib; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

SageMath

Cited in 2,661 Documents (2002–2024)
Software Authors: The Sage Developers; William Stein; David Joyner; David Kohel; John Cremona; Eröcal, Burçin
Related Software: Magma; GAP; GitHub; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX); …

Macaulay2

Cited in 2,276 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,992 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); …

LAPACK

Cited in 1,770 Documents (1988–2024)
Software Authors: LAPACK team: lapack@cs.utk.edu
Related Software: BLAS; ScaLAPACK; Matlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …

SINGULAR

Cited in 1,664 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); …

LMI toolbox

Cited in 1,514 Documents (1995–2024)
Software Authors: MathWorks; Gahinet, P.; Nemirovskii, A.; Laub, A.J.; Chilali, M.
Related Software: Matlab; Control System Toolbox; YALMIP; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Operations research, mathematical programming (90-XX); …

CUDA

Cited in 1,220 Documents (2007–2024)
Software Authors: NVIDIA; Vingelmann, Péter; Fitzek, Frank H.P.
Related Software: OpenCL; CUBLAS; Matlab; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …

SeDuMi

Cited in 1,389 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,262 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,107 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); …

Gurobi

Cited in 1,108 Documents (2010–2024)
Software Authors: Zonghau Gu; Ed Rothberg; Bob Bixby; Gurobi Optimization, Inc.
Related Software: CPLEX; SCIP; GitHub; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …

Haskell

Cited in 846 Documents (1989–2024)
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); …

Julia

Cited in 687 Documents (2014–2024)
Software Authors: Bezanson J, Karpinski S, Shah VB, Edelman A
Related Software: GitHub; JuMP; DifferentialEquations.jl; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …

MathOverflow

Cited in 827 Documents (2010–2024)
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); …

z3

Cited in 774 Documents (2001–2024)
Software Authors: Microsoft Research; Leonardo de Moura; Nikolaj Bjørner
Related Software: CVC4; SMT-LIB; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

NumPy

Cited in 452 Documents (2000–2024)
Software Authors: Oliphant, T. E.
Related Software: Python; SciPy; Matplotlib; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …

minpack

Cited in 793 Documents (1979–2024)
Software Authors: Garbow B, Hillstrom K, More J
Related Software: CUTEr; L-BFGS; HYBRJ; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

SDPT3

Cited in 770 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); …

PARI/GP

Cited in 764 Documents (1992–2024)
Software Authors: Henri Cohen; Karim Belabas; PARI group
Related Software: Magma; SageMath; ecdata; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

Isabelle

Cited in 743 Documents (1990–2024)
Software Authors: Larry Paulson, Tobias Nipkow, Makarius Wenzel
Related Software: Isabelle/HOL; HOL; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …

REDUCE

Cited in 743 Documents (1970–2024)
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); …

MACSYMA

Cited in 721 Documents (1971–2023)
Software Authors: symbolics
Related Software: Maple; Mathematica; REDUCE; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

CoCoA

Cited in 685 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); …

Mosek

Cited in 647 Documents (1999–2024)
Software Authors: MOSEK ApS
Related Software: YALMIP; SeDuMi; SDPT3; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

KELLEY

Cited in 664 Documents (1995–2024)
Software Authors: Kelley, C.T.
Related Software: minpack; L-BFGS; Matlab; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

SCIP

Cited in 650 Documents (2005–2024)
Software Authors: Tristan Gally, Gerald Gamrath, Patrick Gemander, Ambros Gleixner, Robert Gottwald, Gregor Hendel, Christopher Hojny, Stephen J. Maher, Matthias Miltenberger, Benjamin Müller, Marc Pfetsch, Franziska Schlösser, Felipe Serrano, Stefan Vigerske, Dieter Weninger, Jakob Witzig
Related Software: CPLEX; MIPLIB; Gurobi; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …

PVS

Cited in 618 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); …

JDQZ

Cited in 644 Documents (1996–2024)
Software Authors: D.R. Fokkema; G.L.G. Sleijpen; H.A. van der Vorst
Related Software: JDQR; ARPACK; eigs; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …

FFTW

Cited in 583 Documents (2000–2024)
Software Authors: MIT; Matteo Frigo; Steven G. Johnson
Related Software: Matlab; ATLAS; LAPACK; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

MiniSat

Cited in 588 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); …

HOL

Cited in 593 Documents (1985–2023)
Software Authors: Gordon, Michael J. C.
Related Software: Isabelle; Isabelle/HOL; ML; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …

Eigtool

Cited in 604 Documents (1996–2024)
Software Authors: Thomas G. Wright; Nick Trefethen; Mark Embree
Related Software: ARPACK; Seigtool; Matlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Operator theory (47-XX); …

Mizar

Cited in 561 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); Number theory (11-XX); …

JDQR

Cited in 540 Documents (1996–2024)
Software Authors: Gerard L.G. Sleijpen
Related Software: JDQZ; ARPACK; eigs; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …

LINPACK

Cited in 509 Documents (1979–2023)
Software Authors: Department of Mathematics - University of Utah; J. Dongarra, J. Bunch, C. Moler, G. W. Stewart
Related Software: LAPACK; EISPACK; BLAS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX); …

Chebfun

Cited in 529 Documents (2004–2024)
Software Authors: ChebfunTeam; A Driscoll, N. Hale, L. N. Trefethen
Related Software: Matlab; DLMF; Chebfun2; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX); …

INTLAB

Cited in 512 Documents (1999–2024)
Software Authors: Rump, Siegfried M.
Related Software: Matlab; mctoolbox; C-XSC 2.0; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …

EISPACK

Cited in 493 Documents (1974–2023)
Software Authors: Brian Smith, James Boyle, Jack Dongarra, Burton Garbow, Y. Ikebe, V. Klema, Cleve Moler
Related Software: LAPACK; LINPACK; BLAS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

GeoGebra

Cited in 216 Documents (2007–2024)
Software Authors:
Related Software: Geometer's Sketchpad; Cinderella; GEX; …
Main Fields: General and overarching topics; collections (00-XX); Commutative algebra (13-XX); Geometry (51-XX); …

FORM

Cited in 424 Documents (1993–2024)
Software Authors: Kuipers, J.; Ueda, T.; Vermaseren, J.A.M.; Vollinga, J.
Related Software: Mincer; Reduze; Axodraw; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Quantum theory (81-XX); …

NAG

Cited in 422 Documents (1976–2023)
Software Authors: Numerical Algorithms Group
Related Software: nag; Matlab; LAPACK; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …

BARON

Cited in 420 Documents (1996–2024)
Software Authors: Sahinidis, Nikolaos V.
Related Software: CPLEX; GAMS; SCIP; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

polymake

Cited in 401 Documents (2000–2024)
Software Authors: Ewgenij Gawrilow, Michael Joswig, and the polymake team
Related Software: Macaulay2; Gfan; Normaliz; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); …

MersenneTwister

Cited in 365 Documents (1998–2024)
Software Authors: Matsumoto, Makoto; Nishimura, Takuji
Related Software: TestU01; R; Diehard; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …

GloptiPoly

Cited in 365 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); …

McEliece

Cited in 355 Documents (1981–2024)
Software Authors: Heyse, Stefan; Moradi, Amir; Paar, Christof
Related Software: BIKE; NTRU; Magma; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

ecdata

Cited in 360 Documents (1992–2024)
Software Authors: J. E. Cremona
Related Software: Magma; SageMath; PARI/GP; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Special functions (33-XX); …

Qhull

Cited in 332 Documents (1996–2024)
Software Authors: C. Bradford Barber , Hannu Huhdanpaa
Related Software: Matlab; CGAL; Triangle; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Concorde

Cited in 328 Documents (1997–2024)
Software Authors: Applegate, David L.; Bixby, Robert E.; Chvátal, Vašek; Cook, William J.
Related Software: TSPLIB; LKH; VRP; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Octave

Cited in 297 Documents (1992–2024)
Software Authors: John W. Eaton
Related Software: Matlab; R; Scilab; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …

NewtonLib

Cited in 335 Documents (2001–2024)
Software Authors: Deuflhard, Peter; Lutz Weimann
Related Software: PETSc; RODAS; Matlab; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-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); …

gmp

Cited in 301 Documents (1995–2024)
Software Authors: Granlund
Related Software: MPFR; NTL; PARI/GP; …
Main Fields: Number theory (11-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); …

GSL

Cited in 278 Documents (2002–2024)
Software Authors: Free Software Foundation, M.Galassi, J.Davies, J.Theiler, B.Gough, G.Jungman, P.Alken, M.Booth, F.Rossi
Related Software: R; LAPACK; PETSc; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …

QEPCAD

Cited in 297 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); …

Bertini

Cited in 291 Documents (2008–2024)
Software Authors: D. Bates, J. Hauenstein, A. Sommese,C. Wampler
Related Software: PHCpack; Macaulay2; HOM4PS; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); …

LMFDB

Cited in 294 Documents (2014–2024)
Software Authors: http://www.lmfdb.org/acknowledgment
Related Software: Magma; SageMath; GitHub; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Special functions (33-XX); …

ALGOL 68

Cited in 280 Documents (1969–2019)
Software Authors: van Wijngaarden, A. Author Profile; Mailloux, B.J.; Peck, J.E.L.; Koster, C.H.A.; Sintzoff, M.; Lindsey, C.H.; Meertens, L.G.L.T.; Fisker, R.G.
Related Software: ALGOL 60; Simula 67; Ada95; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …

Archive Formal Proofs

Cited in 279 Documents (1963–2024)
Software Authors: Blanchette, Jasmin Christian; Haslbeck, Maximilian; Matichuk, Daniel; Nipkow, Tobias
Related Software: Isabelle/HOL; Isabelle; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …

Schwarz-Christoffel

Cited in 271 Documents (1996–2024)
Software Authors: Tobin A. Driscoll
Related Software: SC Toolbox; Matlab; SCPACK; …
Main Fields: Functions of a complex variable (30-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …

CHEVIE

Cited in 266 Documents (1994–2024)
Software Authors: Geck, Meinolf; Hiss, Gerhard; Lübeck, Frank; Malle, Gunter; Pfeiffer, Götz
Related Software: GAP; Magma; SageMath; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …

Code Tables

Cited in 263 Documents (1998–2022)
Software Authors: Markus Grassl; Brouwer, A. E.
Related Software: Magma; GAP; MinT; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Geometry (51-XX); …

PITCON

Cited in 259 Documents (1984–2023)
Software Authors: Werner Rheinboldt; John Burkardt
Related Software: HOMPACK; AUTO-86; AUTO; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …

NTRU

Cited in 256 Documents (1998–2024)
Software Authors: Hoffstein, Jeffrey; Pipher, Jill; Silverman, Joseph H.
Related Software: NTRUSign; BKZ; GitHub; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Computer science (68-XX); …

PHCpack

Cited in 250 Documents (1999–2024)
Software Authors: Jan Verschelde
Related Software: Bertini; Macaulay2; HOM4PS; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

FGb

Cited in 252 Documents (1998–2023)
Software Authors: J.-C. Faugère
Related Software: Magma; SINGULAR; Maple; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

MPFR

Cited in 250 Documents (2001–2024)
Software Authors: Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Philippe Théveny, Paul Zimmermann
Related Software: gmp; Mathematica; mctoolbox; …
Main Fields: Number theory (11-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …

NTL

Cited in 242 Documents (1998–2023)
Software Authors: Victor Shoup
Related Software: gmp; Magma; GitHub; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

GAUSSIAN

Cited in 223 Documents (1983–2024)
Software Authors: Gaussian, Inc.; http://gaussian.com/people/
Related Software: NWChem; GAMESS; MOLPRO; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Quantum theory (81-XX); …

ATLAS Group Representations

Cited in 240 Documents (1997–2024)
Software Authors: Abbott, R., Bray, J., Linton, S., Nickerson, S., Norton, S., Parker, R., Suleiman, I., Tripp, J., Walsh, P., Wilson, R.
Related Software: GAP; Magma; CTblLib; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …

PRESENT

Cited in 231 Documents (2007–2023)
Software Authors: Bogdanov, A.; Paillier, P.; Verbauwhede, I; Orange Labs; Ruhr University Bochum; Technical University of Denmark
Related Software: SIMON; PRINCE; KTANTAN; …
Main Fields: Number theory (11-XX); Group theory and generalizations (20-XX); Computer science (68-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); …

SC Toolbox

Cited in 234 Documents (1996–2024)
Software Authors: Driscoll, Tobin A.
Related Software: Schwarz-Christoffel; Matlab; SCPACK; …
Main Fields: Functions of a complex variable (30-XX); Potential theory (31-XX); Partial differential equations (35-XX); …

SymPy

Cited in 189 Documents (2010–2024)
Software Authors: SymPy Development Team; Joyner, David; Čertík, Ondřej; Meurer, Aaron; Granger, Brian E.
Related Software: Python; NumPy; SciPy; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX); …

TensorToolbox

Cited in 228 Documents (2007–2024)
Software Authors: Bader, Brett W.; Kolda, Tamara G.
Related Software: Algorithm 862; Matlab; Tensorlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX); …

JuMP

Cited in 196 Documents (2017–2024)
Software Authors: I. Dunning, J. Huchette, M. Lubin
Related Software: Julia; Gurobi; GitHub; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …

Normaliz

Cited in 210 Documents (1998–2024)
Software Authors: Winfried Bruns, Bogdan Ichim, Tim Römer, Christof Söger
Related Software: Macaulay2; 4ti2; polymake; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

GLPK

Cited in 196 Documents (2004–2023)
Software Authors: Andrew Makhorin
Related Software: CPLEX; Gurobi; AMPL; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Pesca

Cited in 205 Documents (2001–2024)
Software Authors: Aarne Ranta
Related Software: MiniML; Coq; Isabelle; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Geometry (51-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); …

Maxima

Cited in 174 Documents (1998–2024)
Software Authors: William Schelter
Related Software: Mathematica; SageMath; Maple; …
Main Fields: Group theory and generalizations (20-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Robotics

Cited in 189 Documents (2000–2024)
Software Authors: Peter Corke
Related Software: YALMIP; SeDuMi; Mosek; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …

Scilab

Cited in 174 Documents (1999–2023)
Software Authors: Scilab Enterprises; Ricardo Fabbri
Related Software: Matlab; Octave; R; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Dynamics

Cited in 186 Documents (1994–2022)
Software Authors: Nusse, Helena E.; Yorke, James A.
Related Software: AUTO; HomCont; Mathematica; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Mechanics of particles and systems (70-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); …

REDLOG

Cited in 172 Documents (1997–2024)
Software Authors: Andreas Dolzmann; Thomas Sturm; Weispfenning, Volker
Related Software: QEPCAD; z3; Maple; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX); …

CUDD

Cited in 159 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); …

Filter Results by …

all top 5

Related Software

all top 3

Main Field