×

Found 969 Software Packages (Results 1–100)

LMI toolbox

Software Authors:   MathWorks; Gahinet, P.; Nemirovskii, A.; Laub, A.J.; Chilali, M.
Referenced in: 1,451 Publications (1995–2022)
Related Software: Matlab; Control System Toolbox; SeDuMi; YALMIP; Mu Analysis and Synthesis Toolbox; SDPT3; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Operations research, mathematical programming (90-XX)

MersenneTwister

Software Authors:   Matsumoto, Makoto; Nishimura, Takuji
Referenced in: 332 Publications (1998–2022)
Related Software: TestU01; R; Diehard; CUDA; GSL; TOMS659; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

redbKIT

Software Authors:   Quarteroni, Alfio; Manzoni, Andrea; Negri, Federico
Referenced in: 272 Publications (2014–2022)
Related Software: rbMIT; GitHub; Adam; FEniCS; Loewner; FreeFem++; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

Quicksort

Software Authors:   Hoare, C.A.R.; Sedgewick, R
Referenced in: 171 Publications (1962–2022)
Related Software: Find; Coq; Algorithm 347; heapsort; Knapsack; ML; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

chammp

Software Authors:   Williamson, David L.; Drake, John B.; Hack, James J.; Jakob, Rüdiger; Swarztrauber, Paul N.
Referenced in: 172 Publications (1992–2022)
Related Software: PETSc; Firedrake; NICAM; MPAS-Ocean; phipm; Algorithm 919; …
Main Fields: Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX)

SPARQL

Software Authors:   w3.org; Arenas, Marcelo; Pérez, Jorge
Referenced in: 86 Publications (2007–2022)
Related Software: Jena; XPath; LUBM; Pellet; DBpedia; nSPARQL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

MONA

Software Authors:   Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I.; Elgaard, J.
Referenced in: 132 Publications (1995–2022)
Related Software: DCVALID; z3; Isabelle/HOL; NuSMV; Uppaal; SIMPLIFY; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Wirtinger Flow

Software Authors:   Emmanuel Candes, Xiaodong Li, Mahdi Soltanolkotabi
Referenced in: 124 Publications (2015–2022)
Related Software: PhaseLift; PhaseMax; GESPAR; SparsePR; CVX; PhaseCut; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

PHAVer

Software Authors:   Frehse, Goran
Referenced 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)

wbs

Software Authors:   Fryzlewicz, Piotr
Referenced in: 97 Publications (2013–2022)
Related Software: R; FDRSeg; changepoint; CRAN; basta; ecp; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

OpenBUGS

Software Authors:   Andrew Thomas
Referenced in: 73 Publications (2007–2022)
Related Software: R; WinBUGS; JAGS; BUGS; CODA; Stan; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

SLICOT

Software Authors:   Benner, Peter; Mehrmann, Volker; Sima, Vasile; Van Huffel, Sabine; Varga, Andras
Referenced in: 84 Publications (1999–2022)
Related Software: LAPACK; Matlab; mctoolbox; ScaLAPACK; ARPACK; BLAS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Grain

Software Authors:   Hell, M., Johansson, T., Meier, W.
Referenced in: 74 Publications (2009–2022)
Related Software: Trivium; eSTREAM; MICKEY; KTANTAN; KATAN; PRESENT; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Dynamical systems and ergodic theory (37-XX)

ROCK

Software Authors:   Guha, S.; Rastogi, R.; Shim, K.
Referenced in: 40 Publications (2002–2021)
Related Software: clusfind; UCI-ml; COOLCAT; LOF; ElemStatLearn; COSA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

AutoClass

Software Authors:   John Stutz; Peter Cheeseman
Referenced 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)

OSCAR

Software Authors:   Bondell, Howard D.; Reich, Brian J.
Referenced in: 57 Publications (2008–2022)
Related Software: glmnet; R; ElemStatLearn; glasso; covTest; blasso; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

WENO

Software Authors:   Carrillo, José A.; Gamba, Irene M.; Majorana, Armando; Shu, Chi-Wang
Referenced 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)

QUALEX

Software Authors:   Busygin, Stanislav
Referenced in: 50 Publications (2002–2020)
Related Software: DIMACS; Max-AO; Tabu search; BHOSLIB; GQTPAR; MaxCliqueDyn; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

SAMRAI

Software Authors:   Hornung, Richard D.; Kohn, Scott R.
Referenced in: 45 Publications (2002–2022)
Related Software: PETSc; hypre; Chombo; PARAMESH; p4est; BoxLib; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

NESUN

Software Authors:   Nesterov, Yu
Referenced in: 50 Publications (2015–2022)
Related Software: LIBSVM; TFOCS; ElemStatLearn; UNLocBoX; BRENT; Saga; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX)

JBoss

Software Authors:   Red Hat Inc.
Referenced in: 21 Publications (2004–2016)
Related Software: Drools; AspectJ; WebSphere; JAsCo; SAVARA; Scribble; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

KeYmaera

Software Authors:   Platzer, André; Quesel, Jan-David
Referenced in: 47 Publications (2008–2022)
Related Software: SpaceEx; HyTech; KeYmaera X; PHAVer; Isabelle/HOL; Flow*; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX)

PolyBoRi

Software Authors:   Alexander Dreyer; Michael Brickenstein
Referenced in: 48 Publications (2008–2021)
Related Software: SINGULAR; Magma; FGb; SageMath; CUDD; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX)

FRGC

Software Authors:   NIST
Referenced in: 36 Publications (2006–2015)
Related Software: FERET; AR face; CMU PIE; Multi-PIE; KPCA plus LDA; Yale Face; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

p1afem

Software Authors:   Funken, Stefan; Praetorius, Dirk; Wissgott, Philipp
Referenced in: 44 Publications (2011–2022)
Related Software: Matlab; na14; iFEM; GitHub; AFEM@matlab; mfem; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-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)

ARACNE

Software Authors:   A. A. Margolin, I. Nemenman, K. Basso, C. Wiggins, G. Stolovitzky, R. D. Favera, A. Califano
Referenced in: 34 Publications (2009–2022)
Related Software: minet; KEGG; glasso; SynTReN; GeneNetWeaver; R; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

BADMM

Software Authors:   Huahua Wang, Arindam Banerjee
Referenced in: 38 Publications (2015–2022)
Related Software: Gurobi; iPiano; RecPF; EMD; Yall1; Saga; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

POMDPS

Software Authors:   Ross, S.; Pineau, J.; Paquet, S.; Chaib-Draa, B.
Referenced in: 38 Publications (1998–2022)
Related Software: DESPOT; EGO; PRMLT; Clingo; Anglican; ProbLog; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

MEGAFLOW

Software Authors:   Rudnik, R.
Referenced in: 37 Publications (2000–2017)
Related Software: TAU; FLOWer; Spalart-Allmaras; ADOL-C; AMANDA; subplex; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

MixSim

Software Authors:   V.Melnykov; W.-C.Chen; R.Maitra
Referenced in: 33 Publications (2010–2022)
Related Software: mclust; R; AS 136; UCI-ml; CARP; clusfind; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

DLV

Software Authors:   Grasso, Giovanni; Iiritano, Salvatore; Leone, Nicola; Ricca, Francesco
Referenced in: 29 Publications (2001–2021)
Related Software: WASP; Gringo; Cmodels; Datalog; ASSAT; clasp; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Multilisp

Software Authors:   Halstead, Robert H.jun.
Referenced in: 29 Publications (1985–2019)
Related Software: Creol; Eiffel; Maude; ABS; Featherweight Java; AmbientTalk; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-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)

incompact3d

Software Authors:   Laizet, Sylvain; Li, Ning
Referenced in: 30 Publications (2009–2021)
Related Software: 2DECOMP; Xcompact3d; FFTW; Spalart-Allmaras; Fluid flow phenomena; WInc3D; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

DSDP5

Software Authors:   Steven J. Benson; Yinyu Ye
Referenced in: 29 Publications (2004–2022)
Related Software: SDPT3; SeDuMi; SDPA; CSDP; YALMIP; CVXOPT; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

FARSITE

Software Authors:   Finney MA; U.S. Department of Agriculture, Forest Service, Rocky Mountain Research Station
Referenced in: 24 Publications (2008–2022)
Related Software: FlamMap; Multivac; Prometheus; WRF-SFIRE; G-LiHT; spNNGP; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

Fastcap

Software Authors:   Nabors, K.; White, J.
Referenced in: 27 Publications (1993–2021)
Related Software: FFTW; Fasthenry; FFTSVD; BLAS; DLMF; VMD; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

FracSym

Software Authors:   Jefferson, G.F.; Carminati, J.
Referenced in: 30 Publications (2014–2021)
Related Software: DESOLVII; Maple; ASP; Matlab; SYMMGRP; Python; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

na13

Software Authors:   Lucet, Yves
Referenced in: 30 Publications (1997–2021)
Related Software: na24; SCAT; fenchel; Scilab; Matlab; CCA; …
Main Fields: Real functions (26-XX); Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX)

STRIPACK

Software Authors:   Renka, Robert J.
Referenced in: 29 Publications (1997–2021)
Related Software: SSRFPACK; CGAL; chammp; TRIPACK; libratss; libdts2; …
Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

GADMM

Software Authors:   Fang, Ethan X.; He, Bingsheng; Liu, Han; Yuan, Xiaoming
Referenced in: 29 Publications (2015–2022)
Related Software: UNLocBoX; PDCO; UCI-ml; RecPF; BADMM; iPiano; …
Main Fields: Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX)

PYTHIA

Software Authors:   Houstis, Elias N.; Catlin, Ann C.; Rice, John R.; Verykios, Vassilios S.; Ramakrishnan, Naren; Houstis, Catherine E., Weerawarana, Sanjiva; Houstis, Elias N.; Rice, John R.; Joshi, Anupam; Houstis, Catherine E.
Referenced in: 28 Publications (1996–2018)
Related Software: PELLPACK; GAUSS; PYTHIA8; LAPACK; ODEXPERT; ELLPACK; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

Blossom V

Software Authors:   Kolmogorov, Vladimir
Referenced in: 27 Publications (1999–2020)
Related Software: Blossom IV; TSPLIB; LEDA; Triangle; Concorde; DIMACS; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Quantum theory (81-XX)

FFLAS-FFPACK

Software Authors:   Dumas, Jean-Guillaume; Giorgi, Pascal; Pernet, Clément
Referenced in: 25 Publications (2004–2022)
Related Software: NTL; LinBox; Macaulay2; Magma; LAPACK; gmp; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX)

Flagmatic

Software Authors:   Falgas-Ravry, Victor; Vaughan, Emil R.
Referenced in: 27 Publications (2013–2022)
Related Software: CSDP; SageMath; SDPA; GitHub; Quartets MaxCut
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Geometry (51-XX)

ProbView

Software Authors:   Lakshmanan, V.S., Leone, N., Ross, R. and Subrahmanian, V.S.
Referenced in: 11 Publications (2005–2018)
Related Software: ProTDB; MYSTIQ; PSQL; clusfind; flanagan; LingPipe; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

SCHUR

Software Authors:   Brian G. Wybourne
Referenced in: 27 Publications (1994–2019)
Related Software: Mathematica; MathTensor; Hetero; PHYLIP; ape; R; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Group theory and generalizations (20-XX)

URDME

Software Authors:   Drawert, B., Engblom, S.,Hellander, A.
Referenced in: 24 Publications (2009–2022)
Related Software: MesoRD; STEPS; Smoldyn; ReaDDy; Wavos; PySB; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

BL data set

Software Authors:   Philippe Baptiste, Claude Le Pape
Referenced in: 26 Publications (2000–2021)
Related Software: PSPLIB; CHIP; CLAIRE; MiniSat; Gecode; Zinc; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

DELORES

Software Authors:   Michael Maher; Tristan Miller
Referenced in: 20 Publications (2000–2020)
Related Software: DR-Prolog; DLV2; WebPIE; LegalRuleML; swrl; Potassco; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MOLGEN

Software Authors:   Grund, R.; Kerber, A.; Laue, R.
Referenced in: 26 Publications (1992–2019)
Related Software: nauty; GAP; DRAGON; ISOMERS; Maple; snarkhunter; …
Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Convex and discrete geometry (52-XX)

XPINNs

Software Authors:   Zheyuan Hu, Ameya D. Jagtap, George Em Karniadakis, Kenji Kawaguchi
Referenced in: 26 Publications (2020–2022)
Related Software: Adam; TensorFlow; DiffSharp; PyTorch; FPINNs; PINNsNTK; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Möbius

Software Authors:   William H. Sanders
Referenced in: 19 Publications (2001–2021)
Related Software: SMART_; PEPA; SHARPE; PRISM; GreatSPN 1.7; SPNP; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

MOPS

Software Authors:   Dumitriu, Ioana; Edelman, Alan; Shuman, Gene
Referenced in: 25 Publications (2006–2022)
Related Software: OPQ; SRJAC; dCATCH; Polygint; Matlab; Manopt; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Special functions (33-XX)

DeWall

Software Authors:   Cignoni, P.; Montani, C.; Scopigno, R.
Referenced in: 21 Publications (1998–2020)
Related Software: CGAL; Triangle; 2D triangulations; Qhull; DELAUNAYSPARSE; QNSTOP; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

GroupKit

Software Authors:   Roseman M.; Greenberg S.
Referenced in: 2 Publications (2003–2009)
Related Software: DECAF; PlanEdit; KLAIM; MarCaSPiS; COWS; SAS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MICKEY

Software Authors:   Babbage, S., Dodd, M.
Referenced in: 23 Publications (2008–2021)
Related Software: Grain; eSTREAM; Trivium; PRESENT; Rabbit; KATAN; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX); Computer science (68-XX)

PITA

Software Authors:   Riguzzi, Fabrizio; Swift, Terrance
Referenced in: 24 Publications (2010–2022)
Related Software: ProbLog; CP-logic; PRISM; MCINTYRE; XSB; Church; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

SLRA

Software Authors:   Usevich, Konstantin; Markovsky, Ivan
Referenced in: 23 Publications (2012–2021)
Related Software: GPGCD; Daisy; MultRoot; TSDL; IDENT; GSL; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

EVENODD

Software Authors:   Blaum, Mario; Brady, Jim; Bruck, Jehoshua; Menon, Jai
Referenced in: 21 Publications (1995–2022)
Related Software: Jerasure; Hadoop; Dynamo; PHiPAC; mctoolbox; FFTW; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

VISSIM

Software Authors:   PTV Planung Transport Verkehr AG
Referenced in: 21 Publications (2005–2022)
Related Software: Matlab; Z-Tree; Sobol; bootstrap; SSAM; FactoClass; …
Main Fields: Statistics (62-XX); Statistical mechanics, structure of matter (82-XX); Operations research, mathematical programming (90-XX)

MASON

Software Authors:   Luke S., Cioffi-Revilla C., Panait L., Sullivan K., Balan G.
Referenced in: 13 Publications (2009–2021)
Related Software: Repast Suite; NetLogo; Mesa; Julia; Py2NetLogo; Py4J; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Quantomatic

Software Authors:   Kissinger, Aleks
Referenced in: 22 Publications (2009–2022)
Related Software: PyZX; pytket; Jupyter; Matplotlib; NumPy; DisCoPy; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)

Cityscapes

Software Authors:   Marius Cordts, Mohamed Omran, Sebastian Ramos, Timo Rehfeld, Markus Enzweiler, Rodrigo Benenson, Uwe Franke, Stefan Roth, Bernt Schiele
Referenced in: 16 Publications (2018–2022)
Related Software: MS-COCO; KITTI; DeepLab; ImageNet; U-Net; SYNTHIA Dataset; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

CrunchFlow

Software Authors:   Carl Steefel
Referenced in: 21 Publications (2015–2022)
Related Software: HYDROGEOCHEM; PhreeqcRM; PHREEQC; PFLOTRAN; TOUGHREACT; MoMaS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

FDRSeg

Software Authors:   Li, Housen; Munk, Axel; Sieling, Hannes
Referenced in: 16 Publications (2016–2022)
Related Software: wbs; R; stepR; changepoint; CRAN; breakfast; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

FEMPAR

Software Authors:   Santiago Badia, Alberto F. Martín, Javier Principe
Referenced in: 17 Publications (2018–2021)
Related Software: PETSc; CutFEM; p4est; FEniCS; deal.ii; Dune-UDG; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

GPyTorch

Software Authors:   Jacob R. Gardner, Geoff Pleiss, David Bindel, Kilian Q. Weinberger, Andrew Gordon Wilson
Referenced in: 16 Publications (2019–2022)
Related Software: PyTorch; TensorFlow; GPflow; Adam; PILCO; JAX; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

HPStream

Software Authors:   Aggarwal C, Han J, Wang J, Yu P
Referenced in: 7 Publications (2007–2017)
Related Software: UCI-ml; clusfind; LCM; GraphScope; ROCK; TelegraphCQ; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

NAMD2

Software Authors:   Kale, Laxmikant; Skeel, Robert; Bhandarkar, Milind; Brunner, Robert; Gursoy, Attila; Krawetz, Neal; Phillips, James; Shinozaki, Aritomo; Varadarajan, Krishnan; Schulten, Klaus
Referenced in: 17 Publications (1998–2016)
Related Software: CHARMM; Gromacs; VMD; NAMD; AMBER; Globus Toolkit; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

PetRBF

Software Authors:   R. Yokota, L. Barba, M. G. Knepley
Referenced in: 20 Publications (2010–2021)
Related Software: Matlab; H2Lib; PETSc; Trilinos; ASKIT; CUDA; …
Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

TAU

Software Authors:   S. Shende; A. D. Malony
Referenced in: 12 Publications (2007–2021)
Related Software: PETSc; HPCTOOLKIT; Scalasca; ScaLAPACK; LAPACK; hypre; …
Main Fields: Integral transforms, operational calculus (44-XX); Numerical analysis (65-XX); Computer science (68-XX)

TMSmesh

Software Authors:   Chen M., Lu B.
Referenced in: 21 Publications (2013–2020)
Related Software: APBS; MIBPB; tabipb; TABI; TetGen; AFMPB; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Zchaff2004

Software Authors:   Mahajan, Yogesh S.; Fu, Zhaohui; Malik, Sharad
Referenced in: 16 Publications (2005–2016)
Related Software: MiniSat; Chaff; BerkMin; zChaff; SMT-LIB; SATzilla; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Convex and discrete geometry (52-XX)

FaCSI

Software Authors:   Simone Deparis, Davide Forti, Gwenol Grandperrin, Alfio Quarteroni
Referenced in: 20 Publications (2016–2022)
Related Software: Trilinos; MUMPS; ParMETIS; FROSch; IFPACK; Gmsh; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

mCrypton

Software Authors:   Plos, Thomas; Dobraunig, Christoph; Hofinger, Markus; Oprisnik, Alexander; Wiesmeier, Christoph; Wiesmeier, Johannes
Referenced in: 19 Publications (2008–2021)
Related Software: PRESENT; HIGHT; KTANTAN; KATAN; CLEFIA; Piccolo; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Oberon

Software Authors:   Wirth, N.
Referenced in: 18 Publications (1988–2007)
Related Software: Modula; CHARM++; REXX; Visual Basic; COBOL; Maple; …
Main Fields: Computer science (68-XX)

ObservabilityTest

Software Authors:   Sedoglavic, Alexandre
Referenced in: 20 Publications (2001–2020)
Related Software: DAISY; Maple; GenSSI; SIAN; COMBOS; BLAD; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

Ligero

Software Authors:   Ames, S., Hazay, C., Ishai, Y., Venkitasubramaniam, M.
Referenced in: 19 Publications (2018–2022)
Related Software: ZKBoo; libiop; Libra; SNARKs for C; Marlin; Pinocchio; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

NiVER

Software Authors:   Subbarayan, Sathiamoorthy; Pradhan, Dhiraj K.
Referenced in: 19 Publications (2005–2021)
Related Software: MiniSat; Chaff; Quantor; PicoSAT; z3; UBCSAT; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

PANG

Software Authors:   Gander, Martin J.; Japhet, Caroline
Referenced in: 18 Publications (2009–2022)
Related Software: FEniCS; DUNE; CutFEM; Gmsh; PETSc; FreeFem++; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

SCR

Software Authors:   Bourguiba, Imen; Moa, Belaid
Referenced in: 10 Publications (2000–2018)
Related Software: SPIN; NuSMV; Smodels; ASSAT; PVS; TorX; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

AVL

Software Authors:   AVL
Referenced in: 17 Publications (2001–2021)
Related Software: InterFOAM; FlowLab; OpenFOAM; HLLE; FIRE; FLUENT; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

LeZi-update

Software Authors:   Bhattacharya, Amiya; Das, Sajal K.
Referenced in: 13 Publications (2000–2010)
Related Software: SHARPE
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Rumba20

Software Authors:   Aumasson, Jean-Philippe; Fischer, Simon; Khazaei, Shahram; Meier, Willi; Rechberger, Christian
Referenced in: 18 Publications (2008–2022)
Related Software: ChaCha; eSTREAM; Salsa20; Trivium; SIMON; Saturnin; …
Main Fields: General and overarching topics; collections (00-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

ScalFMM

Software Authors:   Agullo, Emmanuel; Bramas,Bérenger; Coulaud, Olivier; Darve, Eric; Messner, Matthias; Takahashi, Toru
Referenced in: 17 Publications (2014–2022)
Related Software: pvfmm; Algorithm 967; ASKIT; exafmm; Thrust; GitHub; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

tree

Software Authors:   Brian Ripley
Referenced in: 15 Publications (2009–2020)
Related Software: R; randomForest; UCI-ml; C4.5; rpart; e1071; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Statistics (62-XX)

DARCLASS

Software Authors:   De Paepe, Willem E.; Lenstra, Jan Karel; Sgall, Jiri; Sitters, Ren'e A.; Stougie, Leen
Referenced in: 16 Publications (2001–2021)
Related Software: irace; jMetal; CP-nets
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

FacetNet

Software Authors:   Lin, Y.R., Chi, Y., Zhu, S., Sundaram, H., Tseng, B.L.
Referenced in: 13 Publications (2011–2020)
Related Software: GraphScope; Algorithm 457; GenLouvain; huge; DeepWalk; node2vec; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

GATK

Software Authors:   A. McKenna, M. Hanna, E. Banks et al.
Referenced in: 16 Publications (2012–2021)
Related Software: Samtools; Trimmomatic; R; BWA; STAR; Bowtie 2; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

HPCC

Software Authors:   Saini, Subhash; Ciotti, Robert; Gunney, Brian T.N.; Spelce, Thomas E.; Koniges, Alice; Dossa, Don; Adamidis, Panagiotis; Rabenseifner, Rolf; Tiyyagura, Sunil R.; Mueller, Matthias
Referenced in: 9 Publications (1999–2021)
Related Software: LINPACK; NAS Parallel Benchmarks; STREAM; SparseMatrix; Matrix Depot; zeroin; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

iPhos-PseEvo

Software Authors:   Qiu, W.R.; Sun, B.Q.; Xiao, X.
Referenced in: 17 Publications (2016–2019)
Related Software: iRNAm5C-PseDNC; pLoc-mEuk; Pse-in-One; 2L-piRNA; iRSpot-EL; iRNA-PseColl; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

KIOPS

Software Authors:   Gaudreault, Stéphane; Rainwater, Greg; Tokman, Mayya
Referenced in: 17 Publications (2018–2022)
Related Software: phipm; Algorithm 919; Expokit; mftoolbox; Expint; GitHub; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Metropolis

Software Authors:   Balarin F, Watanabe Y, Hsieh H, Lavagno L, Passerone C, Sangiovanni-Vincentelli A
Referenced in: 7 Publications (2006–2018)
Related Software: Ptolemy; Reo; SPIN; Esterel; Uppaal; Kronos; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

SolitaryGravityWave

Software Authors:   Clamond, Didier; Dutykh, Denys
Referenced in: 17 Publications (2013–2022)
Related Software: Matlab; advanpix; SSGW
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

CFX-5

Software Authors:   Wüchner, Roland; Kupzok, Alexander; Bletzinger, Kai-Uwe
Referenced in: 16 Publications (2005–2016)
Related Software: CARAT; ANSYS; FLUENT; FLANN; SUMO; revolve; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

CPT

Software Authors:   Sean Mauch
Referenced in: 15 Publications (2001–2019)
Related Software: HE-E1GODF; SPARSKIT; DiFi; Stanford 3D Scanning Repository; CUDA; QSHEP3D; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

FastDTW

Software Authors:   S. Salvador, P. Chan
Referenced in: 9 Publications (2011–2021)
Related Software: GDAL; OpenCV; Python; dtw; LIBSVM; scikit-image; …
Main Fields: General and overarching topics; collections (00-XX); Differential geometry (53-XX); Statistics (62-XX)

HODMD

Software Authors:   Soledad Le Clainche; José M. Vega
Referenced in: 15 Publications (2018–2022)
Related Software: redbKIT; GitHub; Loewner; VAMPnets; PDE-Net; rsvd; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)