×

Found 193 Software Packages (Results 1–100)

Matlab

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

R

Cited in 10,120 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,814 Documents (1986–2024)
Software Authors: Research, Wolfram
Related Software: Maple; Matlab; R; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Maple

Cited in 5,473 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,516 Documents (1973–2025)
Software Authors: Sloane, Neil J. A.; The OEIS Foundation Inc.
Related Software: SageMath; Mathematica; DLMF; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); …

GitHub

Cited in 5,223 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,134 Documents (1994–2024)
Software Authors: Bosma, W.; Steel, A.; Matthews, G.; Fisher, D.; Cannon, J.; Contini, S.; Smith, B.
Related Software: GAP; SageMath; PARI/GP; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX); …

UCI-ml

Cited in 3,175 Documents (1995–2024)
Software Authors: Aha, David; Murphy, Patrick; Merz, Christopher; Keogh, Eamonn; Blake, Cathy; Hettich, Seth; Newman, David
Related Software: C4.5; LIBSVM; R; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

DLMF

Cited in 3,926 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,772 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,039 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,601 Documents (1991–2025)
Software Authors: Rossum, Guido van
Related Software: SciPy; NumPy; Matplotlib; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

SageMath

Cited in 2,721 Documents (2002–2024)
Software Authors: Developers, The Sage; Stein, William; Joyner, David; Kohel, David; Cremona, John; 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,320 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 2,017 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); …

ElemStatLearn

Cited in 1,896 Documents (2001–2024)
Software Authors: Halvorsen, Kjetil
Related Software: R; UCI-ml; PRMLT; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

LAPACK

Cited in 1,787 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,672 Documents (1991–2024)
Software Authors: Decker, Wolfram; Greuel, Gert-Martin; Pfister, Gerhard; Schönemann, Hans
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,686 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); …

BayesDA

Cited in 1,642 Documents (1997–2024)
Software Authors: Halvorsen, Kjetil
Related Software: R; WinBUGS; Stan; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …

PRMLT

Cited in 1,441 Documents (2006–2024)
Software Authors: Bishop, C.
Related Software: UCI-ml; ElemStatLearn; Adam; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Isabelle/HOL

Cited in 1,418 Documents (1995–2024)
Software Authors: Naraschewski, Wolfgang; Nipkow, Tobias
Related Software: Coq; Isabelle; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

SeDuMi

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

VRP

Cited in 1,263 Documents (1981–2024)
Software Authors: NEO: Networking and Emerging Optimization
Related Software: CVRPSP; CPLEX; Tabu search; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Gurobi

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

TensorFlow

Cited in 937 Documents (2016–2024)
Software Authors: Google Brain team; M. Abadi, A. Agarwal, P. Barham, E. Brevdo, Z. Chen, C. Citro, G. S. Corrado, A. Davis, J. Dean, M. Devin; et al.
Related Software: Adam; PyTorch; Keras; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

ImageNet

Cited in 1,011 Documents (2010–2024)
Software Authors: Deng, J.; Dong, W.; Socher, R.; Li, L. J.; Li, K.; Fei-Fei, L.
Related Software: AlexNet; Adam; TensorFlow; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

HE-E1GODF

Cited in 1,150 Documents (1997–2024)
Software Authors: Toro, E. F
Related Software: HLLE; AUSM; MOOD; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

AUTO

Cited in 1,045 Documents (1981–2024)
Software Authors: Doedel; Eusebius; Champneys, Alan; Dercole, Fabio; Fairgrieve, Thomas; Kuznetsov, Yuri; Oldeman, Bart; Paffenroth, Randy; Sandstede, Bjorn; Wang, Xianjun; Zhang, Chenghai
Related Software: AUTO-07P; HomCont; AUTO-86; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …

Haskell

Cited in 849 Documents (1989–2024)
Software Authors:
Related Software: Coq; ML; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX); …

ARPACK

Cited in 903 Documents (1995–2024)
Software Authors: Lehoucq; Sorensen; Yang
Related Software: eigs; JDQZ; JDQR; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …

Julia

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

AlexNet

Cited in 849 Documents (2014–2024)
Software Authors: Krizhevsky, Alex; Sutskever, Ilya; Hinton, Geoffrey E
Related Software: ImageNet; Adam; TensorFlow; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

z3

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

mftoolbox

Cited in 772 Documents (2008–2024)
Software Authors: Higham, N. J.
Related Software: mctoolbox; Matlab; MATLAB expm; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); …

Isabelle

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

REDUCE

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

Maude

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

MACSYMA

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

nauty

Cited in 703 Documents (1988–2024)
Software Authors: McKay, Brendan; Piperno, Adolfo
Related Software: Traces; GAP; OEIS; …
Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-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); …

glasso

Cited in 690 Documents (2008–2024)
Software Authors: Mazumder, Rahul; Hastie, Trevor; J. Friedman, T.; R. Tibshirani
Related Software: R; glmnet; huge; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

SCIP

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

AMPL

Cited in 658 Documents (1989–2024)
Software Authors: Fourer, R.; Gay, D.M.; Kernighan, B.W.
Related Software: CPLEX; Ipopt; GAMS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

KELLEY

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

JDQZ

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

HOL

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

Eigtool

Cited in 614 Documents (1996–2024)
Software Authors: Wright, Thomas G.; Trefethen, Nick; Embree, Mark
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 562 Documents (1983–2024)
Software Authors: Bancerek, Grzegorz; Bylinski, Czeslaw; Grabowski, Adam; Kornilowicz, Artur; Milewski, Robert; Naumowicz, Adam; Trybulec, Andrzej; Urban, Josef
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 546 Documents (1996–2024)
Software Authors: Sleijpen, Gerard L. G.
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); …

TETRAD

Cited in 503 Documents (1993–2024)
Software Authors: Glymour, Clark; Scheines, Richard; Spirtes, Peter; Ramsey, Joseph
Related Software: pcalg; R; bnlearn; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Statistics (62-XX); …

OPQ

Cited in 512 Documents (2004–2024)
Software Authors: Gautschi, Walter
Related Software: Matlab; DLMF; OrthogonalPolynomials; …
Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Approximations and expansions (41-XX); …

EISPACK

Cited in 494 Documents (1974–2023)
Software Authors: Smith, Brian; Boyle, James; Dongarra, Jack; Garbow, Burton; Ikebe, Y.; Klema, V.; Moler, Cleve
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 218 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); …

TPTP

Cited in 429 Documents (1994–2024)
Software Authors: Sutcliffe, Geoff; Suttner, Christian
Related Software: VAMPIRE; E Theorem Prover; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX); …

BARON

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

NAG

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

darch

Cited in 400 Documents (2006–2024)
Software Authors: Drees, Martin
Related Software: ImageNet; AlexNet; Adam; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Nuprl

Cited in 425 Documents (1986–2023)
Software Authors: Constable, R. L.; Allen, S. F.; Bromley, H. M.; Cleaveland, W. R.; Cremer, J. F.; Harper, R. W.; Howe, D. J.; Knoblock, T. B.; Mendler, N. P.; Panangaden, P.; Sasaki, J. T.; Smith, S. F.
Related Software: Coq; HOL; Automath; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …

UNLocBoX

Cited in 419 Documents (2010–2024)
Software Authors: Perraudin, Nathanael
Related Software: PDCO; GitHub; iPiano; …
Main Fields: Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

DGM

Cited in 413 Documents (2017–2024)
Software Authors: Sirignano, Justin; Spiliopoulos, Konstantinos
Related Software: Adam; DeepXDE; TensorFlow; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); …

polymake

Cited in 405 Documents (2000–2024)
Software Authors: Gawrilow, Ewgenij; Joswig, Michael; 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 374 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); …

symrcm

Cited in 382 Documents (1979–2022)
Software Authors: George, Alan; Joseph Liu; Gilbert, John R.; Cleve Moler; Robert Schreiber
Related Software: SparseMatrix; CSparse; LAPACK; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

GloptiPoly

Cited in 369 Documents (2003–2024)
Software Authors: Henrion, Didier; Lasserre, Jean-Bernard; Loefberg, Johan
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 332 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); …

Concorde

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

CGS

Cited in 341 Documents (1986–2024)
Software Authors: Sonneveld, Peter
Related Software: GpBiCg; BiCGstab; na1; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

HOL Light

Cited in 330 Documents (1998–2024)
Software Authors: Harrison, John
Related Software: Coq; Isabelle/HOL; HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX); …

NewtonLib

Cited in 338 Documents (2001–2024)
Software Authors: Deuflhard, Peter; Weimann, Lutz
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); …

gmp

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

nag

Cited in 313 Documents (1979–2022)
Software Authors: Numerical Algorithms Group (NAG)
Related Software: NAG; Matlab; LAPACK; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Statistics (62-XX); …

Eigen

Cited in 265 Documents (2012–2024)
Software Authors: Jacob, Benoît; Guennebaud, Gaël
Related Software: R; GitHub; PETSc; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

ACL2

Cited in 292 Documents (1998–2024)
Software Authors: Kaufmann, Matt; Moore, Strother
Related Software: Coq; Isabelle/HOL; PVS; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX); …

Bertini

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

QEPCAD

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

Z

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

LMFDB

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

SUNDIALS

Cited in 262 Documents (1990–2024)
Software Authors: Hindmarsh, Alan C.; Brown, Peter N.; Grant, Keith E.; Lee, Steven L.; Serban, Radu; Shumaker, Dan E.; Woodward, Carol S.
Related Software: PETSc; Matlab; RODAS; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …

LaTeX

Cited in 255 Documents (1988–2024)
Software Authors: Lamport, Leslie
Related Software: TeX; EXPFIT4; Maple; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Schwarz-Christoffel

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

CSparse

Cited in 269 Documents (2006–2024)
Software Authors: Davis, Timothy A.
Related Software: SparseMatrix; Matlab; MUMPS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

PHCpack

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

Mace4

Cited in 252 Documents (1995–2024)
Software Authors: McCune, William
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); …

SMT-LIB

Cited in 230 Documents (2004–2024)
Software Authors: Barrett, Clark; de Moura, Leonardo; Ranise, Silvio; Stump, Aaron; Tinelli, Cesare
Related Software: z3; CVC4; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

Geometer's Sketchpad

Cited in 68 Documents (1997–2023)
Software Authors: 2009 KCP Technologies.
Related Software: Cinderella; GeoGebra; Cabri-geometry; …
Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Numerical analysis (65-XX); …

kepler98

Cited in 237 Documents (2000–2024)
Software Authors: Hales, Thomas C.; Ferguson, Samuel P.
Related Software: Isabelle/HOL; Flyspeck; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Convex and discrete geometry (52-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); …

ISOLATE

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

E Theorem Prover

Cited in 233 Documents (2001–2023)
Software Authors: Schulz, Stephan
Related Software: VAMPIRE; TPTP; SPASS; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX); …

Prover9

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

SuperLU

Cited in 209 Documents (1997–2024)
Software Authors: Li, X. Sherry; Demmel, Jim; Gilbert, John; Grigori, Laura; Shao, Meiyue; Yamazaki, Ichitaro
Related Software: MUMPS; UMFPACK; PETSc; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

LOQO

Cited in 211 Documents (1994–2023)
Software Authors: Vanderbei, Robert J.
Related Software: Ipopt; AMPL; MINOS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …

Normaliz

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

CVC4

Cited in 210 Documents (2013–2024)
Software Authors: Barrett, C.; Conway, C.L.; Deters, M.; Hadarean, L.; Jovanović, D.; King, T.; Reynolds, A.; Tinelli, C.
Related Software: z3; SMT-LIB; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX); …

SPASS

Cited in 208 Documents (1996–2023)
Software Authors: Weidenbach, C; Brahm, U; Hillenbrand, T
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); …

Filter Results by …

all top 5

Related Software

all top 3

Main Field