McEliece Cited in 401 Documents (1981–2024) Software Authors: Heyse, Stefan; Moradi, Amir; Paar, Christof Related Software: BIKE; Durandal; NTRU; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …
symrcm Cited in 399 Documents (1979–2024) Software Authors: George, Alan; Joseph Liu; Gilbert, John R.; Cleve Moler; Robert Schreiber Related Software: SparseMatrix; CSparse; LAPACK; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
Code Tables Cited in 406 Documents (1998–2024) Software Authors: Grassl, Markus; Brouwer, A. E. Related Software: Magma; GAP; SageMath; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX); …
Tensor2Tensor Cited in 358 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); …
mclust Cited in 342 Documents (1999–2024) Software Authors: Fraley, Chris; Raftery, Adrian; Scrucca, Luca Related Software: R; PGMM; flexmix; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
GloptiPoly Cited in 378 Documents (2003–2024) Software Authors: Henrion, Didier; Lasserre, Jean-Bernard; Loefberg, Johan Related Software: SeDuMi; YALMIP; Sostools; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
ecdata Cited in 375 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); …
Qhull Cited in 350 Documents (1996–2024) Software Authors: Barber, C. Bradford; Huhdanpaa, Hannu Related Software: Matlab; CGAL; Triangle; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Keras Cited in 301 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); …
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); …
Sostools Cited in 351 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); …
Octave Cited in 310 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); …
OTTER Cited in 333 Documents (1988–2023) Software Authors: Bill McCune; Amor Montano, Jose Alfredo; Miranda Perea, Favio Ezequiel Related Software: TPTP; VAMPIRE; Mace4; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-XX); …
HyTech Cited in 326 Documents (1996–2024) Software Authors: Henzinger, Tom; Ho, Pei-Hsin; Wong-Toi., Howard 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 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); …
NewtonLib Cited in 342 Documents (2001–2024) Software Authors: Deuflhard, Peter; Weimann, Lutz Related Software: RODAS; Matlab; PETSc; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
CGS Cited in 343 Documents (1986–2024) Software Authors: Sonneveld, Peter Related Software: GpBiCg; BiCGstab; na1; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
HOL Light Cited in 333 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 307 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); …
Algorithm 97 Cited in 311 Documents (1971–2024) Software Authors: Floyd, Robert W. Related Software: CPLEX; OR-Library; DIMACS; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …
t-SNE Cited in 296 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); …
nag Cited in 314 Documents (1979–2024) Software Authors: Numerical Algorithms Group (NAG) Related Software: NAG; Matlab; LAPACK; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Statistics (62-XX); …
fminsearch Cited in 299 Documents (1996–2024) Software Authors: Lagarias, Jeffrey C.; Reeds, James A.; Wright, Margaret H.; Wright, Paul E. Related Software: Matlab; KELLEY; minpack; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-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; PROFIL/BIAS; C-XSC; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX); …
LMFDB Cited in 312 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); …
Z Cited in 250 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); …
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); …
QEPCAD Cited in 304 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); …
Archive Formal Proofs Cited in 301 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); …
OCaml Cited in 282 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); …
igraph Cited in 199 Documents (2010–2024) Software Authors: Csárdi, Gábor; Nepusz, Tamás; Horvát, Szabolcs; Traag, Vincent; Zanini, Fabio Related Software: R; Python; NetworkX; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …
k-means++ Cited in 276 Documents (2007–2025) 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); …
SUNDIALS Cited in 268 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); …
itsmr Cited in 276 Documents (1996–2024) Software Authors: Weigt, George Related Software: ITSM2000; R; astsa; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
PERL Cited in 236 Documents (1992–2024) Software Authors: Wall, Larry Related Software: TTTPLOTS; Python; GRASP; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
ALGOL 68 Cited in 280 Documents (1969–2019) Software Authors: van Wijngaarden, A.; 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); …
LaTeX Cited in 261 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); …
AUTO-86 Cited in 285 Documents (1987–2024) Software Authors: Champneys, Alan; Dercole, Fabio; Fairgrieve, Thomas; Kuznetsov, Yuri; Oldeman, Bart; Paffenroth, Randy; Sandstede, Bjorn; Wang, Xianjun; Zhang, Chenghai Related Software: AUTO; PITCON; HomCont; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
CSparse Cited in 284 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); …
Kronos Cited in 255 Documents (1996–2024) Software Authors: Daws, Conrado; Olivero, Alfredo; Tripakis, Stavros; Yovine, Sergio Related Software: Uppaal; HyTech; SPIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
PhaseLift Cited in 286 Documents (2012–2024) Software Authors: Candès, Emmanuel J.; Eldar, Yonina C.; Strohmer, Thomas; Voroninski, Vladislav Related Software: Wirtinger Flow; PhaseMax; GESPAR; … Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Schwarz-Christoffel Cited in 279 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); …
LEDA Cited in 272 Documents (1990–2024) Software Authors: Mehlhorn, Kurt; Näher, Stefan Related Software: CGAL; CPLEX; Hull; … Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX); …
MPFR Cited in 267 Documents (2001–2024) Software Authors: Hanrot, Guillaume; Lefèvre, Vincent; Pélissier, Patrick; Théveny, Philippe; Zimmermann, Paul Related Software: gmp; Mathematica; mctoolbox; … Main Fields: Number theory (11-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
NetworkX Cited in 227 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); …
randomForest Cited in 228 Documents (2005–2024) Software Authors: Breiman, Leo; Cutler, Adele; Liaw, Andy; Wiener, Matthew Related Software: R; rpart; UCI-ml; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-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); …
NTRU Cited in 266 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 267 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); …
PLCP Cited in 267 Documents (1997–2024) Software Authors: BONNANS, Frederic; HADDOU, Mounir Related Software: SQPlab; L-BFGS; GradSamp; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-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); …
SymPy Cited in 220 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); …
Agda Cited in 261 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); …
Mace4 Cited in 257 Documents (1995–2024) Software Authors: McCune, William Related Software: Prover9; OTTER; TPTP; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX); …
PRESENT Cited in 253 Documents (2007–2024) Software Authors: Bogdanov, A.; Paillier, P.; Verbauwhede, I; Orange Labs; Ruhr University Bochum; Technical University of Denmark Related Software: SIMON; PRINCE; KTANTAN; … Main Fields: Number theory (11-XX); Group theory and generalizations (20-XX); Computer science (68-XX); …
PITCON Cited in 258 Documents (1984–2022) Software Authors: Rheinboldt, Werner; Burkardt, John Related Software: HOMPACK; AUTO-86; AUTO; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
ADIFOR Cited in 254 Documents (1992–2023) Software Authors: Bischof, Christian; Carle, Alan; Corliss, George; Griewank, Andreas Related Software: ADOL-C; ADIC; TAPENADE; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
BVPh Cited in 258 Documents (2008–2024) Software Authors: Liao, Shijun Related Software: Matlab; Mathematica; bvp4c; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
FGb Cited in 252 Documents (1998–2023) Software Authors: Faugère, J. C. Related Software: Magma; SINGULAR; Maple; … Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
TensorToolbox Cited in 253 Documents (2007–2025) Software Authors: Bader, Brett W.; Kolda, Tamara G. Related Software: Algorithm 862; Matlab; Tensorlab; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX); …
SMT-LIB Cited in 238 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); …
kepler98 Cited in 250 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); …
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); …
JuMP Cited in 227 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); …
NTL Cited in 246 Documents (1998–2024) Software Authors: Shoup, Victor Related Software: gmp; Magma; NTRU; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Numerical analysis (65-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); Associative rings and algebras (16-XX); Group theory and generalizations (20-XX); …
SC Toolbox Cited in 245 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); …
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); …
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); …
Robotics Cited in 237 Documents (2000–2024) Software Authors: Corke, Peter Related Software: YALMIP; SeDuMi; Mosek; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …
E Theorem Prover Cited in 235 Documents (2001–2023) Software Authors: Schulz, Stephan Related Software: VAMPIRE; TPTP; SPASS; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX); …
CVC4 Cited in 234 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); …
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); …
NGSolve Cited in 220 Documents (2006–2024) Software Authors: Schöberl, J. Related Software: Netgen; FEniCS; GitHub; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
SuperLU Cited in 215 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); …
Normaliz Cited in 218 Documents (1998–2025) 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); …
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); …
CSDP Cited in 215 Documents (1999–2024) Software Authors: Borchers, Brian Related Software: SeDuMi; SDPT3; SDPA; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SPASS Cited in 208 Documents (1996–2023) Software Authors: Weidenbach, C; Brahm, U; Hillenbrand, T Related Software: VAMPIRE; TPTP; E Theorem Prover; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX); …
GLPK Cited in 202 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); …
Pesca Cited in 210 Documents (2001–2024) Software Authors: Ranta, Aarne Related Software: MiniML; Coq; Isabelle; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Geometry (51-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); …
SQPlab Cited in 208 Documents (2000–2024) Software Authors: Bonnans, J. F.; Gilbert, J. Ch.; Lemaréchal, C.; Sagastizábal, C. A. Related Software: PLCP; Ipopt; L-BFGS; … Main Fields: Calculus of variations and optimal control; optimization (49-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); …
Algorithm 447 Cited in 196 Documents (1974–2024) Software Authors: Hopcroft, J.; Tarjan, R. Related Software: SCIP; Algorithm 457; R; … Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …
UNITY Cited in 188 Documents (1988–2023) Software Authors: Chandy, K. Mani; Misra, Jayadev Related Software: NQTHM; HOL; PVS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
SDPA Cited in 197 Documents (1997–2024) Software Authors: Fujisawa, Katsuki; Kojima, Masakazu; Nakata, Kazuhide Related Software: SeDuMi; SDPT3; CSDP; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX); …
SIMON Cited in 197 Documents (2014–2024) Software Authors: Beaulieu, R.; Shors, D.; Smith, J.; Treatman-Clark, S.; Weeks, B.; Wingers, L. Related Software: SPECK; SIMECK; PRESENT; … Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX); …
KnotInfo Cited in 199 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); …
Manopt Cited in 193 Documents (2013–2025) Software Authors: Boumal, Nicolas; Mishra, Bamdev; Absil, P. A.; Sepulchre, Rodolphe Related Software: RTRMC; Pymanopt; ROPTLIB; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Differential geometry (53-XX); Statistics (62-XX); …
NLopt Cited in 169 Documents (2012–2024) Software Authors: Johnson, S. G. Related Software: GitHub; R; BOBYQA; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Maxima Cited in 176 Documents (1998–2024) Software Authors: Schelter, William Related Software: Mathematica; SageMath; Maple; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
rpart Cited in 167 Documents (2000–2024) Software Authors: Therneau, Terry; Atkinson, Beth; Ripley, Brian Related Software: R; randomForest; UCI-ml; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Scilab Cited in 179 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); …
LiteRed Cited in 186 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); …
LiE Cited in 189 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); …
Dynamics Cited in 189 Documents (1994–2022) Software Authors: Nusse, Helena E.; Yorke, James A. Related Software: AUTO; HomCont; Mathematica; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Mechanics of particles and systems (70-XX); …