Matlab Cited in 14,986 Documents (1982–2025) Software Authors: MathWorks Inc Related Software: Simulink; MATLAB ODE suite; LMI toolbox; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
R Cited in 10,339 Documents (1978–2024) Software Authors: Wickham, Hadley; Gentleman, Robert; Ihaka, Ross; Chambers, John M.; Venables, William N.; Ripley, Brian D. Related Software: ggplot2; CRAN; SAS; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Mathematica Cited in 6,892 Documents (1986–2025) Software Authors: Research, Wolfram Related Software: Maple; Matlab; R; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
GitHub Cited in 5,810 Documents (2010–2024) Software Authors: github Related Software: R; Adam; Matlab; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Maple Cited in 5,497 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,615 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); …
Magma Cited in 4,236 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,255 Documents (1995–2025) 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 4,032 Documents (2000–2025) 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,844 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); …
Python Cited in 1,688 Documents (1991–2025) Software Authors: Rossum, Guido van Related Software: SciPy; NumPy; Scikit; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SageMath Cited in 2,792 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,371 Documents (1988–2024) Software Authors: Grayson, Daniel R.; Stillman, Michael E.; Eisenbud, David Related Software: SINGULAR; CoCoA; SageMath; … Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
Adam Cited in 2,181 Documents (2016–2025) Software Authors: Kingma, Diederik P.; Ba, Jimmy Related Software: PyTorch; TensorFlow; ImageNet; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Coq Cited in 2,044 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,934 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,806 Documents (1988–2025) Software Authors: LAPACK 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,700 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,706 Documents (1995–2024) Software Authors: Higham, Nick Related Software: Matlab; LAPACK; mftoolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …
PRMLT Cited in 1,446 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,433 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); …
SciPy Cited in 935 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); …
TensorFlow Cited in 998 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,051 Documents (2010–2025) 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); …
PyTorch Cited in 858 Documents (2018–2025) 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); …
Scikit Cited in 823 Documents (2011–2025) 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; SciPy; TensorFlow; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Julia Cited in 782 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 885 Documents (2014–2025) 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); …
Haskell Cited in 853 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 914 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); …
NumPy Cited in 502 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 823 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 871 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); …
PARI/GP Cited in 788 Documents (1992–2024) Software Authors: Cohen, Henri; Belabas, Karim; PARI group Related Software: Magma; SageMath; ecdata; … Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …
Isabelle Cited in 757 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); …
MACSYMA Cited in 724 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 715 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 688 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); …
SCIP Cited in 685 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); …
Mizar Cited in 592 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); …
INTLAB Cited in 523 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); …
MNIST Cited in 469 Documents (2001–2024) Software Authors: LeCun, Y.; Cortes, C.; Burges, Christopher J. C. Related Software: Adam; CIFAR; ImageNet; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
BRENT Cited in 510 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); …
CGAL Cited in 445 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); …
FORM Cited in 446 Documents (1993–2024) Software Authors: Kuipers, J.; Ueda, T.; Vermaseren, J.A.M.; Vollinga, J. Related Software: Mincer; Reduze; LiteRed; … Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Quantum theory (81-XX); …
GeoGebra Cited in 221 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); …
darch Cited in 412 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 426 Documents (1986–2024) 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); Number theory (11-XX); …
polymake Cited in 408 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); …
Wasserstein GAN Cited in 380 Documents (2018–2024) Software Authors: Arjovsky, Martin; Chintala, Soumith; Bottou, Léon Related Software: Adam; ImageNet; pix2pix; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Keras Cited in 290 Documents (2017–2025) Software Authors: Chollet, F. Related Software: TensorFlow; Adam; GitHub; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Tensor2Tensor Cited in 306 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); …
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); …
gmp Cited in 312 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); …
Eigen Cited in 283 Documents (2012–2024) Software Authors: Jacob, Benoît; Guennebaud, Gaël Related Software: GitHub; R; PETSc; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
ACL2 Cited in 306 Documents (1998–2024) Software Authors: Kaufmann, Matt; Moore, Strother Related Software: Isabelle/HOL; Coq; PVS; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX); …
t-SNE Cited in 295 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); …
GSL Cited in 289 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; GitHub; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
INTOPT_90 Cited in 313 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); …
Bertini Cited in 306 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); …
Z Cited in 246 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); …
CHEVIE Cited in 270 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); …
NetworkX Cited in 220 Documents (2008–2024) Software Authors: Hagberg, Aric; Schult, Dan; Swart, Pieter Related Software: Python; SciPy; NumPy; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Traces Cited in 268 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); …
PHCpack Cited in 256 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); …
Agda Cited in 257 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 235 Documents (1983–2024) Software Authors: Gaussian, Inc. Related Software: GAMESS; NWChem; Q-Chem; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
kepler98 Cited in 249 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); …
SMT-LIB Cited in 236 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); …
ATLAS Group Representations Cited in 246 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 243 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); …
Prover9 Cited in 233 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 214 Documents (1997–2024) Software Authors: Li, X. Sherry; Demmel, Jim; Gilbert, John; Grigori, Laura; Shao, Meiyue; Yamazaki, Ichitaro Related Software: MUMPS; PETSc; UMFPACK; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
ATLAS Cited in 189 Documents (1992–2023) Software Authors: Whaley, R. Clint Related Software: LAPACK; BLAS; PHiPAC; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …
KnotInfo Cited in 193 Documents (2005–2024) Software Authors: Cha, J. C.; Livingston, C. Related Software: SnapPy; GitHub; Knot Atlas; … Main Fields: Algebraic geometry (14-XX); Group theory and generalizations (20-XX); Differential geometry (53-XX); …
LiE Cited in 186 Documents (1993–2024) Software Authors: Cohen, A. M.; Lisser, B.; van Leeuwen, M. A. A. Related Software: Mathematica; Macaulay2; Magma; … Main Fields: Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX); Group theory and generalizations (20-XX); …
LiteRed Cited in 178 Documents (2013–2024) Software Authors: Lee, R. Related Software: FIRE; Reduze; Kira; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …
SnapPy Cited in 177 Documents (2010–2024) Software Authors: Culler, Marc; Dunfield, Nathan M.; Goerner, Matthias; Weeks, Jeffrey R. Related Software: SnapPea; Regina; SageMath; … Main Fields: Combinatorics (05-XX); Dynamical systems and ergodic theory (37-XX); Manifolds and cell complexes (57-XX); …
AXIOM Cited in 173 Documents (1992–2022) Software Authors: Daly, Tim; et al. Related Software: Maple; Mathematica; REDUCE; … Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …
FIRE Cited in 169 Documents (2008–2024) Software Authors: Smirnov, A.V. Related Software: LiteRed; Reduze; Kira; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …
Book3264Examples Cited in 171 Documents (2015–2024) Software Authors: Charley Crissman; Eisenbud, David; Harris, Joe Related Software: Macaulay2; GitHub; HomotopyContinuation; … Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
SnapPea Cited in 167 Documents (1992–2024) Software Authors: Callahan, Patrick J.; Hildebrand, Martin V.; Weeks, Jeffrey R. Related Software: SnapPy; Snap; Regina; … Main Fields: Group theory and generalizations (20-XX); Functions of a complex variable (30-XX); Differential geometry (53-XX); …
Cinderella Cited in 95 Documents (1999–2023) Software Authors: Richter-Gebert, Jürgen; Kortenkamp, Ulrich Related Software: Geometer's Sketchpad; GeoGebra; GEX; … Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Numerical analysis (65-XX); …
SERBA Cited in 158 Documents (1980–2024) Software Authors: Paris, F.; Alarcon, E. Related Software: BEAN; Regularization tools; NAG; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
Reduze Cited in 149 Documents (2010–2024) Software Authors: Manteuffel, Andreas von; Studerus, Cedric Related Software: FIRE; LiteRed; Kira; … Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX); …
CVXPY Cited in 135 Documents (2016–2024) Software Authors: Diamond, Steven; Boyd, Stephen Related Software: CVX; ECOS; Mosek; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
GradSamp Cited in 146 Documents (2005–2024) Software Authors: Burke, James V.; Lewis, Adrian S.; Overton, Michael L. Related Software: DGM; LDGB; PNEW; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …
LOF Cited in 103 Documents (2008–2024) Software Authors: Breunig, M.; Kriegel, H.; Ng, R.; Sander, J. Related Software: UCI-ml; IsolationForest; Orca; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …
CandS Cited in 135 Documents (2005–2024) Software Authors: Gray, Alfred; Sulanke, Rolf Related Software: Mathematica; SciPy; Python; … Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Global analysis, analysis on manifolds (58-XX); …
Flyspeck Cited in 136 Documents (2004–2024) Software Authors: Hales, Thomas C.; Tankink, Carst; Kaliszyk, Cezary; Urban, Josef; Geuvers, Herman Related Software: Isabelle/HOL; HOL Light; Coq; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX); …
LISP Cited in 120 Documents (1960–2024) Software Authors: McCarthy, John Related Software: ACL2; NQTHM; Haskell; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …
cdd Cited in 130 Documents (1996–2023) Software Authors: Fukuda, Komei Related Software: polymake; lrs; Gfan; … Main Fields: Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); Computer science (68-XX); …
Axodraw Cited in 121 Documents (1994–2024) Software Authors: Vermaseren, J. A. M. Related Software: JaxoDraw; FORM; Reduze; … Main Fields: Number theory (11-XX); Operator theory (47-XX); Mechanics of particles and systems (70-XX); …
HOMPACK Cited in 124 Documents (1987–2023) Software Authors: Watson, Layne T.; Billups, Stephen C.; Morgan, Alexander P. Related Software: PITCON; HOMPACK90; minpack; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Operations research, mathematical programming (90-XX); …
Sage-Combinat Cited in 124 Documents (2010–2024) Software Authors: – Related Software: SageMath; OEIS; CHEVIE; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Algebraic geometry (14-XX); …
Knot Atlas Cited in 112 Documents (2005–2024) Software Authors: Bar-Natan, Dror; Morrison, Scott Related Software: KnotInfo; Khoho; Knotscape; … Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Manifolds and cell complexes (57-XX); …
Cadabra Cited in 109 Documents (2007–2024) Software Authors: Peeters, Kasper; Brewin, Leo Related Software: xPerm; Mathematica; xAct; … Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Mechanics of particles and systems (70-XX); …
GiNaC Cited in 96 Documents (2002–2024) Software Authors: Bauer, C. W.; Frink, A.; Kreckel, R. Related Software: FORM; FIRE; Reduze; … Main Fields: Special functions (33-XX); Geometry (51-XX); Numerical analysis (65-XX); …
Lean Cited in 109 Documents (2015–2024) Software Authors: Microsoft; de Moura, Leonardo; Kong, Soonho; Avigad, Jeremy; van Doorn, Floris; von Raumer, Jakob Related Software: Coq; Isabelle/HOL; Agda; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Category theory; homological algebra (18-XX); …
JaxoDraw Cited in 107 Documents (2005–2024) Software Authors: Binosi, D.; Collins, J.; Kaufhold, C.; Theussl, L. Related Software: Axodraw; FORM; LiteRed; … Main Fields: Special functions (33-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …