PRINCE Cited in 83 Documents (2012–2023) Software Authors: Borghoff, Julia; Canteaut, Anne; G"uneysu, Tim; Kavun, Elif Bilge; Knezevic, Miroslav; Knudsen, Lars R.; Leander, Gregor; Nikov, Ventzislav; Paar, Christof; Rechberger, Christian; Rombouts, Peter; Thomsen, S{o}ren S.; Yalc{c}{i}n, Tolga Related Software: PRESENT; SIMON; Piccolo; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX); …
STL Cited in 72 Documents (1997–2021) Software Authors: David R. Musser, Alexander Stepanov Related Software: Boost; Boost C++ Libraries; CGAL; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX); …
bnlearn Cited in 61 Documents (2009–2022) Software Authors: Marco Scutari Related Software: R; pcalg; TETRAD; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …
CVXOPT Cited in 74 Documents (2008–2023) Software Authors: Martin Andersen; Joachim Dahl; Lieven Vandenberghe Related Software: SeDuMi; Python; ECOS; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …
ROBPCA Cited in 78 Documents (2002–2022) Software Authors: Hubert M, Rousseeuw PJ, Vanden Branden K Related Software: robustbase; R; rrcov; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
HPL Cited in 78 Documents (2006–2023) Software Authors: D. Maître Related Software: GiNaC; FIRE; FORM; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Special functions (33-XX); …
Lean Cited in 79 Documents (2015–2023) 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); …
NSDTST Cited in 80 Documents (1985–2022) Software Authors: Enright, W.H.; Pryce, J.D. Related Software: STDTST; RODAS; Mathematica; … Main Fields: History and biography (01-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …
STDTST Cited in 80 Documents (1985–2022) Software Authors: Enright, W.H.; Pryce, J.D. Related Software: NSDTST; RODAS; Mathematica; … Main Fields: History and biography (01-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …
ECPP Cited in 78 Documents (1991–2022) 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); …
Fuzzy Logic Toolbox Cited in 67 Documents (1998–2022) Software Authors: mathworks; Gulley, N.; Jang, J. S. Related Software: Matlab; ANFIS; Simulink; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Hull Cited in 78 Documents (1992–2023) Software Authors: K.L. Clarkson Related Software: LEDA; Qhull; CGAL; … Main Fields: Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); Convex and discrete geometry (52-XX); …
MUSCLE Cited in 51 Documents (2005–2022) Software Authors: R.C. Edgar Related Software: ClustalW; MAFFT; T-coffee; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …
na20 Cited in 79 Documents (2000–2022) Software Authors: Bini, Dario Andrea; Fiorentino, Giuseppe Related Software: na10; ISOLATE; Eigensolve; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Real functions (26-XX); Functions of a complex variable (30-XX); …
CAPD Cited in 78 Documents (2005–2023) Software Authors: Grzegorz Jablonski; Kapela, T., Mrozek, M., Pilarczyk, P., Wilczak, D., Zgliczyński, P. Related Software: RODES; Taylor; INTLAB; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
RSOLVER Cited in 75 Documents (2003–2022) Software Authors: Stefan Ratschan Related Software: HSolver; Benchmarks; QEPCAD; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Couenne Cited in 77 Documents (2009–2023) Software Authors: Belotti, Pietro; Lee, Jon; Liberti, Leo; Margot, François; Wächter, Andreas Related Software: BARON; CPLEX; Bonmin; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
primdec Cited in 77 Documents (2005–2022) Software Authors: W. Decker, S. Laplagne, G. Pfister, H.A. Schönemann Related Software: SINGULAR; FGb; Mathematica; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Ordinary differential equations (34-XX); …
SDPNAL+ Cited in 77 Documents (2014–2023) Software Authors: Yang, Liuqin; Sun, Defeng; Toh, Kim-Chuan Related Software: SDPT3; SeDuMi; QSDPNAL; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); …
gnuplot Cited in 57 Documents (1995–2022) Software Authors: Williams, T.; Kelley, C. Related Software: Matplotlib; LAPACK; ParaView; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
Grain Cited in 74 Documents (2009–2022) Software Authors: Hell, M., Johansson, T., Meier, W. Related Software: Trivium; eSTREAM; MICKEY; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Dynamical systems and ergodic theory (37-XX); …
plantri Cited in 74 Documents (1999–2023) Software Authors: G. Brinkmann, B.D. McKay Related Software: House of Graphs; OEIS; nauty; … Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Manifolds and cell complexes (57-XX); …
Cliquer Cited in 73 Documents (2004–2022) Software Authors: Sampo Niskanen; Patric R. J. Östergård Related Software: nauty; Traces; CPLEX; … Main Fields: Combinatorics (05-XX); Geometry (51-XX); Computer science (68-XX); …
ECOS Cited in 68 Documents (2014–2023) Software Authors: Alexander Domahidi, Eric Chu, Santiago Akle, Han Wang Related Software: CVXPY; Mosek; SCS; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Computer science (68-XX); …
ergm Cited in 50 Documents (2011–2022) Software Authors: Mark S. Handcock, David R. Hunter, Carter T. Butts, Steven M. Goodreau, Pavel N. Krivitsky, Martina Morris Related Software: R; statnet; network; … Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …
Arb Cited in 70 Documents (2015–2023) Software Authors: Fredrik Johansson Related Software: DLMF; SageMath; Julia; … Main Fields: Number theory (11-XX); Special functions (33-XX); Partial differential equations (35-XX); …
BlackHat Cited in 73 Documents (2009–2021) Software Authors: C. F. Berger, Z. Bern, L. J. Dixon, F. Febres Cordero, D. Forde, H. Ita, D. A. Kosower, D. Maître Related Software: CutTools; SAMURAI; Golem95; … Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-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); …
Getfem++ Cited in 68 Documents (2004–2023) Software Authors: Yves Renard, Julien Pommier Related Software: deal.ii; Gmsh; PETSc; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
mpmath Cited in 68 Documents (2010–2023) Software Authors: Fredrik Johansson Related Software: SageMath; SciPy; SymPy; … Main Fields: Number theory (11-XX); Special functions (33-XX); Numerical analysis (65-XX); …
PALP Cited in 72 Documents (2003–2022) Software Authors: M. Kreuzer, H. Skarke Related Software: SageMath; TOPCOM; Calabi-Yau database; … Main Fields: Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); Differential geometry (53-XX); …
SYMMGRP.MAX Cited in 72 Documents (1991–2019) Software Authors: Champagne, B.; Hereman, W.; Winternitz, P. Related Software: SYMMGRP; diffgrob2; LIE; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
AETG Cited in 64 Documents (1998–2022) Software Authors: Cohen, D. M.; Dalal, S. R.; Fredman, M. L.; Patton, G. C. Related Software: CAgen; ACTS; Tabu search; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …
CL_MATCONT Cited in 71 Documents (2003–2023) Software Authors: W. Govaerts; Yu.A. Kuznetsov Related Software: MATCONT; Matlab; AUTO; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
Coq/SSReflect Cited in 71 Documents (2008–2021) Software Authors: Microsoft Research-Inria Joint Center Related Software: Coq; Isabelle/HOL; Mizar; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX); …
LieART Cited in 70 Documents (2012–2023) Software Authors: Robert Feger, Thomas W. Kephart Related Software: Mathematica; Susyno; LiE; … Main Fields: Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX); Quantum theory (81-XX); …
Cilk Cited in 53 Documents (2000–2022) Software Authors: Intel; Blumofe R. D., Joerg C. F., Kuszmaul B. C., Leiserson C. E., Randall K. H., Zhou Y Related Software: Intel TBB; OpenCL; CUDA; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX); …
emcee Cited in 46 Documents (2017–2023) Software Authors: Daniel Foreman-Mackey, David W. Hogg, Dustin Lang, Jonathan Goodman Related Software: Python; SciPy; Matplotlib; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Quantum theory (81-XX); …
sobol.cc Cited in 70 Documents (2003–2022) Software Authors: Joe, Stephen; Kuo, Frances Y. Related Software: TOMS659; MersenneTwister; TESTPACK; … Main Fields: Number theory (11-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …
TOPCOM Cited in 70 Documents (2000–2024) Software Authors: Rambau, Jörg Related Software: polymake; Gfan; PALP; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); …
ape Cited in 57 Documents (2004–2022) Software Authors: Emmanuel Paradis, Ben Bolker, Julien Claude, Hoa Sien Cuong,Richard Desper, Benoit Durand, Julien Dutheil, Olivier Gascuel,Christoph Heibl, Daniel Lawson, Vincent Lefort, PierreLegendre, Jim Lemon, Yvonnick Noel, Johan Nylander, RainerOpgen-Rhein, Andrei-Alin Popescu, Klaus Schliep, KorbinianStrimmer, Damien de Vienne Related Software: R; phytools; GEIGER; … Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); …
Hypexp Cited in 66 Documents (2006–2023) Software Authors: T. Huber, D. Maître Related Software: XSummer; HPL; Nestedsums; … Main Fields: Algebraic geometry (14-XX); Special functions (33-XX); Approximations and expansions (41-XX); …
MeatAxe Cited in 69 Documents (1994–2023) Software Authors: Michael Ringe Related Software: GAP; Magma; ATLAS Group Representations; … Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Group theory and generalizations (20-XX); …
SDaA Cited in 68 Documents (1999–2022) Software Authors: Verbeke, T. Related Software: R; FRK; Survey; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SparsePOP Cited in 67 Documents (2008–2023) Software Authors: Hayato Waki; Sunyoung Kim; Masakazu Kojima; Masakazu Muramatsu; Hiroshi Sugimoto Related Software: SeDuMi; GloptiPoly; SDPT3; … Main Fields: Algebraic geometry (14-XX); Operator theory (47-XX); Numerical analysis (65-XX); …
SPOTless Cited in 69 Documents (2015–2022) Software Authors: Megretski, Tobenkin, Permenter; Anirudha Majumdar Related Software: Mosek; SeDuMi; YALMIP; … Main Fields: Field theory and polynomials (12-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …
Eigentaste Cited in 47 Documents (2001–2023) Software Authors: Goldberg, Ken; Roeder, Theresa; Gupta, Dhruv; Perkins, Chris Related Software: MovieLens; SDPT3; PROPACK; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Kenzo Cited in 67 Documents (2000–2023) Software Authors: Rubio, Julio; Sergeraert, Francis; Yvon Siret; Xavier Dousson Related Software: EAT; Coq; ACL2; … Main Fields: Category theory; homological algebra (18-XX); Group theory and generalizations (20-XX); Algebraic topology (55-XX); …
Mincer Cited in 68 Documents (1991–2021) Software Authors: S.G. Gorishny; S.A. Larin; L.R. Surguladze; F.V. Tkachov Related Software: FORM; Reduze; MATAD; … Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Computer science (68-XX); …
LED Cited in 66 Documents (2011–2023) Software Authors: Guo J., Peyrin T., Poschmann A., Robshaw M.J.B. Related Software: PRESENT; PRINCE; KTANTAN; … Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX); …
RAGlib Cited in 66 Documents (2003–2022) Software Authors: Jean-Charles Faugere; Mohab Safey El Din Related Software: Kronecker; FGb; ISOLATE; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …
BioNetGen Cited in 58 Documents (2008–2022) Software Authors: Michael L. Blinov; James R. Faeder; Byron Goldstein; William S. Hlavacek Related Software: Bio-PEPA; PySB; NFsim; … Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX); …
alphaCertified Cited in 63 Documents (2011–2024) Software Authors: Jonathan D. Hauenstein; Frank Sottile Related Software: Bertini; PHCpack; Macaulay2; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …
AMD Cited in 61 Documents (2004–2022) Software Authors: Amestoy, Patrick R.; Enseeith-Irit; Davis, Timothy A.; Duff, Iain S. Related Software: SparseMatrix; CSparse; Matlab; … Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
Jordan Cited in 65 Documents (2007–2022) Software Authors: Thomas C. Hales Related Software: kepler98; HOL Light; Maple; … Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …
MathSAT5 Cited in 63 Documents (2013–2022) Software Authors: Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto Related Software: z3; CVC4; Yices; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …
CoCoALib Cited in 64 Documents (2006–2022) Software Authors: Abbott, John; Bigatti, Anna M. Related Software: CoCoA; Macaulay2; SINGULAR; … Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
DISCOVERER Cited in 62 Documents (1999–2023) Software Authors: Xia B Related Software: QEPCAD; Maple; REDLOG; … Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …
MrBayes Cited in 53 Documents (2004–2023) Software Authors: Ronquist, F.; Huelsenbeck, J. P.; van der Mark, P. Related Software: BEAST; RAxML; PHYLIP; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
FLINT Cited in 58 Documents (2009–2022) Software Authors: Hart, William B. Related Software: Magma; SageMath; NTL; … Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …
NumericalSemigroupsWithGenus Cited in 63 Documents (2003–2023) Software Authors: P. A. García-Sánchez Related Software: numericalsgps; NumericMonoid; nsgtree; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Commutative algebra (13-XX); …
DIFFALG Cited in 62 Documents (2000–2020) Software Authors: Boulier, F., Hubert, E Related Software: AIDA; Maple; DifferentialThomas; … Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
HolonomicFunctions Cited in 58 Documents (2009–2023) Software Authors: Christoph Koutschan Related Software: Mathematica; SINGULAR; gfun; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX); …
PSEUDO Cited in 62 Documents (2004–2022) Software Authors: J. C. Brunelli Related Software: Mathematica; AXIOM; SuSy 2; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); …
qZeil Cited in 62 Documents (1996–2023) Software Authors: Paule, Peter; Riese, Axel Related Software: SIGMA; Mathematica; qMultiSum; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX); …
DEseq Cited in 57 Documents (2011–2022) Software Authors: Simon Anders Related Software: Bioconductor; edgeR; R; … Main Fields: Algebraic topology (55-XX); Statistics (62-XX); Computer science (68-XX); …
GENREG Cited in 61 Documents (1999–2022) Software Authors: Meringer, Markus Related Software: nauty; House of Graphs; Traces; … Main Fields: Combinatorics (05-XX); Geometry (51-XX); Computer science (68-XX); …
SATLIB Cited in 55 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); …
DAISY Cited in 57 Documents (2008–2022) Software Authors: Giuseppina Bellu , Maria Pia Saccomani, Stefania Audoly , Leontina D’Angiò Related Software: SIAN; GenSSI; COMBOS; … Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Statistics (62-XX); …
FIRE5 Cited in 57 Documents (2015–2023) Software Authors: Smirnov, A.V. Related Software: FIRE; LiteRed; Reduze; … Main Fields: Number theory (11-XX); Global analysis, analysis on manifolds (58-XX); Mechanics of particles and systems (70-XX); …
HarmonicSums Cited in 60 Documents (2009–2022) Software Authors: Ablinger, Jakob; Blümlein, Johannes; Schneider, Carsten Related Software: FORM; Axodraw; EvaluateMultiSums; … Main Fields: Number theory (11-XX); Special functions (33-XX); Computer science (68-XX); …
WolframAlpha Cited in 55 Documents (2000–2023) Software Authors: Wolfram Alpha LLC Related Software: Mathematica; Maple; Matlab; … Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Numerical analysis (65-XX); …
xTras Cited in 59 Documents (2014–2023) Software Authors: Teake Nutma Related Software: xAct; xPert; Invar; … Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Mechanics of particles and systems (70-XX); …
BoijSoederberg Cited in 59 Documents (2008–2022) Software Authors: D. Eisenbud, F.-O. Schreyer, M. Stillman Related Software: Macaulay2; BoijSoederbergCICone.m2; CoCoA; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX); …
OpenSSL Cited in 58 Documents (2002–2021) Software Authors: The OpenSSL Project; Young, E.A., Hudson, T.J Related Software: eBACS; GitHub; gmp; … Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Algebraic geometry (14-XX); …
AIDA Cited in 51 Documents (2007–2014) Software Authors: Evelyn Hubert Related Software: DIFFALG; Maple; FGb; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Differential geometry (53-XX); …
CRACK Cited in 57 Documents (1993–2021) Software Authors: Wolf, Thomas Related Software: REDUCE; LIEPDE; Maple; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
NCAlgebra Cited in 57 Documents (1994–2023) Software Authors: JW Helton, R Miller, M Stankus Related Software: NCSOStools; SeDuMi; Mathematica; … Main Fields: Algebraic geometry (14-XX); Associative rings and algebras (16-XX); Operator theory (47-XX); …
PAUP* Cited in 50 Documents (1987–2023) Software Authors: David Swofford Related Software: PHYLIP; RAxML; MrBayes; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …
QuTiP Cited in 43 Documents (2015–2023) Software Authors: J. R. Johansson, P. D. Nation, F. Nori Related Software: Python; NumPy; SciPy; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SKINNY Cited in 58 Documents (2016–2023) Software Authors: Beierle, Christof; Jean, Jérémy; Kölbl, Stefan; Leander, Gregor; Moradi, Amir; Peyrin, Thomas; Sasaki, Yu; Sasdrich, Pascal; Sim, Siang Meng Related Software: SIMON; PRESENT; Midori; … Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX); …
Decision tree for optimization software Cited in 55 Documents (1999–2022) Software Authors: Mittelmann, H.D.; Peter Spellucci Related Software: Benchmarks for Optimization Software; MIPLIB; CPLEX; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
diffgrob2 Cited in 56 Documents (1994–2023) Software Authors: Mansfield, E. L. Related Software: SYMMGRP; SYMMGRP.MAX; Maple; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
EFD Cited in 57 Documents (2007–2022) Software Authors: Daniel J. Bernstein; Tanja Lange Related Software: Curve25519; mpFq; SageMath; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …
FIESTA Cited in 53 Documents (2009–2023) Software Authors: Smirnov, A.V.; Smirnov, V.A.; Tentyukov, M. Related Software: FIRE; LiteRed; SecDec; … Main Fields: Special functions (33-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX); …
Omega Cited in 57 Documents (2001–2023) Software Authors: Andrews, George E.; Paule, Peter; Riese, Axel Related Software: OEIS; LattE; Mathematica; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Commutative algebra (13-XX); …
Glucose Cited in 54 Documents (2012–2023) Software Authors: Gilles Audemard; Laurent Simon Related Software: MiniSat; Chaff; Lingeling; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …
lpSolve Cited in 51 Documents (2001–2023) Software Authors: Michel Berkelaar and others Related Software: lp_solve; R; Gurobi; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
MetiTarski Cited in 53 Documents (2008–2022) Software Authors: Akbarpour, Behzad; Paulson, Lawrence C. Related Software: QEPCAD; z3; PVS; … Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …
MINION Cited in 52 Documents (2005–2023) Software Authors: Jefferson, C., Kotthoff, L., Moore, N., Nightingale, P., Petrie, K.E., Rendl, A. Related Software: GAP; OEIS; Gecode; … Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Group theory and generalizations (20-XX); …
Bocop Cited in 55 Documents (2013–2023) 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); …
ComputeTW Cited in 53 Documents (2010–2022) Software Authors: Arie Koster Related Software: GitHub; Treewidthlib; LibTW; … Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Statistics (62-XX); …
HomotopyContinuation Cited in 51 Documents (2018–2023) Software Authors: Paul Breiding, Sascha Timme Related Software: Bertini; PHCpack; Macaulay2; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Statistics (62-XX); …
Knotscape Cited in 55 Documents (2002–2022) Software Authors: Hoste, J.; Thistlethwaite, M. Related Software: KnotInfo; Mathematica; SnapPy; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Group theory and generalizations (20-XX); …
PointNet Cited in 44 Documents (2018–2022) Software Authors: Charles R. Qi, Hao Su, Kaichun Mo, Leonidas J. Guibas Related Software: ImageNet; VoxNet; PointCNN; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
TNTool Cited in 55 Documents (2007–2022) Software Authors: P. Koev Related Software: mctoolbox; Matlab; LAPACK; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Special functions (33-XX); …
Serpent Cited in 54 Documents (1998–2022) Software Authors: Ross Anderson, Eli Biham, Lars Knudsen Related Software: PRESENT; Camellia; ICEBERG; … Main Fields: Order, lattices, ordered algebraic structures (06-XX); Number theory (11-XX); Group theory and generalizations (20-XX); …
CHomP Cited in 53 Documents (2006–2023) Software Authors: http://chomp.rutgers.edu/People.html Related Software: GAP; CAPD; Perseus; … Main Fields: Dynamical systems and ergodic theory (37-XX); Algebraic topology (55-XX); Manifolds and cell complexes (57-XX); …
LiDIA Cited in 51 Documents (1995–2021) Software Authors: Biehl, Ingrid; Buchmann, Johannes; Papanikolaou, Thomas Related Software: NTL; PARI/GP; MAPC; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …
na10 Cited in 53 Documents (1996–2022) Software Authors: Bini, Dario Andrea Related Software: na20; mctoolbox; ISOLATE; … Main Fields: Field theory and polynomials (12-XX); Linear and multilinear algebra; matrix theory (15-XX); Functions of a complex variable (30-XX); …