×

Found 697 Software Packages (Results 1–100)

WinBUGS

Software Authors:   David Spiegelhalter; Andrew Thomas; Nicky Best; Dave Lunn
Referenced in: 704 Publications (1999–2022)
Related Software: R; BayesDA; BUGS; JAGS; SemiPar; CODA; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Spalart-Allmaras

Software Authors:   NASA Langley Research Center
Referenced in: 573 Publications (1993–2022)
Related Software: PETSc; AUSM; OpenFOAM; elsA; Turbulence Modeling; CFL3D; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

HyTech

Software Authors:   Tom Henzinger, Pei-Hsin Ho, and Howard Wong-Toi.
Referenced in: 312 Publications (1996–2021)
Related Software: Uppaal; PHAVer; Kronos; SPIN; SpaceEx; d/dt; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ABAQUS/Standard

Software Authors:   Dassault Systèmes
Referenced in: 215 Publications (1995–2022)
Related Software: ABAQUS; UMAT; Matlab; ABAQUS/Explicit; Mathematica; HYPLAS; …
Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)

CAViaR

Software Authors:   Robert F Engle; Simone Manganelli
Referenced in: 194 Publications (2001–2022)
Related Software: QRM; RiskMetrics; Dowd; R; quantilogram; BayesDA; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

System Identification Toolbox

Software Authors:   Schön, Thomas B; Wills, Adrian; Ninness, Brett; Lennart Ljung
Referenced in: 173 Publications (1990–2022)
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)

Control System Toolbox

Software Authors:   The MathWorks, Inc; Grace, A.; Laub, A. J.; Little, J. N.; Thompson, C. M.
Referenced in: 147 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.
Referenced in: 147 Publications (2001–2022)
Related Software: JDQZ; JDQR; ARPACK; BLOPEX; PRIMME; IRAM; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

AspectJ

Software Authors:   Kiczales, Gregor; Hilsdale, Erik; Hugunin, Jim; Kersten, Mik; Palm, Jeffrey
Referenced in: 96 Publications (2001–2021)
Related Software: CaesarJ; JBoss; JAsCo; AspectC++; Eiffel; gbeta; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

flexmix

Software Authors:   Friedrich Leisch; Bettina Grün
Referenced in: 102 Publications (2007–2022)
Related Software: R; mclust; mixtools; flexCWM; Rmixmod; PGMM; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

FeynArts

Software Authors:   Hagen Eck; Sepp Küblbeck
Referenced in: 116 Publications (2000–2022)
Related Software: FormCalc; FeynCalc; FeynRules; LoopTools; Mathematica; CutTools; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX)

FeynRules

Software Authors:   A. Alloul, N.D. Christensen, C. Degrande, C. Duhr, B. Fuks
Referenced in: 109 Publications (2010–2022)
Related Software: FeynArts; MadGraph; CalcHEP; PYTHIA8; MadGraph5_aMC@NLO; DELPHES; …
Main Fields: Probability theory and stochastic processes (60-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX)

LISP-STAT

Software Authors:   Luke Tierney
Referenced in: 88 Publications (1977–2019)
Related Software: R; ViSta; XGobi; ARC; Mondrian; MacSpin; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

MINLPLib

Software Authors:   Bussieck, Michael R.; Drud, Arne Stolbjerg; Meeraus, Alexander
Referenced in: 98 Publications (2002–2022)
Related Software: SCIP; Ipopt; BARON; CPLEX; Bonmin; ANTIGONE; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

SOFTSUSY

Software Authors:   B.C. Allanach
Referenced in: 77 Publications (2001–2021)
Related Software: Spheno; SuSpect; micrOMEGAs; NMHDECAY; MicrOMEGAs 2.0; FeynHiggs; …
Main Fields: Statistics (62-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)

Pfinder

Software Authors:   Wren, C.R.; Azarbayejani, A.; Darrell, T.; Pentland, A.
Referenced in: 31 Publications (2000–2020)
Related Software: BraMBLe; SCAPE; SIFT; W4s; CAVIAR; EMD; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Computer science (68-XX)

FeynCalc

Software Authors:   Rolf Mertig; Frederik Orellana; M. Böhm; A. Denner
Referenced in: 74 Publications (1995–2022)
Related Software: FeynArts; FORM; Mathematica; FeynRules; FormCalc; LoopTools; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

LIMDEP

Software Authors:   Econometric Software, Inc
Referenced in: 69 Publications (1984–2020)
Related Software: Stata; R; Excel; SAS; GAUSS; SHAZAM; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

BABEL

Software Authors:   Mario Rodriguez-Artalejo
Referenced in: 69 Publications (1988–2013)
Related Software: Kernel-LEAF; TOY; Curry; ECCE; PAKCS; Miranda; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

PROC NLMIXED

Software Authors:   SAS
Referenced in: 57 Publications (2001–2022)
Related Software: SAS; SAS/STAT; R; Stata; glimmix; WinBUGS; …
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.
Referenced 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)

SimpleMKL

Software Authors:   Rakotomamonjy, Alain; Bach, Francis R.; Canu, Stéphane; Grandvalet, Yves
Referenced in: 64 Publications (2008–2021)
Related Software: SHOGUN; LIBSVM; UCI-ml; SpicyMKL; SIFT; Mosek; …
Main Fields: Functional analysis (46-XX); Statistics (62-XX); Computer science (68-XX)

FormCalc

Software Authors:   Hahn, Thomas; Schappacher, Christian
Referenced in: 59 Publications (2002–2022)
Related Software: FeynArts; LoopTools; CutTools; Mathematica; MadGraph; FeynRules; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)

refund

Software Authors:   Goldsmith, J.; Greven, S.; Crainiceanu, C.
Referenced in: 62 Publications (2012–2022)
Related Software: fda (R); R; SemiPar; gamair; mgcv; FDboost; …
Main Fields: Operator theory (47-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

MODFLOW

Software Authors:   usgs; Langevin, C.D., Guo, W.
Referenced in: 61 Publications (2001–2022)
Related Software: MODFLOW-2000; MT3DMS; GSLIB; PETSc; PMWIN; PFLOTRAN; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

Amos

Software Authors:   IBM
Referenced in: 44 Publications (1998–2022)
Related Software: LISREL; Mplus; SPSS; R; EQS; OpenMx; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

CAPUSHE

Software Authors:   Baudry, Jean-Patrick; Maugis, Cathy; Michel, Bertrand
Referenced in: 62 Publications (2011–2022)
Related Software: R; mclust; ElemStatLearn; wbs; clusfind; PRMLT; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

CalcHEP

Software Authors:   Alexander Pukhov, Alexander Belyaev, Neil Christensen
Referenced in: 55 Publications (2006–2022)
Related Software: FeynRules; micrOMEGAs; MadGraph; CompHep; FeynArts; WHIZARD; …
Main Fields: Partial differential equations (35-XX); Classical thermodynamics, heat transfer (80-XX); Quantum theory (81-XX)

MINION

Software Authors:   Jefferson, C., Kotthoff, L., Moore, N., Nightingale, P., Petrie, K.E., Rendl, A.
Referenced in: 51 Publications (2005–2022)
Related Software: GAP; OEIS; Gecode; Chaff; CSPLib; Choco; …
Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Group theory and generalizations (20-XX)

KronFit

Software Authors:   Leskovec, Jure; Chakrabarti, Deepayan; Kleinberg, Jon; Faloutsos, Christos; Ghahramani, Zoubin
Referenced in: 47 Publications (2010–2022)
Related Software: SNAP; PRMLT; plfit; ANF; WEKA; HysterSoft; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

MicrOMEGAs 2.0

Software Authors:   G. Bélanger, F. Boudjema, A. Pukhov, A. Semenov
Referenced in: 47 Publications (2007–2022)
Related Software: micrOMEGAs; SOFTSUSY; Spheno; CalcHEP; NMHDECAY; SuSpect; …
Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX)

Stem

Software Authors:   Michela Cameletti
Referenced in: 44 Publications (2013–2022)
Related Software: R; R-INLA; spBayes; GMRFLib; INLA; Gstat; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

FeynHiggs

Software Authors:   T. Hahn, S. Heinemeyer, W. Hollik, H. Rzehak, G. Weiglein
Referenced in: 44 Publications (2000–2022)
Related Software: FeynArts; SOFTSUSY; FormCalc; Spheno; SuSpect; micrOMEGAs; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

HDECAY

Software Authors:   A. Djouadi, J. Kalinowski, M. Spira
Referenced in: 42 Publications (1998–2021)
Related Software: SOFTSUSY; NMHDECAY; micrOMEGAs; SuSpect; NMSSMTools; HIGLU; …
Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Quantum theory (81-XX)

bc-prod

Software Authors:   Belvaux, Gaetan; Wolsey, Laurence A.
Referenced in: 44 Publications (2000–2022)
Related Software: CPLEX; XPRESS; MULTILSB; FEASPUMP; PORTA; Mosel; …
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

GHC

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

Herwig++

Software Authors:   Manuel Bähr, Stefan Gieseke, Martyn A. Gigg, David Grellscheid, Keith Hamilton, Oluseyi Latunde-Dada, Simon Plätzer, Peter Richardson, Michael H. Seymour, Alexander Sherstnev, Bryan R. Webber
Referenced in: 42 Publications (2010–2021)
Related Software: PYTHIA8; SHERPA; HERWIG 5.1; MadGraph; MC@NLO; POWHEG BOX; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX)

Pregel

Software Authors:   Malewicz, G., Austern, M.H., Bik, A.J., Dehnert, J.C., Horn, I., Leiser, N., Czajkowski, G.
Referenced in: 38 Publications (2010–2022)
Related Software: GraphLab; MapReduce; Hadoop; Giraph; PowerGraph; GraphX; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

MonoSLAM

Software Authors:   A. J. Davison, I. D. Reid, N. D. Molton, O. Stasse
Referenced in: 31 Publications (2008–2022)
Related Software: SIFT; FastSLAM; SURF; ORB-SLAM2; SBA; ORB-SLAM; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

FAST

Software Authors:   Bardin, S., Leroux, J., Finkel, A., Petrucci, L.
Referenced in: 39 Publications (2005–2022)
Related Software: TREX; LASH; Aspic; ASTREE; HyTech; PPL; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

PNML

Software Authors:   Hillah, L.M.; Kordon, F.; Petrucci, L.; Trèves, N.
Referenced in: 27 Publications (1992–2021)
Related Software: Woflan; YAWL; TRANSPATH; SPIN; FAST; SNOOPY; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

SatAbs

Software Authors:   Clarke, E., Kroning, D., Sharygina, N., Yorav, K.
Referenced in: 35 Publications (2005–2021)
Related Software: BLAST; SLAM; CPAchecker; SPIN; Bebop; CBMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SSS

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

sandwich

Software Authors:   Achim Zeileis, Thomas Lumley, Nathaniel Graham, Susanne Koell
Referenced in: 20 Publications (2008–2022)
Related Software: R; lmtest; plm; MASS (R); nlme; strucchange; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Mosel

Software Authors:   Fair Isaac Corporation; Colombani Y., Heipcke S.
Referenced in: 37 Publications (2003–2021)
Related Software: XPRESS; AMPL; SCIP; GAMS; AIMMS; LINDO; …
Main Fields: General and overarching topics; collections (00-XX); Order, lattices, ordered algebraic structures (06-XX); Numerical analysis (65-XX)

SMOTEBoost

Software Authors:   Barnan Das; Nitesh V. Chawla, Aleksandar Lazarevic, Lawrence O. Hall, Kevin W. Bowyer
Referenced in: 28 Publications (2004–2022)
Related Software: SMOTE; UCI-ml; JStatCom; AdaCost; MWMOTE; KEEL; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

BLINPLUS

Software Authors:   Roger Logan; Donna Spiegelman
Referenced in: 33 Publications (1992–2022)
Related Software: relibpls8; SAS; Stata; R; bootstrap; goodwin.f77; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

ConfBands

Software Authors:   Krivobokova, Tatyana; Kneib, Thomas; Claeskens, Gerda
Referenced in: 34 Publications (2009–2022)
Related Software: SemiPar; gamair; GAMLSS; R; fda (R); BayesX; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

mvBACON

Software Authors:   Billor, N., Hadi, A. S., Velleman, P. F.
Referenced in: 31 Publications (2000–2021)
Related Software: R; robustbase; ROBPCA; ggplot2; rrcov; FSDA; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

ordinal

Software Authors:   Rune Haubo Bojesen Christensen
Referenced in: 22 Publications (2013–2022)
Related Software: R; VGAM; lme4; rms; nnet; catdata; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Antichains

Software Authors:   De Wulf M, Doyen L, Henzinger TA, Raskin JF
Referenced in: 33 Publications (2006–2021)
Related Software: HIP; MONA; SPIN; LTL2BA; FAST; Slide; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

brms

Software Authors:   Paul-Christian Bürkner
Referenced in: 13 Publications (2019–2021)
Related Software: R; Stan; JAGS; rstanarm; lme4; loo; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

MESS

Software Authors:   Saak, J., Mena, H., Benner, P.
Referenced in: 32 Publications (2012–2022)
Related Software: Matlab; RADI; MORLAB; LYAPACK; Loewner; Algorithm 432; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

dSPIN

Software Authors:   Demartini, C., Iosif, R., Sisto, R.
Referenced in: 22 Publications (2000–2014)
Related Software: SPIN; Bandera; Java PathFinder; veriSoft; Bogor; Bebop; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

SINDy

Software Authors:   Loiseau, Jean-Christophe; Brunton, Steven L.
Referenced in: 31 Publications (2017–2022)
Related Software: redbKIT; Nek5000; PDE-Net; VAMPnets; Adam; Loewner; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)

NLPLIB

Software Authors:   Holmström, Kenneth; Björkman, Mattias
Referenced in: 30 Publications (1999–2020)
Related Software: OPERA; TOMLAB; Matlab; EGO; SNOPT; UOBYQA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

STAR-CCM+

Software Authors:   CD-adapco; Pisaroni, M.; Sadi, R.; Lahaye, D.
Referenced in: 27 Publications (2008–2022)
Related Software: OpenFOAM; FLUENT; COMSOL; ANSYS; NumPy; SciPy; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

DeepFace

Software Authors:   Taigman Y, Yang M, Ranzato M, Wolf L.
Referenced in: 27 Publications (2015–2022)
Related Software: ImageNet; AlexNet; FaceNet; GNMT; darch; Adam; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

INTLIB

Software Authors:   Kearfott, R.B.; Dawande, M.; Hu, C.
Referenced in: 28 Publications (1992–2018)
Related Software: PROFIL/BIAS; INTLAB; C-XSC; INTBIS; Matlab; BLAS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Classical thermodynamics, heat transfer (80-XX)

ODESSA

Software Authors:   J. R. Leis and M. A. Kramer
Referenced in: 29 Publications (1988–2021)
Related Software: AUTO-86; CVODES; LSODE; AUTO; DASSL; SUNDIALS; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

TENSOLVE

Software Authors:   Bouaricha, Ali; Schnabel, Robert B.
Referenced in: 28 Publications (1993–2022)
Related Software: minpack; MINPACK-2; MPSalsa; Slatec; PITCON; LANCELOT; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Operator theory (47-XX); Numerical analysis (65-XX)

PIPER

Software Authors:   Chaki, Sagar; Rajamani, Sriram K.; Rehof, Jakob
Referenced in: 28 Publications (2002–2017)
Related Software: SLMC; Cyclone; PiDuce; Automath; TyPiCal; COWS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SAMURAI

Software Authors:   Mastrolia, P.; Ossola, G.; Reiter, T.; Tramontano, F.
Referenced in: 28 Publications (2010–2020)
Related Software: CutTools; BlackHat; HELAC-1LOOP; GoSam; Golem95; NGluon; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

Benchmarking

Software Authors:   Peter Bogetoft; Lars Otto
Referenced in: 26 Publications (2011–2021)
Related Software: sfa; R; frontier; DEA; maxLik; Maxlik; …
Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

BraMBLe

Software Authors:   Isard, M., MacCormick, J.
Referenced in: 6 Publications (2006–2014)
Related Software: Pfinder; AdaBoost.MH; OTCBVS; pyuvdata; i-LIDS; PittPatt; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Creol

Software Authors:   Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh
Referenced in: 25 Publications (2006–2022)
Related Software: Featherweight Java; ABCL; Maude; Multilisp; ABS; AmbientTalk; …
Main Fields: Computer science (68-XX)

GoSam

Software Authors:   G Cullen; N Greiner; G Heinrich; G Luisoni; P Mastrolia; G Ossola; T Reiter; F Tramontano
Referenced in: 27 Publications (2012–2020)
Related Software: CutTools; HELAC-1LOOP; BlackHat; SAMURAI; FeynArts; SHERPA; …
Main Fields: Topological groups, Lie groups (22-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)

LoLA

Software Authors:   Schmidt, Karsten; Wolf, K.
Referenced in: 25 Publications (2000–2021)
Related Software: Maria; SPIN; BPEL2PN; Meddly; Uppaal; Anteater; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

REAP

Software Authors:   Stefan Antusch, Joern Kersten, Manfred Lindner, Michael Ratz, Michael Andreas Schmidt
Referenced in: 27 Publications (2009–2020)
Related Software: SusyTC; Mathematica; GAP; SciPy; Spheno; SOFTSUSY; …
Main Fields: Quantum theory (81-XX); Relativity and gravitational theory (83-XX); Astronomy and astrophysics (85-XX)

gnm

Software Authors:   Heather Turner; David Firth
Referenced in: 19 Publications (2010–2022)
Related Software: R; Human Mortality; prefmod; BradleyTerry2; VGAM; StMoMo; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

E-LOTOS

Software Authors:   Clark, Robert; Moreira, Ana
Referenced in: 23 Publications (1998–2016)
Related Software: CADP; SPIN; LOTOS; CAESAR_SOLVE; Exp.Open; LNT2LOTOS; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Mcmt

Software Authors:   Ghilardi S, Ranise S
Referenced in: 23 Publications (2010–2022)
Related Software: SAFARI; Cubicle; z3; SMT-LIB; MathSAT5; CVC4; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PorePy

Software Authors:   E. Keilegavlen, A. Fumagalli, R. Berge, I. Stefansson, I. Berre
Referenced in: 23 Publications (2018–2022)
Related Software: Gmsh; FEniCS; DuMuX; Matlab; UMFPACK; MRST; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

PySP

Software Authors:   Watson, Jean-Paul; Woodruff, David L.; Hart, William E.
Referenced in: 23 Publications (2012–2022)
Related Software: Pyomo; CPLEX; Gurobi; DSP; AIMMS; AMPL; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

SuSpect

Software Authors:   Djouadi, Abdelhak; Kneur, Jean-Loïc; Moultaka, Gilbert
Referenced in: 22 Publications (2006–2018)
Related Software: SOFTSUSY; Spheno; micrOMEGAs; FeynHiggs; ISAJet; MicrOMEGAs 2.0; …
Main Fields: General and overarching topics; collections (00-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)

Bolsig

Software Authors:   LAPLACE; G.J.M. Hagelaar; L.C. Pitchford
Referenced in: 24 Publications (2008–2022)
Related Software: PIC-MCC; MOOD; Afivo; Gmsh; FreeFem++; UMFPACK; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

BuDDy

Software Authors:   Jorn Lind-Nielsen
Referenced in: 23 Publications (1999–2021)
Related Software: CUDD; Sylvan; GitHub; PDDL; ML; ADD-Lib; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

COSTA

Software Authors:   Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
Referenced in: 22 Publications (1992–2020)
Related Software: SPEED; AProVE; Refal; Featherweight Java; PPL; JCobox; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Partial differential equations (35-XX)

HiggsBounds

Software Authors:   P. Bechtle, O. Brein, S. Heinemeyer, G. Weiglein, K.E. Williams
Referenced in: 23 Publications (2010–2022)
Related Software: HiggsSignals; SARAH; Spheno; FeynArts; SOFTSUSY; PYTHIA8; …
Main Fields: General and overarching topics; collections (00-XX); Classical thermodynamics, heat transfer (80-XX); Quantum theory (81-XX)

HOL/SPIN

Software Authors:   Bhargavan, Karthikeyan; Gunter, Carl A.; Obradovic, Davor
Referenced in: 22 Publications (2000–2017)
Related Software: SPIN; Uppaal; AODV; LOTOS; Rodin; Timed Rebeca; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

MRST-AD

Software Authors:   Krogstad, S., Lie, K.-A., Møyner, O., Nilsen, H.M., Raynaud, X., Skaflestad, B
Referenced in: 24 Publications (2016–2022)
Related Software: MRST; Matlab; MRST-co2lab; DuMuX; IPARS; ISTL; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

MT3DMS

Software Authors:   Zheng, C., Wang, P.P.
Referenced in: 23 Publications (2005–2022)
Related Software: MODFLOW; MODFLOW-2000; HYTEC; HYDRUS; HYDROGEOCHEM; GSLIB; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

BacSim

Software Authors:   J. Kreft, G. Booth, J.W.T. Wimpenny
Referenced in: 21 Publications (2000–2021)
Related Software: AgentCell; iDynoR; MatPack; FreeFem++; AceFEM; AQUASIM; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

BradleyTerry2

Software Authors:   Heather Turner, David Firth
Referenced in: 14 Publications (2012–2022)
Related Software: R; prefmod; gnm; BTLLasso; VGAM; gvcm.cat; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Glow

Software Authors:   Diederik P. Kingma, Prafulla Dhariwal
Referenced in: 20 Publications (2019–2022)
Related Software: NICE; Adam; torchdiffeq; Wasserstein GAN; FFJORD; PyTorch; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

goodwin.f77

Software Authors:   Crouch EAC, Spiegelman D.
Referenced in: 22 Publications (1990–2019)
Related Software: R; relibpls8; BLINPLUS; SAS; glmmAK; Multsurr; …
Main Fields: Special functions (33-XX); Statistics (62-XX); Numerical analysis (65-XX)

HyperLogLog

Software Authors:   Flajolet, P.; Fusy, E.; Gandouet, O.; Meunier, F.
Referenced in: 21 Publications (2007–2021)
Related Software: ANF; FLANN; GitHub; ADADELTA; creme; River; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

LTSmin

Software Authors:   Alfons Laarman; Jaco van de Pol; Michael Weber; Stefan Blom
Referenced in: 19 Publications (2011–2022)
Related Software: SPIN; DiVinE; Uppaal; NuSMV; CADP; mCRL2; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MadFKS

Software Authors:   Rikkert Frederix, Stefano Frixione, Fabio Maltoni, Tim Stelzer
Referenced in: 21 Publications (2010–2021)
Related Software: CutTools; MadGraph; AutoDipole; BlackHat; MC@NLO; POWHEG BOX; …
Main Fields: Numerical analysis (65-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)

Quantor

Software Authors:   Biere, Armin
Referenced in: 22 Publications (2005–2017)
Related Software: sKizzo; QUBOS; Bloqqer; DepQBF; MiniSat; QUBE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Formula

Software Authors:   Achim Zeileis, Yves Croissant
Referenced in: 3 Publications (2016–2019)
Related Software: R; GAMLSS; ggplot2; betareg; Rcpp; JAGS; …
Main Fields: Statistics (62-XX)

SDECAY

Software Authors:   M. Muhlleitner, A. Djouadi, Y. Mambrini
Referenced in: 20 Publications (2007–2021)
Related Software: SOFTSUSY; PYTHIA8; PROSPINO; SuSpect; micrOMEGAs; MicrOMEGAs 2.0; …
Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Quantum theory (81-XX)

Supremica

Software Authors:   Knut Akesson; Martin Fabian; Hugo Flordal; Robi Malik
Referenced in: 21 Publications (2009–2022)
Related Software: UMDES; libFAUDES; TCT; QuickCheck; MersenneTwister; AutoProof; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

pi-MASS

Software Authors:   Guan, Yongtao; Stephens, Matthew
Referenced in: 20 Publications (2011–2022)
Related Software: EMVS; glmnet; PLINK; R; SSS; GCTA; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

TorX

Software Authors:   Bohnenkamp, Henrik; Belinfante, Axel
Referenced in: 16 Publications (2005–2021)
Related Software: JTorX; SpecExplorer; STG; CADP; Uppaal; Java PathFinder; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

CIXL2

Software Authors:   Ortiz-Boyer, D.; Hervás-Martínez, C.; García-Pedrajas, N.
Referenced in: 17 Publications (2005–2014)
Related Software: Genocop; ABC; LIBSVM; GSA; C4.5; UCI-ml; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

MCPSO

Software Authors:   Niu, Ben; Zhu, Yunlong; He, Xiaoxian; Wu, Henry
Referenced in: 18 Publications (2007–2022)
Related Software: WOA; CEC 05; PySwarms; POPMUSIC; SSA; ALO; …
Main Fields: Operator theory (47-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

RELION

Software Authors:   S. H. W. Scheres
Referenced in: 19 Publications (2015–2022)
Related Software: cryoSPARC; EMan; FREALIGN; CTFFIND; EMPIAR; Chimera; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

BPEL2PN

Software Authors:   Christian Stahl; Hinz; K. Schmidt
Referenced in: 13 Publications (2006–2014)
Related Software: WSAT; COWS; BPEL2oWFN; LoLA; SPIN; Woflan; …
Main Fields: Computer science (68-XX)

GXL

Software Authors:   Holt, Richard C.; Schürr, Andy; Sim, Susan Elliott; Winter, Andreas
Referenced in: 9 Publications (2002–2018)
Related Software: PROGRES; SPIN; GROOVE; VIATRA2; GrGen; AGG; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)