×

Found 495 Software Packages (Results 1–100)

LAPACK

Software Authors:   LAPACK team: lapack@cs.utk.edu
Referenced in: 1,648 Publications (1988–2022)
Related Software: BLAS; ScaLAPACK; Matlab; mctoolbox; LINPACK; ARPACK; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

PETSc

Software Authors:   S. Balay, W.D. Gropp, L.C. McInnes, B.F. Smith
Referenced in: 1,589 Publications (1996–2023)
Related Software: FEniCS; MUMPS; hypre; SLEPc; Trilinos; Gmsh; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

ANSYS

Software Authors:   John Swanson, Ansys Inc.
Referenced in: 693 Publications (1978–2022)
Related Software: ABAQUS; Matlab; FLUENT; ANSYS-CFX; NASTRAN; APDL; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

KELLEY

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

Rcpp

Software Authors:   Dirk Eddelbuettel; Romain Francois; JJ Allaire; John Chambers; Douglas Bates; Kevin Ushey
Referenced in: 128 Publications (2013–2022)
Related Software: R; RcppArmadillo; ggplot2; CRAN; CODA; Armadillo; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

CESAR

Software Authors:   Queille, J.P.; Sifakis, J.
Referenced in: 149 Publications (1982–2021)
Related Software: SPIN; SLAM; Uppaal; NuSMV; Bandera; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Bandera

Software Authors:   Hatcliff, John; Dwyer, Matthew
Referenced in: 104 Publications (2000–2018)
Related Software: SPIN; Java PathFinder; veriSoft; SLAM; Bebop; dSPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

HOMPACK

Software Authors:   Watson, Layne T.; Billups, Stephen C.; Morgan, Alexander P.
Referenced in: 121 Publications (1987–2020)
Related Software: PITCON; HOMPACK90; minpack; Matlab; PHCpack; Bertini; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Operations research, mathematical programming (90-XX)

CHOLMOD

Software Authors:   Chen, Y., Davis, T.A., Hager, W.W., Rajamanickam, S
Referenced in: 105 Publications (2008–2022)
Related Software: UMFPACK; SparseMatrix; LAPACK; CSparse; AMD; SuperLU; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

clasp

Software Authors:   Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
Referenced in: 96 Publications (2007–2021)
Related Software: Gringo; Clingo; WASP; MiniSat; ASSAT; iClingo; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

LIPSOL

Software Authors:   Zhang, Yin; Greg Sweriduk
Referenced in: 83 Publications (1997–2022)
Related Software: PCx; Matlab; Mosek; HOPDM; LOQO; McIPM; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Gecode

Software Authors:   Christian Schulte, KTH Royal Institute of Technology
Referenced in: 76 Publications (2007–2022)
Related Software: MiniZinc; CPLEX; Choco; COMET; SCIP; CSPLib; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

channelflow

Software Authors:   J. F. Gibson
Referenced in: 79 Publications (2008–2022)
Related Software: FFTW; Matlab; Openpipeflow; AUTO-07P; AUTO; LAPACK; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

CasADi

Software Authors:   Andersson, Joel; Åkesson, Johan; Diehl, Moritz
Referenced in: 66 Publications (2012–2022)
Related Software: Ipopt; ACADO; Matlab; qpOASES; SUNDIALS; ADOL-C; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

AETG

Software Authors:   Cohen, D. M.; Dalal, S. R.; Fredman, M. L.; Patton, G. C.
Referenced in: 64 Publications (1998–2022)
Related Software: CAgen; ACTS; Tabu search; PinPoint; MaxCliqueDyn; Modelica; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Intel TBB

Software Authors:   Intel
Referenced in: 58 Publications (2008–2022)
Related Software: Cilk; Trilinos; PETSc; CUDA; p4est; deal.ii; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Apache Spark

Software Authors:   apache.org
Referenced in: 61 Publications (2015–2022)
Related Software: MLlib; Hadoop; MapReduce; UCI-ml; GitHub; Scikit; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Algorithm 679

Software Authors:   J. J. Dongarra, J. Du Croz, I. S. Duff, S. Hammarling
Referenced in: 62 Publications (1990–2021)
Related Software: BLAS; LAPACK; ScaLAPACK; LINPACK; EISPACK; GEMM; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

FronTier

Software Authors:   J. Du, B. Fix, J. Glimm, X. Jia, X. Li, Y. Li, L. Wu
Referenced in: 54 Publications (2005–2022)
Related Software: FIVER; Gerris; OpenFOAM; Matlab; El-Topo; Gmsh; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

CHomP

Software Authors:   http://chomp.rutgers.edu/People.html
Referenced 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)

CUSPARSE

Software Authors:   NVIDIA
Referenced in: 47 Publications (2012–2022)
Related Software: CUDA; CUBLAS; SparseMatrix; CUSP; MKL; PETSc; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

PHiPAC

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

ToolboxLS

Software Authors:   Ian Mitchell
Referenced in: 52 Publications (2005–2022)
Related Software: top.m; Ellipsoidal Toolbox; Multivac; helperOC; ROC-HJ; MPT; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

BILUM

Software Authors:   Saad, Yousef; Zhang, Jun
Referenced in: 50 Publications (1998–2021)
Related Software: ILUM; BILUTM; ILUT; SparseMatrix; ARMS; symrcm; …
Main Fields: History and biography (01-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

HLM

Software Authors:   SSI, Scientific Software International, Inc.,
Referenced in: 22 Publications (2002–2016)
Related Software: MLwiN; R; Stata; WinBUGS; SPSS; Mplus; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

KLEE

Software Authors:   Cristian Cadar, Daniel Dunbar, Dawson Engler
Referenced in: 37 Publications (2010–2021)
Related Software: z3; DART; CUTE; CPAchecker; STP; CBMC; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

affy

Software Authors:   Rafael A. Irizarry; Laurent Gautier, Leslie Cope; Ben Bolstad
Referenced in: 24 Publications (2004–2021)
Related Software: Bioconductor; R; gcrma; affyPLM; ArrayExpress; ElemStatLearn; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Clingcon

Software Authors:   Martin Gebser; Max Ostrowski; Torsten Schaub
Referenced in: 39 Publications (2009–2022)
Related Software: Clingo; clasp; Gringo; WASP; ezcsp; Potassco; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

CIL

Software Authors:   Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.
Referenced in: 30 Publications (2002–2022)
Related Software: BLAST; CBMC; SLAM; CUTE; veriSoft; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

SG

Software Authors:   Holst, M.J.
Referenced in: 38 Publications (2001–2022)
Related Software: APBS; FreeFem++; CHARMM; DelPhi; PDB2PQR; MIBPB; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

Algorithm 731

Software Authors:   J. G. Blom; P. A. Zegeling
Referenced in: 37 Publications (1994–2019)
Related Software: CWRESX; CWRESU; DASSL; EPDCOL; MOVCOL; PDECOL; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

CWRESU

Software Authors:   Blom, J.G.; Zegeling, P.A.
Referenced in: 37 Publications (1994–2019)
Related Software: CWRESX; Algorithm 731; DASSL; EPDCOL; MOVCOL; PDECOL; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

CWRESX

Software Authors:   Blom, J.G.; Zegeling, P.A.
Referenced in: 37 Publications (1994–2019)
Related Software: CWRESU; Algorithm 731; DASSL; EPDCOL; MOVCOL; PDECOL; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

CLAIRE

Software Authors:   Caseau, Yves; Josset, François-Xavier; Laburthe, François
Referenced in: 32 Publications (1998–2019)
Related Software: Oz; Choco; SALSA; CHIP; BL data set; ELAN; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

LAMG

Software Authors:   Livne, Oren E.; Brandt, Achi
Referenced in: 35 Publications (2012–2022)
Related Software: SparseMatrix; BoomerAMG; GitHub; ILUT; hypre; SNAP; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

OPL

Software Authors:   Van Hentenryck, Pascal; Perron, Laurent; Puget, Jean-Francois
Referenced in: 35 Publications (2000–2022)
Related Software: SALSA; CHIP; AMPL; CPLEX; ILOG SCHEDULE; CSPLib; …
Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

laGP

Software Authors:   Robert B. Gramacy
Referenced in: 25 Publications (2014–2022)
Related Software: R; DiceKriging; tgp; DiceOptim; GPfit; mlegp; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

htucker

Software Authors:   D. Kressner, C. Tobler
Referenced in: 32 Publications (2011–2022)
Related Software: TensorToolbox; LOBPCG; Matlab; TT Toolbox; Algorithm 862; Tensorlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX)

saery

Software Authors:   Maria Dolores Esteban Lefler, Domingo Morales Gonzalez, Agustin Perez Martin
Referenced in: 32 Publications (1994–2022)
Related Software: R; boa; dclone; sampling; rsae; OpenBUGS; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)

KQML

Software Authors:   Tim Finin, Richard Fritzson, Donald P McKay, Robin McEntire
Referenced in: 15 Publications (1996–2016)
Related Software: Prodigy; Globus Toolkit; Qu-Prolog; OMDoc; OMRS; TABLEAUX; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Alya

Software Authors:   Owen, H.; Houzeaux, G.; Samaniego, C.; Lesage, A.C.; Vázquez, M.
Referenced in: 29 Publications (2013–2022)
Related Software: METIS; preCICE; p4est; PPM; MOOSE; ParaView; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

LBIE

Software Authors:   Y. Zhang, C. Bajaj; Computational Visualization Center (CVC)
Referenced in: 28 Publications (2005–2023)
Related Software: CUBIT; Mesquite; QTM; Chimera; FEAPpv; VMD; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

JoCaml

Software Authors:   Fournet, Cedric; Le Fessant, Fabrice; Maranget, Luc; Schmitt, Alan
Referenced in: 26 Publications (2000–2022)
Related Software: Pict; OCaml; PiDuce; KLAIM; Erlang; Scala; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

SUIF

Software Authors:   Robert P. Wilson; Robert S. French; Christopher S. Wilson; Saman P. Amarasinghe; Jennifer M. Anderson; Steve W. K. Tjiang; Shih-Wei Liao; Chau-Wen Tseng; Mary W. Hall; Monica S. Lam; John L. Hennessy
Referenced in: 15 Publications (1995–2011)
Related Software: CUDA; MiBench; ParaWise; ROSE; GRIP; XPRESS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

D-ADMM

Software Authors:   Mota, João F. C.; Xavier, João M. F.; Aguiar, Pedro M. Q.; Püschel, Markus
Referenced in: 26 Publications (2013–2022)
Related Software: Saga; RACQP; lcmm; clusterpath; msgl; glmnet; …
Main Fields: Operator theory (47-XX); Statistics (62-XX); Computer science (68-XX)

Forcer

Software Authors:   T. Ueda, B. Ruijl, J.A.M. Vermaseren
Referenced in: 26 Publications (2017–2021)
Related Software: FORM; Mincer; Axodraw; LiteRed; HyperInt; JaxoDraw; …
Main Fields: Associative rings and algebras (16-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

FELSOS

Software Authors:   Smolianski A
Referenced in: 25 Publications (2005–2021)
Related Software: SLIC; PROST; Cimlib; Gmsh; Gerris; FEATFLOW; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

FiPy

Software Authors:   J. E. Guyer; D. Wheeler; J. A. Warren
Referenced in: 22 Publications (2012–2022)
Related Software: Python; FEniCS; PETSc; Adam; PyTorch; TensorFlow; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

PSBLAS

Software Authors:   D’Ambra, Pasqua; di Serafino, Daniela; Filippone, Salvatore
Referenced in: 23 Publications (2000–2021)
Related Software: MLD2P4; 2LEV-D2P4; Trilinos; PETSc; UMFPACK; SParC-LES; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

UniMath

Software Authors:   Voevodsky, V., Mörtberg, A., Ahrens, B., Lelay, C., Pannila, T., Matthes, R.
Referenced in: 24 Publications (2016–2022)
Related Software: GitHub; Coq; cubicaltt; Lean; HoTT; Agda; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Category theory; homological algebra (18-XX)

COFFEE

Software Authors:   Fabio Luporini, Ana Lucia Varbanescu, Florian Rathgeber, Gheorghe-Teodor Bercea, J. Ramanujam, David A. Ham, Paul H.J. Kelly
Referenced in: 20 Publications (2016–2021)
Related Software: Firedrake; PETSc; TSFC; petsc4py; UFL; FEniCS; …
Main Fields: Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX)

Adaptative L1 TE and Predictive

Software Authors:   Yuste, Santos B.; Quintana-Murillo, J.
Referenced in: 22 Publications (2016–2022)
Related Software: ma2dfc; FODE; Fractional Heat Conduction Toolbox; Heat Conduction Toolbox; Matplotlib; LFA; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX)

CAS/PI

Software Authors:   Kajler, Norbert
Referenced in: 21 Publications (1992–2018)
Related Software: Mathematica; Maple; AXIOM; MACSYMA; OMRS; Isabelle; …
Main Fields: Real functions (26-XX); Computer science (68-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)

MGRIT

Software Authors:   Dobrev, V. A.; Kolev, Tz.; Petersson, N. A.; Schroder, J. B.
Referenced in: 21 Publications (2017–2022)
Related Software: XBraid; pyParareal; PARAEXP; PARALAAOMPI; RODAS; CHeart; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

sbw

Software Authors:   Zubizarreta, José R.
Referenced in: 19 Publications (2015–2022)
Related Software: R; CBPS; KBAL; Matching; MatchIt; optweight; …
Main Fields: Statistics (62-XX)

CP-logic

Software Authors:   Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice
Referenced in: 19 Publications (2009–2022)
Related Software: ProbLog; PITA; PRISM; MCINTYRE; BLOG; XSB; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

GPGPU

Software Authors:   Luebke, D., Harris, M., Govindaraju, N., Lefohn, A., Houston, M., Owens, J., Segal, M., Papakipos, M., Buck, I.
Referenced in: 14 Publications (2006–2018)
Related Software: CUDA; OpenACC; OpenCL; HOSTA; MPI; ATLAS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

QPA

Software Authors:   Gould, Nicholas I.M.; Toint, Philippe L.
Referenced in: 20 Publications (1991–2016)
Related Software: MA57; SNOPT; qpOASES; SQOPT; GALAHAD; HSL; …
Main Fields: Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

TASTY

Software Authors:   Henecka, W., Kögl, S., Sadeghi, A.-R., Schneider, T., Wehrenberg, I.
Referenced in: 18 Publications (2011–2021)
Related Software: Sharemind; FairplayMP; VIFF; VMCrypt; ABY; fhe; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

YYY

Software Authors:   Laine, Harri
Referenced in: 19 Publications (1990–2007)
Related Software:
Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Computer science (68-XX)

DROPS

Software Authors:   S. Groß, J. Peters, V. Reichelt, A. Reusken
Referenced in: 18 Publications (2005–2022)
Related Software: UG; CutFEM; NewtonLib; Trilinos; polymake; CGAL; …
Main Fields: Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX)

Pynn

Software Authors:   A.P. Davison, D. Brüderle, J. Eppler, J. Kremkow, E. Muller, D. Pecevski, L. Perrinet, P. Yger
Referenced in: 8 Publications (2011–2021)
Related Software: NEST; NEURON; Brian; Python; SpiNNaker; PyNEST; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

Voyager

Software Authors:   G. Glass; ObjectSpace
Referenced in: 14 Publications (2000–2006)
Related Software: Aglets; Concordia; DECAF; KLAIM; Pfinder; MAWS; …
Main Fields: Computer science (68-XX)

VTF

Software Authors:   Ralf Deiterding, Raul Radovitzky, Sean P. Mauch, Fehmi Cirak, David J. Hill, Carlos Pantano, Julian C. Cummings, Daniel I. Meiron
Referenced in: 16 Publications (2006–2022)
Related Software: AMROC; PARAMESH; AMReX; AUSM; AMRCLAW; CHEMKIN; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

ASKALON

Software Authors:   Thomas Fahringer; Alexandru Jugravu; Sabri Pllana; Radu Prodan; Clovis Seragiotto Jr; Hong-Linh Truong
Referenced in: 6 Publications (2002–2012)
Related Software: Java CoG Kit; SCALEA; GridFlow; Globus Toolkit; Condor-G; Taverna; …
Main Fields: Computer science (68-XX)

BLIS

Software Authors:   Van Zee, Field G.; van de Geijn, Robert A.
Referenced in: 14 Publications (2014–2021)
Related Software: BLAS; OpenBLAS; LAPACK; MKL; libflame; TTC; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

MEGAN

Software Authors:   Daniel H. Huson, Alexander F. Auch, Ji Qi, Stephan C. Schuster
Referenced in: 5 Publications (2010–2017)
Related Software: TETRA; TACOA; BLAST; ONE; RAST; PSI-BLAST; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

EigenPrism

Software Authors:   Janson, Lucas; Barber, Rina Foygel; Candès, Emmanuel
Referenced in: 16 Publications (2017–2022)
Related Software: covTest; CorrT; selectiveInference; hdi; selective-inference; Eigenstrat; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

FAdo

Software Authors:   André Almeida; Marco Almeida; José Alves; Nelma Moreira; Rogério Reis
Referenced in: 15 Publications (2010–2021)
Related Software: GUItar; Python; Vaucanson; OpenFst; Regular Sets; PDCoq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

FairplayMP

Software Authors:   Ben-David, A., Nisan, N., Pinkas, B.
Referenced in: 11 Publications (2012–2022)
Related Software: TASTY; VIFF; VMCrypt; Sharemind; ZIDS; ABY; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

GIB

Software Authors:   University of Oregon
Referenced in: 14 Publications (2001–2019)
Related Software: Gurobi; MCTS-Solver; BuDDy
Main Fields: Combinatorics (05-XX); Nonassociative rings and algebras (17-XX); Group theory and generalizations (20-XX)

GridLab

Software Authors:   Seidel, Ed; Allen, Gabrielle; Merzky, André; Nabrzyski, Jarek
Referenced in: 10 Publications (2002–2010)
Related Software: Globus Toolkit; GrADS; Java CoG Kit; Condor-G; Taverna; ZetaSAT; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

WoLFram

Software Authors:   Sülflow, André
Referenced in: 16 Publications (2010–2022)
Related Software: R; KLEE; z3; Yices; Daikon; SMT-LIB; …
Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

Amesos

Software Authors:   M. Sala, K. Stanley, M. Heroux
Referenced in: 15 Publications (2006–2022)
Related Software: Trilinos; IFPACK; Aztec; AztecOO; PETSc; hypre; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

Coquelicot

Software Authors:   Boldo, Sylvie; Lelay, Catherine; Melquiond, Guillaume
Referenced in: 15 Publications (2015–2022)
Related Software: Coq; Isabelle/HOL; Lean; PVS; kepler98; C-CoRN; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Ordinary differential equations (34-XX)

HSL_MI28

Software Authors:   Scott, J., Tůma, M.
Referenced in: 15 Publications (2014–2021)
Related Software: SparseMatrix; HSL; HSL_MA97; LSQR; SYM-ILDL; CUTEst; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

Multivac

Software Authors:   Mallet, V
Referenced in: 14 Publications (2008–2022)
Related Software: FlamMap; FARSITE; WRF-SFIRE; LSMLIB; ToolboxLS; SciPy; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

Quat-2L

Software Authors:   Xiao, X.; Wang, P.; Chou, K. C.
Referenced in: 15 Publications (2010–2018)
Related Software: GPCR-GIA; Cell-PLoc; GPCR-CA; GPCR-2L; Plant-mPLoc; iLoc-Virus; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

ARMCI

Software Authors:   J. Nieplocha, V. Tipparaju, M. Krishnan, D. Panda
Referenced in: 9 Publications (2000–2010)
Related Software: CoArray; NAS Parallel Benchmarks; GPSHMEM; MPI; SUMMA; GAMESS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX)

Henshin

Software Authors:   Thorsten Arendt; Enrico Biermann; Stefan Jurack; Christian Krause; Gabriele Taentzer
Referenced in: 12 Publications (2012–2021)
Related Software: AGG; GROOVE; PRISM; Maude; Isabelle/HOL; GrGen; …
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

Ts2pack

Software Authors:   Crainic, Teodor Gabriel; Perboli, Guido; Tadei, Roberto
Referenced in: 14 Publications (2009–2021)
Related Software: Algorithm 864; Packlib2; 2DCPackGen; SCIP; LINGO; LINDO; …
Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-XX)

PLAN

Software Authors:   Hicks, Michael; Kakkar, Pankaj; Moore, Jonathan T.; Gunter, Carl A.; Nettles, Scott
Referenced in: 9 Publications (1997–2005)
Related Software: Guava; AtomCaml; Atomizer; OCaml; Maude; Atropos; …
Main Fields: Computer science (68-XX)

Sparsity

Software Authors:   EJ Im, K Yelick, R Vuduc
Referenced in: 10 Publications (2005–2018)
Related Software: SparseMatrix; PETSc; MKL; Trilinos; CUDA; ATLAS; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

Algorithm 656

Software Authors:   Jack J. Dongarra , Jeremy Du Croz , Sven Hammarling , Richard J. Hanson
Referenced in: 10 Publications (1988–2021)
Related Software: BLAS; LAPACK; ScaLAPACK; Algorithm 679; PLASMA; MAGMA; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

HELAS

Software Authors:   H. Murayama, I. Watanabe, K. Hagiwara
Referenced in: 11 Publications (2010–2020)
Related Software: MadGraph; PYTHIA8; MC@NLO; HERWIG 5.1; MadEvent; CutTools; …
Main Fields: Numerical analysis (65-XX); Quantum theory (81-XX); Relativity and gravitational theory (83-XX)

ICENI

Software Authors:   Furmento, Nathalie; Mayer, Anthony; McGough, Stephen; Newhouse, Steven; Field, Tony; Darlington, John
Referenced in: 4 Publications (2002–2010)
Related Software: Condor-G; Cactus; GRID Infoware; Java CoG Kit; Globus Toolkit; GrADS; …
Main Fields: Computer science (68-XX)

ISP

Software Authors:   Cormac Flanagan; Patrice Godefroid
Referenced in: 9 Publications (2008–2018)
Related Software: KLEE; SPIN; veriSoft; SpecExplorer; ConTest; Bandera; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

2L_enum

Software Authors:   Bohn, Adam; Faenza, Yuri; Fiorini, Samuel; Fisikopoulos, Vissarion; Macchia, Marco; Pashkovich, Kanstantsin
Referenced in: 12 Publications (2015–2022)
Related Software: 01poly; Macaulay2; SageMath; birkhoff faces; polymake; SlackIdeals; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Convex and discrete geometry (52-XX)

MathLink

Software Authors:   wolfram.com
Referenced in: 12 Publications (1995–2011)
Related Software: Mathematica; C-XSC; ParLinSys; filib++; K2K; LaunchSlave; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

PUMI

Software Authors:   D. A. Ibanez, E. S. Seol, C. W. Smith, M. S. Shephard
Referenced in: 11 Publications (2016–2022)
Related Software: PETSc; Zoltan; SUNDIALS; hypre; Gmsh; SIERRA; …
Main Fields: Combinatorics (05-XX); Manifolds and cell complexes (57-XX); Numerical analysis (65-XX)

UrbanSim

Software Authors:   Waddell P, Borning A, Noth M, Freier N, Becke M, Ulfarsson G
Referenced in: 9 Publications (2005–2022)
Related Software: UScensus2000; maptools; acs; ASA; sms; devtools; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

Affycomp III

Software Authors:   Cope, L. M.; Irizarry, R. A.; Jaffee, H. A.; Wu, Z.; Speed, T. P.
Referenced in: 7 Publications (2006–2017)
Related Software: gcrma; BGX; R; sma; Puma; affy; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

Dendro

Software Authors:   R. S. Sampath, S. S. Adavani, H. Sundar, I. Lashuk, G. Biros
Referenced in: 9 Publications (2010–2022)
Related Software: p4est; deal.ii; Peano; Gerris; PARAMESH; Chombo; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

GCCA

Software Authors:   Anil K. Seth
Referenced in: 9 Publications (2011–2021)
Related Software: MVGC; Brain Connectivity Toolbox; BSMART; EEGLAB; MuTE; QUIC; …
Main Fields: Statistics (62-XX); Statistical mechanics, structure of matter (82-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

intpakX

Software Authors:   Krämer, Walter
Referenced in: 11 Publications (2003–2015)
Related Software: Maple; INTLAB; C-XSC 2.0; filib++; PNM; MPFI; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

LOCSVMPSI

Software Authors:   Xie, D.; Li, A.; Wang, M.; Fan, Z.; Feng, H.
Referenced in: 7 Publications (2008–2016)
Related Software: ESLpred; Cell-PLoc; Esub8; WoLF PSORT; Euk-mPLoc; Euk-PLoc; …
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-XX); Computer science (68-XX)

M-nets

Software Authors:   Eike Best, Wojciech Frączak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
Referenced in: 10 Publications (1998–2012)
Related Software: Maria; PEP; Uppaal; Kronos; Ptolemy; Renew; …
Main Fields: Computer science (68-XX)

MIQR

Software Authors:   Li, Na; Saad, Yousef
Referenced in: 11 Publications (2006–2022)
Related Software: SparseMatrix; SuiteSparseQR; LSQR; HSL; SuitSparseQR; LSMR; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX)

Charge!

Software Authors:   Bengtson, Jesper; Jensen, Jonas Braband; Birkedal, Lars
Referenced in: 10 Publications (2012–2021)
Related Software: Coq; Toolchain; VeriFast; HIP; VeriSmall; Frama-C; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)