Matlab Cited in 14,715 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 10,277 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,849 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,801 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,487 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,572 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,197 Documents (1994–2024) Software Authors: Bosma, W.; Steel, A.; Matthews, G.; Fisher, D.; Cannon, J.; Contini, S.; Smith, B. Related Software: GAP; SageMath; Code Tables; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX); …
DLMF Cited in 4,022 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,817 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,061 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,647 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,768 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,352 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); …
Coq Cited in 2,035 Documents (1993–2024) Software Authors: Dehlinger, Christophe; Dufourd, Jean-François Related Software: Isabelle/HOL; Isabelle; HOL; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …
LAPACK Cited in 1,789 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); …
BayesDA Cited in 1,707 Documents (1997–2025) 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); …
SINGULAR Cited in 1,681 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); …
CUDA Cited in 1,269 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,427 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); …
FEniCS Cited in 1,270 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); …
Gurobi Cited in 1,216 Documents (2010–2025) 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); …
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); …
L-BFGS Cited in 1,072 Documents (1981–2024) Software Authors: Zhu, Ciyou; Byrd, Richard H.; Lu, Peihuang; Nocedal, Jorge Related Software: L-BFGS-B; LBFGS-B; Adam; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …
CVX Cited in 1,045 Documents (2006–2024) Software Authors: Grant, Michael; Boyd, Stephen Related Software: SDPT3; SeDuMi; Mosek; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Julia Cited in 762 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); …
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); …
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); …
z3 Cited in 814 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); …
deal.ii Cited in 764 Documents (1999–2024) Software Authors: Bangerth, W.; Hartman, R.; Kanschat, G. Related Software: Trilinos; PETSc; FEniCS; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
Isabelle Cited in 756 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); …
PARI/GP Cited in 769 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); …
REDUCE Cited in 746 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); …
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); …
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); …
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 672 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); …
PVS Cited in 630 Documents (1993–2023) Software Authors: Owre, Sam; Shankar, Natarajan; Rushby, John Related Software: Coq; Isabelle/HOL; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …
HOL Cited in 623 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 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); …
Matplotlib Cited in 340 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); …
Chebfun Cited in 548 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 522 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 526 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); …
GeoGebra Cited in 222 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 430 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); …
UNLocBoX Cited in 440 Documents (2010–2024) Software Authors: Perraudin, Nathanael Related Software: PDCO; iPiano; GitHub; … Main Fields: Operator theory (47-XX); Statistics (62-XX); Numerical analysis (65-XX); …
MersenneTwister Cited in 375 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); …
ABC Cited in 301 Documents (2007–2024) Software Authors: Karaboga, Dervis; Basturk, Bahriye Related Software: GSA; GWO; WOA; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
OTTER Cited in 333 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); …
Octave Cited in 308 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); …
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); …
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); …
ACL2 Cited in 305 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); …
Bertini Cited in 303 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); …
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); …
QEPCAD Cited in 302 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); …
SUNDIALS Cited in 263 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 257 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); …
kepler98 Cited in 248 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); …
SymPy Cited in 208 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); …
SMT-LIB Cited in 233 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); …
SuperLU Cited in 212 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); …
LOQO Cited in 213 Documents (1994–2024) 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); …
JavaScript Cited in 156 Documents (1996–2024) Software Authors: Flanagan, David Related Software: Python; PHP; GitHub; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Maxima Cited in 176 Documents (1998–2024) Software Authors: Schelter, William Related Software: Mathematica; SageMath; Maple; … Main Fields: Group theory and generalizations (20-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Scilab Cited in 178 Documents (1999–2024) Software Authors: Enterprises, Scilab; Fabbri, Ricardo Related Software: Matlab; Octave; R; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-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); …
REDLOG Cited in 171 Documents (1997–2024) Software Authors: Dolzmann, Andreas; Sturm, Thomas; Weispfenning, Volker Related Software: QEPCAD; z3; Maple; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX); …
gfun Cited in 160 Documents (1992–2024) Software Authors: Salvy, B.; Zimmermann, P. Related Software: Maple; OEIS; GeneratingFunctions; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-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); …
Isar Cited in 158 Documents (2000–2024) Software Authors: Wenzel, Makarius Related Software: Isabelle/HOL; Isabelle; Coq; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-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); …
Theorema Cited in 155 Documents (1997–2022) Software Authors: Buchberger, Bruno; Jebelean, Tudor; Kutsia, Temur; Windsteiger, Wolfgang; Theorema group at RISC institute at JKU Linz; Austria Related Software: Mathematica; Coq; Mizar; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); …
VTK Cited in 98 Documents (2000–2024) Software Authors: Schroeder, W.; Avila, L.; Martin, K.; Hoffman, W.; Law, C. Related Software: ParaView; Python; Gmsh; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
MuPAD Cited in 130 Documents (1991–2023) Software Authors: Fuchssteiner, Benno; Wiwianka, Waldemar; Gottheil, Klaus; Kemper, Andreas; Kluge, Oliver; Morisse, Karsten; Naundorf, Holger; Oevel, Gudrun; Schulze, Thorsten Related Software: Maple; Mathematica; MuPAD-Combinat; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Commutative algebra (13-XX); …
CVXPY Cited in 133 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); …
Flyspeck Cited in 135 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: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Convex and discrete geometry (52-XX); …
CirclePack Cited in 131 Documents (2005–2024) Software Authors: Stephenson, Ken Related Software: Schwarz-Christoffel; SC Toolbox; SageMath; … Main Fields: Combinatorics (05-XX); Functions of a complex variable (30-XX); Convex and discrete geometry (52-XX); …
eSTREAM Cited in 120 Documents (2006–2023) Software Authors: Cannire, C.D. Related Software: Trivium; Grain; MICKEY; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Numerical analysis (65-XX); …
Cabri-geometry Cited in 16 Documents (2000–2019) Software Authors: Laborde, C. Related Software: Geometer's Sketchpad; Cinderella; GeoGebra; … Main Fields: General and overarching topics; collections (00-XX); Linear and multilinear algebra; matrix theory (15-XX); Geometry (51-XX); …
Grain Cited in 110 Documents (2009–2024) Software Authors: Hell, M.; Johansson, T.; Meier, W. Related Software: Trivium; eSTREAM; MICKEY; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX); …
Lean Cited in 107 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); …
OMDoc Cited in 94 Documents (2001–2023) Software Authors: Kohlhase, Michael Related Software: MMT; Coq; Mizar; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); …
channelflow Cited in 89 Documents (2008–2024) Software Authors: Gibson, J. F. Related Software: Matlab; FFTW; piDMD; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); …
SCS Cited in 88 Documents (2016–2024) Software Authors: O'Donoghue, B.; Chu, E.; Parikh, N.; Boyd, S. Related Software: Mosek; GitHub; CVXPY; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
ECPP Cited in 83 Documents (1991–2023) Software Authors: Morain, F Related Software: PARI/GP; gmp; Magma; … Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …
gnuplot Cited in 61 Documents (1995–2024) Software Authors: Williams, T.; Kelley, C. Related Software: LAPACK; Julia; Matplotlib; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX); …
DISCOVERER Cited in 72 Documents (1999–2024) Software Authors: Xia, B. Related Software: QEPCAD; Maple; REDLOG; … Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …
QuTiP Cited in 59 Documents (2015–2024) Software Authors: Johansson, J. R.; Nation, P. D.; Nori, F. Related Software: Python; NumPy; SciPy; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX); …
DERIVE Cited in 51 Documents (1991–2023) Software Authors: Kutzler, Bernhard; Wall, Bernhard; Winkler, Franz Related Software: Mathematica; Maple; MACSYMA; … Main Fields: General and overarching topics; collections (00-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); …
WolframAlpha Cited in 64 Documents (2000–2024) Software Authors: Wolfram Alpha LLC Related Software: Mathematica; OEIS; Maple; … Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Number theory (11-XX); …
Bocop Cited in 63 Documents (2013–2024) Software Authors: Bonnans, F.J.; Martinon, P.; Grélard, V. Related Software: Ipopt; SOCS; minpack; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); …
SATLIB Cited in 56 Documents (2000–2023) Software Authors: Hoos, Holger H.; Stützle, Thomas Related Software: Chaff; TPTP; Walksat; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX); …
Epsilon Cited in 51 Documents (2002–2023) Software Authors: Wang, Dongming Related Software: Maple; RegularChains; ISOLATE; … Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
PovRay Cited in 35 Documents (1997–2022) Software Authors: Persistence Of Vision Raytracer Pty. Ltd; Plachetka, T. Related Software: Matlab; GeoGebra; Maxima; … Main Fields: General and overarching topics; collections (00-XX); Algebraic geometry (14-XX); Geometry (51-XX); …
AutoCAD Cited in 39 Documents (1987–2024) Software Authors: Autodesk Inc Related Software: ANSYS; Revolution Studio; MeshLab; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …