×

Found 316 Software Packages (Results 1–100)

Matlab

Cited in 14,575 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,953 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,755 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,450 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,432 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,221 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,101 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); …

UCI-ml

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

DLMF

Cited in 3,866 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,747 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,014 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,559 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,679 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); …

Coq

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

Adam

Cited in 1,936 Documents (2016–2024)
Software Authors: Diederik P. Kingma, Jimmy Ba
Related Software: TensorFlow; PyTorch; ImageNet; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

LAPACK

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

BayesDA

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

mctoolbox

Cited in 1,671 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,516 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,235 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); …

PRMLT

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

SeDuMi

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

YALMIP

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

Isabelle/HOL

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

SciPy

Cited in 851 Documents (2005–2024)
Software Authors: Jones, E., Oliphant, T., Peterson, P., et al.
Related Software: Python; NumPy; Matplotlib; …
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); …

TensorFlow

Cited in 896 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 965 Documents (2010–2024)
Software Authors: J. Deng, W. Dong, R. Socher, L.-J. Li, K. Li, L. Fei-Fei
Related Software: AlexNet; Adam; TensorFlow; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

L-BFGS

Cited in 1,038 Documents (1981–2024)
Software Authors: Zhu, Ciyou; Byrd, Richard H.; Lu, Peihuang; Nocedal, Jorge
Related Software: L-BFGS-B; LBFGS-B; CUTEr; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …

AUTO

Cited in 1,036 Documents (1981–2024)
Software Authors: Doedel, Eusebius, Alan Champneys, Fabio Dercole, Thomas Fairgrieve, Yuri Kuznetsov, Bart Oldeman, Randy Paffenroth, Bjorn Sandstede, Xianjun Wang, and Chenghai Zhang
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); …

PyTorch

Cited in 742 Documents (2018–2024)
Software Authors: A. Paszke, S. Gross, F. Massa, A. Lerer, J. Bradbury, G. Chanan, T. Killeen, Z. Lin, N. Gimelshein, L. Antiga, A. Desmaison, A. Kopf, E. Yang, Z. DeVito, M. Raison, A. Tejani, S. Chilamkurthy, B. Steiner, L. Fang, J. Bai, S. Chintala
Related Software: Adam; TensorFlow; Python; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Haskell

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

AlexNet

Cited in 791 Documents (2014–2024)
Software Authors: Alex Krizhevsky, Ilya Sutskever, Geoffrey E Hinton
Related Software: ImageNet; Adam; TensorFlow; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-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 777 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 461 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); …

SDPT3

Cited in 774 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 768 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 745 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 744 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); …

mftoolbox

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

Maude

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

nauty

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

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); …

Uppaal

Cited in 571 Documents (1990–2023)
Software Authors: Uppsala University, Sweden; Aalborg University in Denmark
Related Software: Kronos; HyTech; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

SCIP

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

FFTW

Cited in 593 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 595 Documents (2003–2024)
Software Authors: Niklas Eén, Niklas Sörensson
Related Software: Chaff; z3; BerkMin; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

HOL

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

Chaff

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

Eigtool

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

Knapsack

Cited in 546 Documents (1995–2024)
Software Authors: Pisinger, David; Toth, Paolo
Related Software: CPLEX; MULKNAP; OR-Library; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Chebfun

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

TETRAD

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

Matplotlib

Cited in 320 Documents (2007–2024)
Software Authors: John Hunter, Darren Dale, Eric Firing, Michael Droettboom and the matplotlib development team
Related Software: NumPy; Python; SciPy; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

INTLAB

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

BRENT

Cited in 503 Documents (1971–2024)
Software Authors: Richard Brent; John Burkardt
Related Software: R; minpack; Matlab; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

UMDES

Cited in 463 Documents (1996–2024)
Software Authors: Christos G. Cassandras; Stéphane Lafortune
Related Software: Supremica; TCT; libFAUDES; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

CGAL

Cited in 428 Documents (2000–2024)
Software Authors: CGAL Editorial Board
Related Software: LEDA; 2D triangulations; Triangle; …
Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX); …

MNIST

Cited in 417 Documents (2001–2024)
Software Authors: Y. LeCun; C. Cortes; Christopher J.C. Burges
Related Software: Adam; UCI-ml; CIFAR; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-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; SPASS; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX); …

Nuprl

Cited in 420 Documents (1986–2023)
Software Authors: R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, S. F. Smith
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); …

polymake

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

McEliece

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

Qhull

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

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); …

OTTER

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

Wasserstein GAN

Cited in 337 Documents (2018–2024)
Software Authors: Arjovsky, Martin; Chintala, Soumith; Bottou, Léon
Related Software: Adam; pix2pix; CycleGAN; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …

Octave

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

HyTech

Cited in 322 Documents (1996–2024)
Software Authors: Tom Henzinger, Pei-Hsin Ho, and Howard Wong-Toi.
Related Software: Uppaal; PHAVer; Kronos; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

Concorde

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

Sostools

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

HOL Light

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

gmp

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

Keras

Cited in 268 Documents (2017–2024)
Software Authors: F. Chollet
Related Software: TensorFlow; Adam; GitHub; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

INTOPT_90

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

ACL2

Cited in 291 Documents (1998–2024)
Software Authors: Matt Kaufmann, Strother Moore
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); …

Algorithm 97

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

GSL

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

Bertini

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

QEPCAD

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

Z

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

Eigen

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

LMFDB

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

OCaml

Cited in 275 Documents (1998–2024)
Software Authors: INRIA; X. Leroy, D. Rémy, J. Vouillon, D. Doligez
Related Software: Coq; Haskell; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-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); …

itsmr

Cited in 269 Documents (1996–2024)
Software Authors: George Weigt
Related Software: ITSM2000; R; astsa; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-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); …

Kronos

Cited in 252 Documents (1996–2024)
Software Authors: Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
Related Software: Uppaal; HyTech; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

LaTeX

Cited in 253 Documents (1988–2024)
Software Authors: Leslie Lamport
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: 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); …

Filter Results by …

all top 5

Related Software

all top 3

Main Field