Concorde Cited in 312 Documents (1997–2023) 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 315 Documents (1998–2023) 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); …
Octave Cited in 281 Documents (1992–2024) Software Authors: John W. Eaton Related Software: Matlab; R; Scilab; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …
NewtonLib Cited in 315 Documents (2001–2023) Software Authors: Deuflhard, Peter; Lutz Weimann Related Software: Matlab; RODAS; PETSc; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
nag Cited in 313 Documents (1979–2022) 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); …
McEliece Cited in 306 Documents (1981–2023) Software Authors: Heyse, Stefan; Moradi, Amir; Paar, Christof Related Software: NTRU; BIKE; Magma; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …
ABC Cited in 259 Documents (2007–2022) Software Authors: Karaboga, Dervis; Basturk, Bahriye Related Software: GSA; GWO; CEC 05; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
gmp Cited in 285 Documents (1995–2023) Software Authors: Granlund Related Software: MPFR; NTL; SageMath; … Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX); …
INTOPT_90 Cited in 304 Documents (1996–2021) 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); …
Sostools Cited in 301 Documents (2002–2023) 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); …
ACL2 Cited in 282 Documents (1998–2023) Software Authors: Matt Kaufmann, Strother Moore Related Software: Coq; Isabelle/HOL; PVS; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX); …
ALGOL 68 Cited in 280 Documents (1969–2019) Software Authors: van Wijngaarden, A. Author Profile; Mailloux, B.J.; Peck, J.E.L.; Koster, C.H.A.; Sintzoff, M.; Lindsey, C.H.; Meertens, L.G.L.T.; Fisker, R.G. Related Software: ALGOL 60; Simula 67; Ada95; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …
QEPCAD Cited in 289 Documents (1991–2024) Software Authors: Hoon Hong; Brown, Christopher W. Related Software: REDLOG; Maple; RSOLVER; … Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …
Z Cited in 228 Documents (1958–2022) Software Authors: Woodcock, Jim; Davies, Jim Related Software: Circus; ProofPower; Rodin; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX); …
fminsearch Cited in 276 Documents (1996–2023) 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 265 Documents (2002–2023) Software Authors: Free Software Foundation, M.Galassi, J.Davies, J.Theiler, B.Gough, G.Jungman, P.Alken, M.Booth, F.Rossi Related Software: R; LAPACK; PETSc; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
Keras Cited in 232 Documents (2017–2024) Software Authors: F. Chollet Related Software: TensorFlow; Adam; GitHub; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Algorithm 97 Cited in 273 Documents (1971–2023) Software Authors: Robert W. Floyd Related Software: CPLEX; Tabu search; OR-Library; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Bertini Cited in 277 Documents (2008–2023) Software Authors: D. Bates, J. Hauenstein, A. Sommese,C. Wampler Related Software: PHCpack; Macaulay2; HOM4PS; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); …
AUTO-86 Cited in 280 Documents (1987–2022) Software Authors: Alan Champneys, Fabio Dercole, Thomas Fairgrieve, Yuri Kuznetsov, Bart Oldeman, Randy Paffenroth, Bjorn Sandstede, Xianjun Wang, and Chenghai Zhang Related Software: AUTO; PITCON; DSTool; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
OCaml Cited in 263 Documents (1998–2022) 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); …
PERL Cited in 222 Documents (1992–2023) Software Authors: Wall, Larry Related Software: TTTPLOTS; Python; GRASP; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Kronos Cited in 246 Documents (1997–2022) Software Authors: Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine Related Software: Uppaal; HyTech; SPIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Eigen Cited in 229 Documents (2012–2023) Software Authors: Benoît Jacob, Gaël Guennebaud Related Software: R; GitHub; PETSc; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
LaTeX Cited in 247 Documents (1988–2023) Software Authors: Leslie Lamport Related Software: TeX; EXPFIT4; Maple; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX); …
DGM Cited in 269 Documents (2017–2023) Software Authors: Sirignano, Justin; Spiliopoulos, Konstantinos Related Software: Adam; TensorFlow; DeepXDE; … Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); …
SUNDIALS Cited in 243 Documents (1990–2023) 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); …
LEDA Cited in 260 Documents (1990–2022) Software Authors: Mehlhorn, Kurt; Näher, Stefan Related Software: CGAL; CPLEX; Hull; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Code Tables Cited in 263 Documents (1998–2022) Software Authors: Markus Grassl; Brouwer, A. E. Related Software: Magma; GAP; MinT; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Geometry (51-XX); …
PITCON Cited in 258 Documents (1984–2022) Software Authors: Werner Rheinboldt; John Burkardt Related Software: HOMPACK; AUTO-86; AUTO; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
CSparse Cited in 257 Documents (2006–2023) Software Authors: Davis, Timothy A. Related Software: SparseMatrix; Matlab; symrcm; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
ADIFOR Cited in 253 Documents (1992–2022) 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); …
FGb Cited in 249 Documents (1998–2023) Software Authors: J.-C. Faugère Related Software: Magma; SINGULAR; Maple; … Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
Archive Formal Proofs Cited in 250 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); Order, lattices, ordered algebraic structures (06-XX); …
CHEVIE Cited in 250 Documents (1994–2023) Software Authors: Geck, Meinolf; Hiss, Gerhard; Lübeck, Frank; Malle, Gunter; Pfeiffer, Götz Related Software: GAP; Magma; Maple; … Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …
PHCpack Cited in 241 Documents (1999–2023) Software Authors: Jan Verschelde Related Software: Bertini; HOM4PS; Macaulay2; … Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
Schwarz-Christoffel Cited in 246 Documents (1996–2022) Software Authors: Tobin A. Driscoll Related Software: SC Toolbox; Matlab; SCPACK; … Main Fields: Functions of a complex variable (30-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
Mace4 Cited in 240 Documents (1995–2023) Software Authors: William McCune 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); …
itsmr Cited in 225 Documents (1996–2022) Software Authors: George Weigt Related Software: ITSM2000; R; astsa; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
MPFR Cited in 237 Documents (2001–2023) Software Authors: Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Philippe Théveny, Paul Zimmermann Related Software: gmp; Mathematica; mctoolbox; … Main Fields: Number theory (11-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
igraph Cited in 160 Documents (2010–2024) Software Authors: Gábor Csárdi, Tamás Nepusz, Szabolcs Horvát, Vincent Traag, Fabio Zanini Related Software: R; Python; ggplot2; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …
PLCP Cited in 241 Documents (1997–2022) Software Authors: Frederic BONNANS, Mounir HADDOU Related Software: SQPlab; Matlab; GradSamp; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
Geometer's Sketchpad Cited in 65 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); …
randomForest Cited in 196 Documents (2005–2023) Software Authors: Leo Breiman; Adele Cutler; Andy Liaw; Matthew Wiener Related Software: R; rpart; UCI-ml; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
NTL Cited in 231 Documents (1998–2023) Software Authors: Victor Shoup Related Software: gmp; Magma; NTRU; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …
ISOLATE Cited in 231 Documents (1999–2023) 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); …
BVPh Cited in 230 Documents (2008–2023) 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); …
GAUSSIAN Cited in 211 Documents (1983–2023) Software Authors: Gaussian, Inc.; http://gaussian.com/people/ Related Software: NWChem; GAMESS; MOLPRO; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Quantum theory (81-XX); …
PhaseLift Cited in 228 Documents (2012–2022) Software Authors: Candès, Emmanuel J.; Eldar, Yonina C.; Strohmer, Thomas; Voroninski, Vladislav Related Software: Wirtinger Flow; GESPAR; PhaseMax; … Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-XX); Numerical analysis (65-XX); …
SC Toolbox Cited in 225 Documents (1996–2023) 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); …
SMT-LIB Cited in 213 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); …
E Theorem Prover Cited in 219 Documents (2001–2023) Software Authors: Stephan Schulz Related Software: VAMPIRE; TPTP; SPASS; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX); …
ATLAS Group Representations Cited in 223 Documents (1997–2023) 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); …
SymPy Cited in 181 Documents (2010–2023) Software Authors: SymPy Development Team; Joyner, David; Čertík, Ondřej; Meurer, Aaron; Granger, Brian E. Related Software: Python; NumPy; SciPy; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
LMFDB Cited in 220 Documents (2014–2023) 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); …
Traces Cited in 219 Documents (2014–2023) Software Authors: Adolfo Piperno Related Software: nauty; GAP; SageMath; … Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX); …
Agda Cited in 215 Documents (1999–2022) Software Authors: Ulf Norell Related Software: Coq; Haskell; HOL Light; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …
k-means++ Cited in 195 Documents (2007–2023) Software Authors: D. Arthur, S. Vassilvitskii Related Software: UCI-ml; AS 136; clusfind; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
NTRU Cited in 213 Documents (1998–2023) Software Authors: Hoffstein, Jeffrey; Pipher, Jill; Silverman, Joseph H. Related Software: NTRUSign; BKZ; NTL; … Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Computer science (68-XX); …
LOQO Cited in 210 Documents (1994–2023) Software Authors: Vanderbei, Robert J. Related Software: AMPL; Ipopt; MINOS; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …
kepler98 Cited in 206 Documents (2000–2023) Software Authors: Hales, Thomas C.; Ferguson, Samuel P. Related Software: Flyspeck; HOL Light; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Convex and discrete geometry (52-XX); …
TensorToolbox Cited in 206 Documents (2007–2023) Software Authors: Bader, Brett W.; Kolda, Tamara G. Related Software: Algorithm 862; Tensorlab; Matlab; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX); …
NetworkX Cited in 165 Documents (2008–2023) 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); …
PRESENT Cited in 201 Documents (2007–2023) Software Authors: Bogdanov, A.; Paillier, P.; Verbauwhede, I; Orange Labs; Ruhr University Bochum; Technical University of Denmark Related Software: KATAN; SIMON; PRINCE; … Main Fields: Number theory (11-XX); Group theory and generalizations (20-XX); Computer science (68-XX); …
CSDP Cited in 205 Documents (1999–2023) Software Authors: Borchers, Brian Related Software: SeDuMi; SDPT3; SDPA; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Prover9 Cited in 205 Documents (2006–2022) Software Authors: William McCune Related Software: Mace4; OTTER; TPTP; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX); …
SPASS Cited in 200 Documents (1996–2023) Software Authors: C Weidenbach, U Brahm, T Hillenbrand Related Software: VAMPIRE; TPTP; E Theorem Prover; … Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX); …
t-SNE Cited in 190 Documents (2008–2023) Software Authors: Laurens van der Maaten, Geoffrey Hinton Related Software: ImageNet; word2vec; UMAP; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …
Normaliz Cited in 201 Documents (1998–2024) Software Authors: Winfried Bruns, Bogdan Ichim, Tim Römer, Christof Söger Related Software: Macaulay2; 4ti2; polymake; … Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
ATLAS Cited in 183 Documents (1992–2022) Software Authors: R. Clint Whaley Related Software: LAPACK; BLAS; PHiPAC; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SuperLU Cited in 189 Documents (1997–2022) Software Authors: X. Sherry Li; Jim Demmel; John Gilbert; Laura Grigori; Meiyue Shao; Ichitaro Yamazaki Related Software: MUMPS; PETSc; UMFPACK; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
GLPK Cited in 188 Documents (2004–2023) Software Authors: Andrew Makhorin Related Software: CPLEX; Gurobi; AMPL; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SQPlab Cited in 197 Documents (2000–2023) Software Authors: J.F. Bonnans, J.Ch. Gilbert, C. Lemaréchal, C.A. Sagastizábal Related Software: PLCP; L-BFGS; GradSamp; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
JuMP Cited in 173 Documents (2017–2023) Software Authors: I. Dunning, J. Huchette, M. Lubin 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); …
UNITY Cited in 181 Documents (1988–2021) Software Authors: K. Mani Chandy; Jayadev Misra Related Software: NQTHM; PVS; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
SDPA Cited in 188 Documents (1997–2023) Software Authors: Fujisawa, Katsuki; Kojima, Masakazu; Nakata, Kazuhide Related Software: SeDuMi; SDPT3; CSDP; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Scilab Cited in 171 Documents (1999–2022) Software Authors: Scilab Enterprises; Ricardo Fabbri Related Software: Matlab; Octave; R; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
JavaScript Cited in 139 Documents (1996–2023) Software Authors: Flanagan Related Software: Python; PHP; Node.js; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Dynamics Cited in 185 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); …
Maxima Cited in 166 Documents (1998–2023) Software Authors: William Schelter Related Software: Mathematica; SageMath; Maple; … Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Pesca Cited in 184 Documents (2001–2023) Software Authors: Aarne Ranta Related Software: MiniML; Coq; Isabelle; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX); …
Algorithm 447 Cited in 175 Documents (1974–2023) Software Authors: J. Hopcroft; R. Tarjan Related Software: Gurobi; CPLEX; SNAP; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …
CVC4 Cited in 175 Documents (2013–2023) 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); …
AXIOM Cited in 173 Documents (1992–2022) Software Authors: Tim Daly, et al.; http://wiki.axiom-developer.org/axiom-website/community.html Related Software: Maple; Mathematica; REDUCE; … Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …
CafeOBJ Cited in 165 Documents (1997–2022) Software Authors: Mori, Akira; Futatsugi, Kokichi Related Software: Maude; OBJ3; CASL; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Algebraic geometry (14-XX); …
LiE Cited in 171 Documents (1993–2023) Software Authors: A.M. Cohen, B. Lisser, M.A.A. van Leeuwen Related Software: Mathematica; Magma; GAP; … Main Fields: Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX); Group theory and generalizations (20-XX); …
KnotInfo Cited in 173 Documents (2005–2023) Software Authors: J. C. Cha; C. Livingston Related Software: SnapPy; Knot Atlas; GitHub; … Main Fields: Algebraic geometry (14-XX); Group theory and generalizations (20-XX); Differential geometry (53-XX); …
REDLOG Cited in 170 Documents (1997–2022) Software Authors: Andreas Dolzmann; Thomas Sturm; Weispfenning, Volker Related Software: QEPCAD; Maple; z3; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX); …
rpart Cited in 142 Documents (2000–2023) Software Authors: Terry Therneau, Beth Atkinson, Brian Ripley Related Software: R; randomForest; UCI-ml; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
NGSolve Cited in 156 Documents (2006–2023) Software Authors: J. Schöberl Related Software: Netgen; FEniCS; deal.ii; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
SnapPea Cited in 165 Documents (1992–2022) Software Authors: Callahan, Patrick J.; Hildebrand, Martin V.; Weeks, Jeffrey R. Related Software: Snap; SnapPy; Regina; … Main Fields: Group theory and generalizations (20-XX); Functions of a complex variable (30-XX); Differential geometry (53-XX); …
Algorithm 457 Cited in 155 Documents (1973–2023) Software Authors: Bron, Coen; Kerbosch, Joep Related Software: CPLEX; DIMACS; MaxCliqueDyn; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
CUDD Cited in 154 Documents (1997–2022) Software Authors: Fabio Somenzi Related Software: NuSMV; SPIN; PRISM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Cinderella Cited in 95 Documents (1999–2023) Software Authors: Jürgen Richter-Gebert; Ulrich Kortenkamp Related Software: Geometer's Sketchpad; GeoGebra; Mathematica; … Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Numerical analysis (65-XX); …
SDPLR Cited in 161 Documents (1990–2023) Software Authors: Samuel Burer, Renato Monteiro, Changhui Cho Related Software: SDPT3; SeDuMi; CSDP; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …
CMU PIE Cited in 124 Documents (2002–2022) Software Authors: Sim, T.; Baker, S.; Bsat, M. Related Software: AR face; FERET; Yale Face; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX); …
KANT/KASH Cited in 157 Documents (1991–2022) Software Authors: Anita Krahmann, Carolin Just, Claus Fieker, Florian Heß, Jose Mendez, Jürgen Klüners, Marcus Wagner, Michael Pohst, Oliver Voigt, Robert Fraatz, Sebastian Freundt, Sebastian Pauli;Former authors: Andreas Hoppe, Carsten Friedrichs, Georg Baier, Harald Bartel, Hartmut Bauer, Johannes Graf v. Schmettow, Katharina Geißler, Klaus Wildanger, Maike Henningsen, Mario Daberkow, Martin Schörnig, Max Jüntgen KANT group, Institut für Mathematik, Technische Universität Berlin Related Software: Magma; Maple; PARI/GP; … Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …
4ti2 Cited in 152 Documents (2004–2023) Software Authors: R Hemmecke, M Köppe, P Malkin, M Walter Related Software: Macaulay2; Normaliz; SINGULAR; … Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
NQTHM Cited in 146 Documents (1979–2022) Software Authors: Boyer, Robert S.; Moore, J. Strother Related Software: HOL; ACL2; PVS; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); …
Robotics Cited in 154 Documents (2000–2023) Software Authors: Peter Corke Related Software: YALMIP; SeDuMi; Mosek; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …