×

Found 1,744 Software Packages (Results 1–100)

DLMF

Cited in 3,364 Documents (2000–2024)
Software Authors: Lozier, Daniel W.
Related Software: Mathematica; OEIS; Matlab; …
Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); …

mctoolbox

Cited in 1,539 Documents (1995–2023)
Software Authors: Higham, Nick
Related Software: LAPACK; Matlab; mftoolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Tabu search

Cited in 1,027 Documents (1991–2022)
Software Authors: Glover, Fred; Taillard, Eric; de Werra, Dominique
Related Software: Scatter Search; CPLEX; VRP; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …

SparseMatrix

Cited in 799 Documents (1997–2023)
Software Authors: Davis, Timothy A; Hu, Yifan
Related Software: mctoolbox; LAPACK; Matlab; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); …

minpack

Cited in 770 Documents (1979–2023)
Software Authors: Garbow B, Hillstrom K, More J
Related Software: CUTEr; L-BFGS; HYBRJ; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

SDPT3

Cited in 741 Documents (1986–2024)
Software Authors: Toh, K.C.; Todd, M.J.; Tütüncü, R.H.
Related Software: SeDuMi; YALMIP; CVX; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

KELLEY

Cited in 649 Documents (1995–2022)
Software Authors: Kelley, C.T.
Related Software: minpack; Matlab; L-BFGS; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

Chaff

Cited in 552 Documents (2001–2023)
Software Authors: Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L. and Malik, S
Related Software: MiniSat; BerkMin; SATO; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

TETRAD

Cited in 456 Documents (1993–2023)
Software Authors: Clark Glymour; Richard Scheines; Peter Spirtes; Joseph Ramsey
Related Software: pcalg; R; glasso; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Statistics (62-XX); …

CGAL

Cited in 387 Documents (2000–2023)
Software Authors: CGAL Editorial Board
Related Software: LEDA; 2D triangulations; 2D Arrangement; …
Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX); …

BARON

Cited in 401 Documents (1996–2023)
Software Authors: Sahinidis, Nikolaos V.
Related Software: CPLEX; GAMS; SCIP; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

VAMPIRE

Cited in 298 Documents (1985–2023)
Software Authors: Riazanov, Alexandre; Voronkov, Andrei
Related Software: TPTP; E Theorem Prover; SPASS; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-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); …

Scatter Search

Cited in 274 Documents (1999–2023)
Software Authors: Laguna, Manuel; Marti, Rafael
Related Software: Tabu search; VRP; CPLEX; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-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); …

SVMlight

Cited in 210 Documents (2000–2022)
Software Authors: Thorsten Joachims
Related Software: LIBSVM; UCI-ml; SVMTorch; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

BLAST

Cited in 152 Documents (1999–2022)
Software Authors: Stephen F. Altschul, Thomas L. Madden, Alejandro A. Schäffer, Jinghui Zhang, Zheng Zhang, Webb Miller, David J. Lipman
Related Software: PSI-BLAST; Pfam; UniProt; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …

PSI-BLAST

Cited in 141 Documents (1999–2022)
Software Authors: Altschul, S.F., Madden, T.L., Schäffer, A.A., Zhang, J., Zhang, Z., Miller, W., Lipman, D.J.
Related Software: BLAST; Pfam; UniProt; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-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); …

Walksat

Cited in 212 Documents (1996–2023)
Software Authors: Bart Selman, Henry Kautz
Related Software: Graphplan; Chaff; DIMACS; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-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); …

CONOPT

Cited in 177 Documents (1985–2023)
Software Authors: Drud, Arne Stolbjerg
Related Software: GAMS; MINOS; SNOPT; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

CG_DESCENT

Cited in 160 Documents (1999–2023)
Software Authors: Hager, W.W., Zhang, H.
Related Software: CUTEr; CUTE; L-BFGS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …

GWO

Cited in 147 Documents (2014–2023)
Software Authors: Mirjalili, S.; Mirjalili, S. M.; Lewis, A.
Related Software: WOA; GSA; ABC; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Manopt

Cited in 148 Documents (2013–2023)
Software Authors: Nicolas Boumal; Bamdev Mishra; P.-A. Absil; Rodolphe Sepulchre
Related Software: RTRMC; Pymanopt; Matlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX); …

NPSOL

Cited in 144 Documents (1984–2019)
Software Authors: P. E. Gill, W. Murray, M. A. Saunders, M. H. Wright
Related Software: SNOPT; AMPL; OTIS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …

AutoGraphiX

Cited in 144 Documents (1999–2022)
Software Authors: Gilles Caporossi
Related Software: GRAFFITI; GRAPH; nauty; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

tn

Cited in 141 Documents (1984–2023)
Software Authors: Nash, Stephen G.
Related Software: L-BFGS; CUTEr; minpack; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

GSA

Cited in 117 Documents (2009–2023)
Software Authors: Rashedi, Esmat; Nezamabadi-Pour, Hossein; Saryazdi, Saeid
Related Software: ABC; GWO; WOA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

GRASP

Cited in 133 Documents (1996–2023)
Software Authors: Paola Festa; Resende, Mauricio G.C.; Pardalos, Panos M.; Li, Yong
Related Software: Tabu search; PERL; TTTPLOTS; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

NLPQL

Cited in 134 Documents (1986–2022)
Software Authors: Schittkowski
Related Software: NPSOL; NLPQLP; SNOPT; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …

NOMAD

Cited in 128 Documents (2001–2023)
Software Authors: Sébastien Le Digabel
Related Software: OrthoMADS; EGO; MultiMin; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …

LiteRed

Cited in 120 Documents (2013–2023)
Software Authors: R. Lee
Related Software: FIRE; Reduze; FIRE5; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …

simannf90

Cited in 117 Documents (1987–2019)
Software Authors: Corana, A.; Marchesi, M.; Martini, C.; Ridella, S.
Related Software: ASA; Global Optimization Toolbox For Maple; Matlab; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

TRON

Cited in 117 Documents (1999–2022)
Software Authors: Chih-Jen Lin; Jorge Moré
Related Software: L-BFGS; CUTEr; LBFGS-B; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …

gSpan

Cited in 89 Documents (2003–2022)
Software Authors: Yan, X., Han, J.
Related Software: CloseGraph; PrefixSpan; SPADE; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …

SCALCG

Cited in 115 Documents (2006–2022)
Software Authors: Andrei, N.
Related Software: CUTEr; CUTE; CG_DESCENT; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …

CALMA

Cited in 104 Documents (1999–2022)
Software Authors: Aardal, Karen; Hurkens, Cor; Lenstra, Jan Karel; Tiourine, Sergey
Related Software: CPLEX; Tabu search; DIMACS; …
Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX); Computer science (68-XX); …

SATzilla

Cited in 92 Documents (2008–2022)
Software Authors: Xu, L.; Hutter, F.; Hoos, H.H.; Leyton-Brown, K.
Related Software: Paramils; MiniSat; SMAC; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …

FEAST

Cited in 95 Documents (2012–2023)
Software Authors: Tang, Ping Tak Peter; Polizzi, Eric
Related Software: CIRR; lobpcg.m; JDQZ; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Operator theory (47-XX); …

PAES

Cited in 90 Documents (2001–2020)
Software Authors:
Related Software: SPEA2; MOEA/D; ParEGO; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX); …

Paramils

Cited in 80 Documents (2009–2023)
Software Authors: Hutter, F.; Hoos, H.H.; Leyton-Brown, K.; Stuetzle, T.
Related Software: SMAC; irace; SATzilla; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

WOA

Cited in 89 Documents (2016–2023)
Software Authors: S. Mirjalili, A. Lewis
Related Software: GWO; GSA; SSA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

SMAC

Cited in 84 Documents (2010–2022)
Software Authors: Frank Hutter, Holger Hoos, Kevin Leyton-Brown, Kevin Murphy, Steve Ramage
Related Software: Paramils; Spearmint; irace; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

HypE

Cited in 84 Documents (2010–2022)
Software Authors: Bader, J., Zitzler, E.
Related Software: MOEA/D; SPEA2; SMS-EMOA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

SPADE

Cited in 58 Documents (2001–2022)
Software Authors: Zaki, Mohammed J.
Related Software: PrefixSpan; BIDE; CloSpan; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

Gecode

Cited in 83 Documents (2007–2023)
Software Authors: Christian Schulte, KTH Royal Institute of Technology
Related Software: MiniZinc; CPLEX; Choco; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

Tensorlab

Cited in 87 Documents (2013–2023)
Software Authors: L. Sorber, M. Van Barel, L. De Lathauwer
Related Software: TensorToolbox; Matlab; Algorithm 862; …
Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); …

testmatrix

Cited in 85 Documents (1995–2023)
Software Authors: N.J. Higham
Related Software: mctoolbox; mftoolbox; CONTEST; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); …

Cytoscape

Cited in 45 Documents (2007–2023)
Software Authors: Shannon P, Markiel A, Ozier O, Baliga NS, Wang JT, Ramage D, Amin N, Schwikowski B, Ideker T
Related Software: KEGG; R; IntAct; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …

HdBCS

Cited in 82 Documents (2004–2022)
Software Authors: Adrian Dobra; Quanli Wang; Liang Zhang; Mike West
Related Software: glasso; R; TETRAD; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-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); …

COMET

Cited in 74 Documents (2004–2021)
Software Authors: Michel, Laurent; See, Andrew; van Hentenryck, Pascal
Related Software: CPLEX; Localizer; Gecode; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

MCS

Cited in 77 Documents (1999–2023)
Software Authors: Arnold Neumaier
Related Software: MultiMin; EGO; NEWUOA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

SPG

Cited in 77 Documents (2001–2022)
Software Authors: Birgin, Ernesto G.; Martínez, José Mario; Raydan, Marcos
Related Software: CUTEr; ALGENCAN; LANCELOT; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …

VeriFast

Cited in 71 Documents (2009–2023)
Software Authors: Bart Jacobs; Jan Smans; Frank Piessens
Related Software: Dafny; Boogie; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-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); …

J-MEANS

Cited in 75 Documents (2001–2022)
Software Authors: Hansen, Pierre; Mladenović, Nenad
Related Software: UCI-ml; TSPLIB; clusfind; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Cmodels

Cited in 68 Documents (2004–2022)
Software Authors: Yulia Lierler
Related Software: ASSAT; Smodels; Gringo; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …

PSwarm

Cited in 69 Documents (2007–2022)
Software Authors: Vaz, A.I.F.; Vicente, L.N.
Related Software: MultiMin; NOMAD; MCS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX); …

AutoClass

Cited in 36 Documents (1992–2021)
Software Authors: John Stutz; Peter Cheeseman
Related Software: UCI-ml; C4.5; clusfind; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

OrthoMADS

Cited in 69 Documents (2009–2023)
Software Authors: Abramson, Mark A.; Audet, Charles; Dennis, J.E.jun.; Le Digabel, S'ebastien
Related Software: NOMAD; DFL; MultiMin; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

ParEGO

Cited in 62 Documents (2005–2023)
Software Authors: Knowles, Joshua; Hughes, Evan J.
Related Software: EGO; MOEA/D; SPEA2; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

DIRECT

Cited in 64 Documents (2006–2023)
Software Authors: Finkel, D.E; He, Jian; Verstak, Alex; Watson, Layne T.; Sosonkina, Masha
Related Software: LGO; MCS; SymDIRECT; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …

PISA

Cited in 53 Documents (2003–2022)
Software Authors: Bleuler, Stefan; Laumanns, Marco; Thiele, Lothar; Zitzler, Eckart
Related Software: SPEA2; ParadisEO-MOEO; jMetal; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Hyperopt

Cited in 60 Documents (2015–2023)
Software Authors: Bergstra, J.S., Bardenet, R., Bengio, Y., Kégl, B.
Related Software: Spearmint; SMAC; Scikit; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Satallax

Cited in 65 Documents (2010–2023)
Software Authors: Chad E. Brown; Andreas Teucke; Geoff Sutcliffe; Frank Theiß; Gert Smolka; Julian Backes; Chris Benzmüller
Related Software: TPTP; Isabelle/HOL; LEO-II; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

NeTra

Cited in 42 Documents (2000–2016)
Software Authors: Wei-Ying Ma; B.S. Manjunath
Related Software: VisualSEEk; SIMPLIcity; PicToSeek; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX); …

CFSQP

Cited in 57 Documents (1996–2020)
Software Authors: Lawrence, C.; J. Zhou; A. Tits
Related Software: SNOPT; CONOPT; Tabu search; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

TTTPLOTS

Cited in 59 Documents (2007–2023)
Software Authors: Aiex, Renata M.; Resende, Mauricio G.C.; Ribeiro, Celso C.
Related Software: PERL; GRASP; Tabu search; …
Main Fields: Combinatorics (05-XX); Difference and functional equations (39-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); …

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); …

Jena

Cited in 19 Documents (2002–2022)
Software Authors: McCarthy, P.; Brian McBride
Related Software: SPARQL; Pellet; Protege; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

PHiPAC

Cited in 48 Documents (1997–2016)
Software Authors: Jeff A Bilmes; Krste Asanovic; Rich Vuduc; Sriram Iyer; Jim Demmel; CheeWhye Chin; Dominic Lam
Related Software: ATLAS; BLAS; LAPACK; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); …

PicHunter

Cited in 28 Documents (2001–2014)
Software Authors: I.J. Cox, M.L. Miller, S.M. Omohundro, P.N. Yianilos,
Related Software: VisualSEEk; PicToSeek; NeTra; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

Lolli

Cited in 50 Documents (1993–2021)
Software Authors: Josh Hodas; Dale Miller
Related Software: Twelf; Elf; ML; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX); …

BioGRID

Cited in 33 Documents (2008–2023)
Software Authors: C. Stark, B. Breitkreutz, T. Reguly, L. Boucher, A. Breitkreutz, M. Tyers
Related Software: KEGG; IntAct; Cytoscape; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …

RealPaver

Cited in 51 Documents (2003–2017)
Software Authors: Laurent Granvilliers
Related Software: Numerica; INTOPT_90; gaol; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …

SPIRAL

Cited in 45 Documents (2001–2022)
Software Authors: Johnson, Jeremy
Related Software: FFTW; ATLAS; FLAME; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

CONLIN

Cited in 50 Documents (1988–2020)
Software Authors: C. Fleury
Related Software: top.m; SCPIP; Matlab; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

Cd-hit

Cited in 32 Documents (2007–2021)
Software Authors: Weizhong Li, Adam Godzik
Related Software: Cell-PLoc; LIBSVM; BLAST; …
Main Fields: Algebraic geometry (14-XX); Algebraic topology (55-XX); Statistics (62-XX); …

DepQBF

Cited in 48 Documents (2010–2022)
Software Authors: Lonsing, F., Biere, A.
Related Software: RAReQS; Bloqqer; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

IMFIL

Cited in 49 Documents (1998–2023)
Software Authors: Kelley, C. T.
Related Software: KELLEY; DFO; NOMAD; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …

CVXGEN

Cited in 45 Documents (2010–2022)
Software Authors: J. Mattingley; S. Boyd
Related Software: qpOASES; ECOS; fast_mpc; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

ANN

Cited in 34 Documents (2001–2022)
Software Authors: David M. Mount; Sunil Arya
Related Software: UCI-ml; CGAL; GAPS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

PcGets

Cited in 46 Documents (2000–2021)
Software Authors: Perez-Amaral, Teodosio; Gallo, Giampiero M.; White, Halbert
Related Software: PcGive; Ox; ElemStatLearn; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX); …

QSDP

Cited in 47 Documents (2006–2022)
Software Authors: Kim-Chuan Toh; R.H. Tutuncu; M.J. Todd
Related Software: SDPT3; QSDPNAL; CSDP; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

COBYLA2

Cited in 45 Documents (1994–2023)
Software Authors: M.J.D. Powell
Related Software: DFO; NEWUOA; UOBYQA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

Eraser

Cited in 36 Documents (2000–2021)
Software Authors: Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.
Related Software: veriSoft; RacerX; Bandera; …
Main Fields: Computer science (68-XX)

GA

Cited in 39 Documents (2014–2023)
Software Authors: Luca Scrucca
Related Software: R; DEoptim; UCI-ml; …
Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …

PSATO

Cited in 41 Documents (1996–2021)
Software Authors: Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang
Related Software: SATO; Chaff; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX); …

Bison

Cited in 43 Documents (1997–2023)
Software Authors: Scholl, A., Klein, R., Jürgens, C.
Related Software: OR-Library; CPLEX; Knapsack; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

GHC

Cited in 36 Documents (1986–2014)
Software Authors: Ueda, Kazunori
Related Software: PARLOG; Kima; Haskell; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX); …

ManySAT

Cited in 37 Documents (2005–2021)
Software Authors: Hamadi, Youssef; Jabbour, Said; Sais, Lakhdar
Related Software: Plingeling; Chaff; MiniSat; …
Main Fields: Computer science (68-XX); Statistical mechanics, structure of matter (82-XX); Operations research, mathematical programming (90-XX); …

DFL

Cited in 42 Documents (2012–2022)
Software Authors: Liuzzi, G.; Lucidi, S.; Rinaldi, F.
Related Software: DFN; NOMAD; DFLBOX; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …

Python Web Graph Generator

Cited in 41 Documents (2013–2023)
Software Authors: Saket Sathe
Related Software: NetLogo; invGauss; SNAP; …
Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX); Statistical mechanics, structure of matter (82-XX); …

SSS

Cited in 42 Documents (2007–2022)
Software Authors: Hans, Chris; Dobra, Adrian; West, Mike
Related Software: EMVS; glmnet; glasso; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX); …

UCPOP

Cited in 40 Documents (1993–2022)
Software Authors: Penberthy, J. S.; Weld, D.
Related Software: Graphplan; Prodigy; PDDL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

NLPQLP

Cited in 41 Documents (2000–2023)
Software Authors: K Schittkowski
Related Software: NLPQL; QL; MISER3; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …

SDPHA

Cited in 41 Documents (1997–2022)
Software Authors: Brixius, Nathan; Potra, Florian A.; Sheng, Rongqin
Related Software: SDPT3; SDPA; SeDuMi; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

Filter Results by …

all top 5

Related Software

all top 3

Main Field