×

Found 2,013 Software Packages (Results 1–100)

ARPACK

Software Authors:   Lehoucq; Sorensen; Yang
Cited in: 836 Publications (1995–2022)
Related Software: eigs; JDQZ; JDQR; LAPACK; Matlab; Eigtool; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

deal.ii

Software Authors:   Bangerth W, Hartman R, Kanschat G
Cited in: 634 Publications (1999–2023)
Related Software: Trilinos; PETSc; p4est; FEniCS; UMFPACK; FreeFem++; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Gerris

Software Authors:   Popinet, Stéphane
Cited in: 361 Publications (2000–2022)
Related Software: PROST; SLIC; Basilisk; PETSc; KRAKEN; p4est; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

FODE

Software Authors:   Deng, Weihua
Cited in: 329 Publications (2007–2022)
Related Software: ma2dfc; Matlab; Fractional Order Chaotic Systems; Adaptative L1 TE and Predictive; FracPECE; Mittag-Leffler; …
Main Fields: Real functions (26-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)

VAMPIRE

Software Authors:   Riazanov, Alexandre; Voronkov, Andrei
Cited in: 277 Publications (1985–2023)
Related Software: TPTP; E Theorem Prover; SPASS; z3; Isabelle/HOL; OTTER; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

McEliece

Software Authors:   Heyse, Stefan; Moradi, Amir; Paar, Christof
Cited in: 270 Publications (1981–2022)
Related Software: NTRU; Magma; BIKE; NTL; Durandal; SageMath; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

FEATFLOW

Software Authors:   S Turek, C Becker
Cited in: 207 Publications (1998–2022)
Related Software: OpenFOAM; MooNMD; ANSYS-CFX; PETSc; RODAS; Gmsh; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

DGM

Software Authors:   Sirignano, Justin; Spiliopoulos, Konstantinos
Cited in: 203 Publications (2017–2022)
Related Software: Adam; TensorFlow; PDE-Net; DeepXDE; PyTorch; FPINNs; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

kepler98

Software Authors:   Hales, Thomas C.; Ferguson, Samuel P.
Cited in: 195 Publications (2000–2022)
Related Software: Flyspeck; HOL Light; Coq; Isabelle/HOL; Isabelle; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Convex and discrete geometry (52-XX)

Traces

Software Authors:   Adolfo Piperno
Cited in: 194 Publications (2014–2022)
Related Software: nauty; GAP; SageMath; bliss; OEIS; House of Graphs; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

UG

Software Authors:   Bastian, P.; Birken, K.; Johannsen, K.; Lang, S.; Neuß, N.; Rentz-Reichert, H.; Wieners, C.
Cited in: 177 Publications (1994–2021)
Related Software: DUNE; PETSc; PLTMG; deal.ii; UMFPACK; Diffpack; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

System Identification Toolbox

Software Authors:   Schön, Thomas B; Wills, Adrian; Ninness, Brett; Lennart Ljung
Cited in: 176 Publications (1990–2023)
Related Software: Matlab; Wiener-Hammerstein Benchmark; CONTSID; CAPTAIN; PRMLT; astsa; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Algorithm 447

Software Authors:   J. Hopcroft; R. Tarjan
Cited in: 170 Publications (1974–2022)
Related Software: SNAP; Boost; MIPLIB; CPLEX; SCIP; NodeTrix; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

SLIC

Software Authors:   W. F. Noh, Paul Woodward
Cited in: 166 Publications (1976–2022)
Related Software: KRAKEN; PROST; Gerris; HE-E1GODF; NASA-VOF2D; VOFTools; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

forecast

Software Authors:   Rob J Hyndman; Slava Razbash; Drew Schmidt
Cited in: 132 Publications (2006–2023)
Related Software: Forecast; R; expsmooth; zoo; ggplot2; tseries; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SMOTE

Software Authors:   N. V. Chawla, K. W. Bowyer, L. O. Hall, W. P. Kegelmeyer
Cited in: 127 Publications (2002–2022)
Related Software: UCI-ml; C4.5; SMOTEBoost; ADASYN; LIBSVM; JStatCom; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Control System Toolbox

Software Authors:   The MathWorks, Inc; Grace, A.; Laub, A. J.; Little, J. N.; Thompson, C. M.
Cited in: 150 Publications (1995–2022)
Related Software: Matlab; LMI toolbox; Robust Control Toolbox; YALMIP; SeDuMi; Optimization Toolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX)

lobpcg.m

Software Authors:   Knyazev, Andrew V.
Cited in: 152 Publications (2001–2023)
Related Software: JDQZ; JDQR; ARPACK; BLOPEX; IRAM; FEAST; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

TOMS659

Software Authors:   Bratley P.; Fox B L
Cited in: 143 Publications (1988–2022)
Related Software: sobol.cc; Algorithm 647; MersenneTwister; Algorithm 823; R; TESTPACK; …
Main Fields: Number theory (11-XX); Statistics (62-XX); Numerical analysis (65-XX)

spatstat

Software Authors:   Adrian Baddeley, Rolf Turner, Ege Rubak; et al
Cited in: 114 Publications (2005–2022)
Related Software: R; spatial; pyuvdata; Splancs; lgcp; RandomFields; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

CLAWPACK

Software Authors:   LeVeque, Randall J.
Cited in: 138 Publications (1996–2022)
Related Software: AMRCLAW; Pyclaw; HE-E1GODF; PyWENO; SharpClaw; GEOCLAW; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

UniProt

Software Authors:   The UniProt Consortium; Apweiler, R.; Bairoch, A.; Wu, C. H.; Barker, W. C.; Boeckmann, B.; Ferro, S.; Gasteiger, E.; Huang, H.; Lopez, R.; Magrane, M.; Martin, M. J.; Natale, D. A.; O’donovan, C.; Redaschi, N.; Yeh, L. S.
Cited in: 73 Publications (2004–2022)
Related Software: BLAST; PSI-BLAST; KEGG; Pfam; Cd-hit; LIBSVM; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

Vador

Software Authors:   Francis Filbet; E. Sonnendrücker
Cited in: 137 Publications (2002–2023)
Related Software: GYSELA; sldg; SHASTA; Matlab; RODAS; WENO; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

Manopt

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

Java PathFinder

Software Authors:   Havelund, Klaus; Pressburger, Thomas
Cited in: 92 Publications (2000–2021)
Related Software: SPIN; Bandera; veriSoft; CUTE; DART; dSPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

PHAVer

Software Authors:   Frehse, Goran
Cited in: 115 Publications (2005–2022)
Related Software: HyTech; SpaceEx; Uppaal; RSOLVER; HSolver; d/dt; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Forecast

Software Authors:   Rob J Hyndman; George Athanasopoulos, Slava Razbash, Drew Schmidt, Zhenyu Zhou, Yousaf Khan, Christoph Bergmeir, Earo Wang
Cited in: 115 Publications (2010–2023)
Related Software: forecast; R; expsmooth; fpp; GitHub; fda (R); …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

PDDL

Software Authors:   Fox, M.; Long, D.; Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D., Wilkins, D.
Cited in: 92 Publications (2000–2022)
Related Software: Graphplan; Walksat; SAPA; UCPOP; LPG; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Mu Analysis and Synthesis Toolbox

Software Authors:   MathWorks; Gary J. Balas, John C. Doyle, Keith Glover, Andy Packard, Roy Smith
Cited in: 109 Publications (1993–2021)
Related Software: Robust Control Toolbox; LMI toolbox; Matlab; Control System Toolbox; Skew; Optimization Toolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Mechanics of deformable solids (74-XX)

Pastry

Software Authors:   Rowstron, Antony; Druschel, Peter
Cited in: 63 Publications (2001–2022)
Related Software: Chord; SCRIBE; BATON; UNITY; Globus Toolkit; PATRICIA; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

GloVe

Software Authors:   Jeffrey Pennington, Richard Socher, Christopher D. Manning
Cited in: 86 Publications (2015–2022)
Related Software: word2vec; BERT; Adam; Tensor2Tensor; XLNet; TensorFlow; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Linda

Software Authors:   Gelernter, David
Cited in: 76 Publications (1985–2020)
Related Software: KLAIM; LIME; ReSpecT; TuCSoN; Klava; Reo; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

node2vec

Software Authors:   Aditya Grover, Jure Leskovec
Cited in: 88 Publications (2017–2022)
Related Software: DeepWalk; word2vec; GraRep; t-SNE; Adam; struc2vec; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

MEBDF

Software Authors:   Abdulla, T.J.; Cash, J.R.; Diamantakis, M.T.
Cited in: 90 Publications (1983–2022)
Related Software: RODAS; DASSL; A-EBDF; VODE; LSODE; RKC; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

CUBLAS

Software Authors:   NVIDIA Corporation
Cited in: 72 Publications (2008–2022)
Related Software: CUDA; LAPACK; CUSPARSE; BLAS; OpenCL; SparseMatrix; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

CLIFFORD

Software Authors:   Ablamowicz, Rafal; Fauser, Bertfried
Cited in: 85 Publications (1996–2022)
Related Software: Maple; BIGEBRA; CLICAL; Gaigen; CLUCalc; Gaalop; …
Main Fields: Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); Functions of a complex variable (30-XX)

ALBERT

Software Authors:   Schmidt, A.; Siebert, K.G.
Cited in: 83 Publications (1997–2023)
Related Software: ALBERTA; FreeFem++; Netgen; PETSc; Triangle; TetGen; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

SiZer

Software Authors:   Chaudhuri, Probal; Marron, J. S.
Cited in: 81 Publications (1999–2022)
Related Software: KernSmooth; fda (R); SemiPar; R; pyuvdata; GMRFLib; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Geophysics (86-XX)

DeepWalk

Software Authors:   Bryan Perozzi, Rami Al-Rfou, Steven Skiena
Cited in: 79 Publications (2017–2022)
Related Software: node2vec; word2vec; GraRep; t-SNE; struc2vec; Adam; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

ASA

Software Authors:   Lester Ingber
Cited in: 76 Publications (1993–2021)
Related Software: simannf90; Genocop; PSwarm; MCS; R; MultiMin; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MooNMD

Software Authors:   John, Volker; Matthies, Gunnar
Cited in: 77 Publications (2004–2022)
Related Software: UMFPACK; FEATFLOW; OpenFOAM; RODAS; ROS3P; Anderson; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

UFL

Software Authors:   Alnæs, Martin S.; Logg, Anders; Ølgaard, Kristian B.; Rognes, Marie E.; Wells, Garth N.
Cited in: 73 Publications (2010–2022)
Related Software: FEniCS; PETSc; Firedrake; DOLFIN; FIAT; petsc4py; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

GADGET

Software Authors:   Springel, V.; Yoshida, N.; White, S. D. M.
Cited in: 66 Publications (2002–2022)
Related Software: RAMSES; TREESPH; CLASS; CAMB; CUDA; DualSPHysics; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

MIXED

Software Authors:   SAS Institute Inc
Cited in: 71 Publications (1993–2023)
Related Software: SAS; SAS/STAT; R; S-PLUS; MEMSS; PROC GLM; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

LDDMM

Software Authors:   cis.jhu.edu (Center for Imaging Science at Johns Hopkins University)
Cited in: 73 Publications (2005–2022)
Related Software: FAIR.m; EMD; ElemStatLearn; Wasserstein GAN; ASTRA; AlexNet; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX)

DPpackage

Software Authors:   Jara, A., Hanson, T. E., Quintana, F. A., Müller, P., Rosner, G. L.
Cited in: 65 Publications (2008–2022)
Related Software: R; BayesDA; CODA; R2WinBUGS; boa; BNPdensity; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

SsfPack

Software Authors:   Koopman, Siem Jan; Shephard, Neil; Doornik, Jurgen A.
Cited in: 61 Publications (1999–2022)
Related Software: Ox; STAMP; R; astsa; Stata; SAS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

TRLan

Software Authors:   Kesheng Wu; Horst Simon
Cited in: 70 Publications (1999–2022)
Related Software: IRAM; JDQZ; ARPACK; JDQR; eigs; a-TRLan; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

AutoClass

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

KPCA plus LDA

Software Authors:   Yang, J.; Frangi, A. F.; Yang, J.; Zhang, D.; Jin, Z.
Cited in: 57 Publications (2006–2021)
Related Software: FERET; UCI-ml; CMU PIE; Yale Face; ORL face; ElemStatLearn; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

PRINCE

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
Cited in: 70 Publications (2012–2022)
Related Software: PRESENT; SIMON; Piccolo; KATAN; LED; Midori; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX)

ParEGO

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

LOCBIF

Software Authors:   Khibnik, Alexander I.; Kuznetsov, Yuri A.; Levitin, Victor V.; Nikolaev, Eugene V.
Cited in: 65 Publications (1992–2019)
Related Software: AUTO; DSTool; AUTO-86; HomCont; PITCON; MATCONT; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

RICPAC

Software Authors:   W. F. Arnold; Alan J. Laub
Cited in: 64 Publications (1987–2021)
Related Software: Algorithm 432; Matlab; LYAPACK; mctoolbox; LAPACK; Control System Toolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX)

BEAST

Software Authors:   Bouckaert, R., Heled, J., Kühnert, D., Vaughan, T., Wu, C-H., Xie, D., Suchard, MA., Rambaut, A., Drummond, A. J.
Cited in: 59 Publications (2009–2022)
Related Software: MrBayes; BEAUti; RAxML; fastDNAml; R; MEGA; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

AS 307

Software Authors:   Rousseeuw, Peter J.; Ruts, Ida
Cited in: 61 Publications (1996–2022)
Related Software: depth; robustbase; fda (R); Miniball; ABCDepth; ddalpha; …
Main Fields: Convex and discrete geometry (52-XX); Statistics (62-XX); Numerical analysis (65-XX)

emcee

Software Authors:   Daniel Foreman-Mackey, David W. Hogg, Dustin Lang, Jonathan Goodman
Cited in: 37 Publications (2017–2022)
Related Software: Python; SciPy; Matplotlib; NumPy; corner.py; CAMB; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

GTM

Software Authors:   Bishop, CM; Svensén, M.; Williams, CK
Cited in: 32 Publications (2000–2021)
Related Software: UCI-ml; ElemStatLearn; KernSmooth; darch; t-SNE; SOM; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

FPINNs

Software Authors:   Guofei Pang, Lu Lu, George Em Karniadakis
Cited in: 54 Publications (2019–2022)
Related Software: DGM; Adam; DeepXDE; TensorFlow; DiffSharp; DeepONet; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

PATRICIA

Software Authors:   Morrison, D.R.
Cited in: 49 Publications (1985–2022)
Related Software: Pastry; r-index; Coq; LUBM; UbiCrawler; BWA; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

WENO

Software Authors:   Carrillo, José A.; Gamba, Irene M.; Majorana, Armando; Shu, Chi-Wang
Cited in: 54 Publications (2003–2021)
Related Software: Vador; HE-E1GODF; GaAs-MESFET; HLLE; KIOPS; imexLNL; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

CHomP

Software Authors:   http://chomp.rutgers.edu/People.html
Cited in: 53 Publications (2006–2023)
Related Software: GAP; CAPD; Perseus; RedHom; Kenzo; Homology; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Algebraic topology (55-XX); Manifolds and cell complexes (57-XX)

FUN3D

Software Authors:   Biedron, R.T.; Carlson, J.-R.; Derlaga, J.M.; Gnoffo, P.A.; Hammond, D.P.; Jones, W.T.; Kleb, B.; Lee-Rausch, E.M.; Nielsen, E.J.; Park, M.A.; Rumsey, C.L.; Thomas, J.L.; Wood, W.A.
Cited in: 53 Publications (2009–2022)
Related Software: Spalart-Allmaras; USM3D; NSU3D; EDGE; OpenFOAM; TAU; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

GOLEM

Software Authors:   S. Muggleton; C. Feng
Cited in: 36 Publications (1991–2022)
Related Software: FOIL; Aleph; Metaopt; Metagol; GitHub; C4.5; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Jena

Software Authors:   McCarthy, P.; Brian McBride
Cited in: 18 Publications (2002–2020)
Related Software: SPARQL; Pellet; Protege; swrl; LUBM; FaCT++; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

BEAM189

Software Authors:   Wang, Changguo; Tan, Huifeng; Du, Xingwen
Cited in: 51 Publications (2003–2022)
Related Software: ABAQUS; ANSYS; Meschach; WebPlotDigitizer; DualSPHysics; Chrono; …
Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)

RealPaver

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

SDPpack

Software Authors:   Nayakakuppam M V, Overton M L, Schemita S.
Cited in: 50 Publications (1998–2015)
Related Software: SDPT3; CSDP; SeDuMi; SDPA; SDPHA; Matlab; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

Waldmeister

Software Authors:   Thomas Hillenbrand; Bernd Löchner
Cited in: 47 Publications (1999–2022)
Related Software: TPTP; VAMPIRE; E Theorem Prover; SPASS; OTTER; Prover9; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX)

ADCIRC

Software Authors:   Rick Luettich; Joannes Westerink; Randall Kolar; Clint Dawson
Cited in: 48 Publications (1994–2022)
Related Software: TELEMAC; GEOCLAW; GitHub; Gmsh; PETSc; UTBEST3D; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

GridSim

Software Authors:   Buyya, Rajkumar; Murshed, Manzur
Cited in: 26 Publications (2002–2020)
Related Software: OptorSim; Nimrod/G; SIMGRID; Globus Toolkit; MicroGrid; GRID Infoware; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

pomp

Software Authors:   King, A. A., Ionides, E. L.; Bretó, C. M
Cited in: 36 Publications (2009–2022)
Related Software: R; smfsb; KFAS; vSMC; LibBi; deSolve; …
Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

Boltzmann

Software Authors:   Filbet, Francis; Russo, Giovanni
Cited in: 48 Publications (2003–2022)
Related Software: HE-E1GODF; CUDA; FINUFFT; SMILE; MPI; Kokkos; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

BrainWeb

Software Authors:   Chris A. Cocosco , Vasken Kollokian , Remi K.-S. Kwan , G. Bruce Pike , Alan C. Evans
Cited in: 39 Publications (2009–2022)
Related Software: UCI-ml; AccFFT; MAXFLOW; TSPLIB; Isula; DGM; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

ProVerif

Software Authors:   inria.fr; Bruno Blanchet
Cited in: 41 Publications (2005–2023)
Related Software: AVISPA; TAMARIN; OFMC; YAPA; Maude-NPA; NRL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

SWASHES

Software Authors:   Delestre, O., Lucas, C., Ksinant, P.-A., Darboux, F., Laguerre, C., Vo, T.-N.-T., James, F., Cordier S.
Cited in: 47 Publications (2012–2022)
Related Software: HLLE; HE-E1GODF; MOOD; FullSWOF; MASCARET; MIKE; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

ANN

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

expsmooth

Software Authors:   Hyndman, R. J.; Koehler, Anne B.; Ord, J. Keith; Snyder, Ralph D.
Cited in: 44 Publications (2008–2022)
Related Software: forecast; Forecast; R; fda (R); Rainbow; GitHub; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Miniball

Software Authors:   Fischer, Kaspar; Gärtner, Bernd; Aditya Gupta; Alexandros Konstantinakis-Karmis
Cited in: 46 Publications (2001–2023)
Related Software: SDPT3; SeDuMi; CGAL; gmp; Matlab; AS 307; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

STAMP

Software Authors:   Koopman, S. J.; Harvey, A. C.; Doornik, J. A.; Shephard, A.
Cited in: 37 Publications (1998–2021)
Related Software: SsfPack; Ox; R; Matlab; SAS; Stata; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

UPPAAL TIGA

Software Authors:   Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.
Cited in: 44 Publications (2007–2021)
Related Software: Uppaal; PRISM; Synthia; HyTech; PRISM-games; Kronos; …
Main Fields: General and overarching topics; collections (00-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

elsA

Software Authors:   ONERA
Cited in: 42 Publications (1987–2022)
Related Software: Spalart-Allmaras; AUSM; TAU; ARPACK; XFOIL; OpenFOAM; …
Main Fields: Algebraic geometry (14-XX); Statistics (62-XX); Numerical analysis (65-XX)

OVERFLOW

Software Authors:   Pieter G. Buning; NASA
Cited in: 45 Publications (1997–2022)
Related Software: Spalart-Allmaras; CMPGRD; CFL3D; Ogen; PEGASUS 5; OVERFLOW 2; …
Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

SPLASH-2

Software Authors:   Woo, S. C.; Ohara, M.; Torrie, E.; Singh, J. P.; Gupta, A.
Cited in: 20 Publications (1998–2018)
Related Software: PARSEC; NAS Parallel Benchmarks; ALPBench; SimpleScalar; UMDES; Kendo; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CosmoMC

Software Authors:   Antony Lewis
Cited in: 43 Publications (2010–2022)
Related Software: CAMB; CLASS; GADGET; MultiNest; Monte Python; Python; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Quantum theory (81-XX)

PSATO

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

Fermat

Software Authors:   Dr. Robert H. Lewis http://www.bway.net/~lewis
Cited in: 41 Publications (1997–2022)
Related Software: FORM; Maple; Axodraw; HarmonicSums; MATAD; Reduze; …
Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

SHARPE

Software Authors:   Sahner, Robin; Trivedi, Kishor S.; Puliafito, Antonio
Cited in: 36 Publications (1992–2021)
Related Software: Möbius; SPNP; SMART_; TimeNET; PRISM; CADP; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

Uppaal2k

Software Authors:   Kim G. Larsen, Wang Yi, Paul Pettersson, Alexandre David, Brian Nielsen, Arne Skou, John Håkansson, Jacob Illum Rasmussen, Pavel Krcál, Ulrik Larsen, Marius Mikucionis, Leonid Mokrushin
Cited in: 38 Publications (2000–2017)
Related Software: Uppaal; Kronos; HyTech; PRISM; SPIN; Rabbit; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CompHep

Software Authors:   E.Boos, V.Bunichev, M.Dubinin, L.Dudko, V.Edneral, V.Ilyin, A.Kryukov, V.Savrin, A.Semenov ,A.Sherstnev
Cited in: 39 Publications (1997–2021)
Related Software: MadGraph; CalcHEP; FeynArts; WHIZARD; SHERPA; PHEGAS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

PersistenceImages

Software Authors:   Henry Adams, Sofya Chepushtanova, Tegan Emerson, Eric Hanson, Michael Kirby, Francis Motta, Rachel Neville, Chris Peterson, Patrick Shipman, Lori Ziegelmeier
Cited in: 42 Publications (2016–2022)
Related Software: GitHub; Ripser; PHAT; Scikit; Gudhi; Persistence Landscape; …
Main Fields: Algebraic topology (55-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

StFinMetrics

Software Authors:   Zivot, Eric; Wang, Jiahui
Cited in: 41 Publications (2003–2022)
Related Software: R; astsa; S-PLUS; FinTS; Forecast; forecast; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Statistical mechanics, structure of matter (82-XX)

Algorithm 719

Software Authors:   Bailey, D.H.
Cited in: 41 Publications (1993–2017)
Related Software: Algorithm 693; Mathematica; mctoolbox; GSL; R; Algorithm 786; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Numerical analysis (65-XX)

SAS/ETS

Software Authors:   SAS
Cited in: 38 Publications (1985–2021)
Related Software: SAS; R; Stata; SAS/STAT; S-PLUS; Matlab; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

RM-MEDA

Software Authors:   Qingfu Zhang; Aimin Zhou; Yaochu Jin
Cited in: 33 Publications (2010–2022)
Related Software: MOEA/D; SPEA2; HypE; SMS-EMOA; PlatEMO; GDE3; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

ROMS

Software Authors:   Haidvogel, D. B.; Arango, H.; Budgell, W. P.; Cornuelle, B. D.; Curchitser, E.; Di Lorenzo, E.; Fennel, K.; Geyer, W. R.; Hermann, A. J.; Lanerolle, L.; Levin, J.; McWilliams, J. C.; Miller, A. J.; Moore, A. M.; Powell, T. M.; Shchepetkin, A. F.; Sherwood, C. R.; Signell, R. P.; Warner, J. C.; Wilkin, J.
Cited in: 40 Publications (2008–2022)
Related Software: L-BFGS; EnKF; MPAS-Ocean; MIKE; SWAN; UTV; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

TIGRA

Software Authors:   Ramlau, Ronny
Cited in: 40 Publications (2003–2020)
Related Software: NewtonLib; mngn; cosereg; corner.m; FDEMtools; Regularization tools; …
Main Fields: Partial differential equations (35-XX); Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX)

CONTSID

Software Authors:   Garnier, H., Gilson, M., Bastogne, T., Mensler, M.
Cited in: 38 Publications (2003–2022)
Related Software: CAPTAIN; System Identification Toolbox; Matlab; Wiener-Hammerstein Benchmark; IPsolve; DLMF; …
Main Fields: Real functions (26-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

Gross-Pitaevskii

Software Authors:   P. Muruganandam, S.K. Adhikari
Cited in: 38 Publications (2009–2022)
Related Software: GP-SCL; AEDU; imagetime1d; BEC-GP-OMP-FOR; OCTBEC; GPELab; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX)

MinRes

Software Authors:   Kolmbauer, Michael
Cited in: 39 Publications (2012–2022)
Related Software: FEniCS; IFISS; AGMG; Trilinos; PETSc; Matlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX)