×

Found 545 Software Packages (Results 1–100)

Matlab

Cited in 14,635 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,070 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,799 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); …

OEIS

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

GitHub

Cited in 5,220 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,148 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,756 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,036 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,595 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,698 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,308 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); …

Adam

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

Coq

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

BayesDA

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

CUDA

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

Isabelle/HOL

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

YALMIP

Cited in 1,290 Documents (2004–2024)
Software Authors: Löfberg, Johan
Related Software: SeDuMi; Mosek; SDPT3; …
Main Fields: Calculus of variations and optimal control; optimization (49-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); …

FEniCS

Cited in 1,238 Documents (2007–2024)
Software Authors: Simula Research Laboratory; University of Cambridge; University of Chicago; Texas Tech University; KTH Royal Institute of Technology
Related Software: SyFi; PETSc; DOLFIN; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

SciPy

Cited in 880 Documents (2005–2024)
Software Authors: Jones, E.; Oliphant, T.; Peterson, P.
Related Software: Python; NumPy; Matplotlib; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Gurobi

Cited in 1,156 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 911 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 960 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); …

L-BFGS

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

CVX

Cited in 1,027 Documents (2006–2024)
Software Authors: Grant, Michael; Boyd, Stephen
Related Software: SDPT3; SeDuMi; YALMIP; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Scikit

Cited in 774 Documents (2011–2024)
Software Authors: Pedregosa, Fabian; Varoquaux, Gaël; Gramfort, Alexandre; Michel, Vincent; Thirion, Bertrand; Grisel, Olivier; Blondel, Mathieu; Prettenhofer, Peter; Weiss, Ron; Dubourg, Vincent; Vanderplas, Jake; Passos, Alexandre; Cournapeau, David; Brucher, Matthieu; Perrot, Matthieu; Duchesnay, Édouard
Related Software: Python; TensorFlow; SciPy; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

PyTorch

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

Julia

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

NumPy

Cited in 472 Documents (2000–2024)
Software Authors: Oliphant, T. E.
Related Software: Python; SciPy; Matplotlib; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

z3

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

deal.ii

Cited in 752 Documents (1999–2024)
Software Authors: Bangerth, W.; Hartman, R.; Kanschat, G.
Related Software: Trilinos; PETSc; p4est; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

PARI/GP

Cited in 768 Documents (1992–2024)
Software Authors: Cohen, Henri; Belabas, Karim; 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: 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); …

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

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

Mosek

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

SCIP

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

FFTW

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

Eigtool

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

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

Matplotlib

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

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

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

BRENT

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

UMFPACK

Cited in 470 Documents (1996–2024)
Software Authors: Davis, Timothy A.
Related Software: FreeFem++; PETSc; deal.ii; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

CGAL

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

UMDES

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

MNIST

Cited in 424 Documents (2001–2024)
Software Authors: LeCun, Y.; Cortes, C.; Burges, Christopher J. C.
Related Software: Adam; CIFAR; UCI-ml; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-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); …

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

McEliece

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

ecdata

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

Wasserstein GAN

Cited in 346 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 304 Documents (1992–2024)
Software Authors: Eaton, John W.
Related Software: Matlab; R; Scilab; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …

Sostools

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

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

Keras

Cited in 271 Documents (2017–2024)
Software Authors: Chollet, F.
Related Software: TensorFlow; Adam; GitHub; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-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); …

Tensor2Tensor

Cited in 300 Documents (2019–2024)
Software Authors: Vaswani, Ashish; et al.
Related Software: Adam; BERT; ImageNet; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-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); …

Algorithm 97

Cited in 297 Documents (1971–2024)
Software Authors: Floyd, Robert W.
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; Galassi, M.; Davies, J.; Theiler, J.; Gough, B.; Jungman, G.; Alken, P.; Booth, M.; Rossi, F.
Related Software: R; LAPACK; PETSc; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …

t-SNE

Cited in 282 Documents (2008–2024)
Software Authors: Maaten, Laurens van der; Hinton, Geoffrey
Related Software: UMAP; ImageNet; Adam; …
Main Fields: Statistics (62-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); …

Archive Formal Proofs

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

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

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

CHEVIE

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

k-means++

Cited in 243 Documents (2007–2024)
Software Authors: Arthur, D.; Vassilvitskii, S.
Related Software: UCI-ml; AS 136; Silhouettes; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-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); …

Traces

Cited in 258 Documents (2014–2024)
Software Authors: Piperno, Adolfo
Related Software: nauty; SageMath; GAP; …
Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Convex and discrete geometry (52-XX); …

NetworkX

Cited in 213 Documents (2008–2024)
Software Authors: Aric Hagberg, Dan Schult, Pieter Swart
Related Software: Python; SciPy; NumPy; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

Agda

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

GAUSSIAN

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

NTL

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

SymPy

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

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

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

TensorToolbox

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

JuMP

Cited in 205 Documents (2017–2024)
Software Authors: Dunning, I.; Huchette, J.; Lubin, M.
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); …

Robotics

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

NGSolve

Cited in 205 Documents (2006–2024)
Software Authors: Schöberl, J.
Related Software: Netgen; FEniCS; CutFEM; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-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 208 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); …

GLPK

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

Algorithm 447

Cited in 192 Documents (1974–2024)
Software Authors: Hopcroft, J.; Tarjan, R.
Related Software: SCIP; R; Gurobi; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …

Filter Results by …

all top 5

Related Software

all top 3

Main Field