×

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

CGAL

Software Authors:   CGAL Editorial Board
Referenced in: 370 Publications (2000–2022)
Related Software: LEDA; 2D triangulations; 2D Arrangement; Triangle; Boost; Qhull; …
Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX)

PMTK

Software Authors:   Dunham M, Murphy K
Referenced in: 235 Publications (2012–2022)
Related Software: PRMLT; ElemStatLearn; BayesDA; Adam; UCI-ml; L-BFGS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Bonmin

Software Authors:   Bonami, Pierre; Biegler, Lorenz T.; Conn, Andrew R.; Cornuéjols, Gérard; Grossmann, Ignacio E.; Laird, Carl D.; Lee, Jon; Lodi, Andrea; Margot, François; Sawaya, Nicolas; Wächter, Andreas ​
Referenced in: 214 Publications (1995–2022)
Related Software: Ipopt; CPLEX; SCIP; FilMINT; BARON; Gurobi; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

libMesh

Software Authors:   B. S. Kirk, J. W. Peterson, R. H. Stogner, and G. F. Carey
Referenced in: 144 Publications (2004–2022)
Related Software: PETSc; deal.ii; FEniCS; Trilinos; Gmsh; FreeFem++; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Hyperheuristics

Software Authors:   Cowling, Peter; Kendall, Graham; Soubeiga, Eric; Burke E
Referenced in: 122 Publications (2001–2022)
Related Software: Tabu search; Paramils; HyFlex; DIMACS; SATzilla; OR-Library; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

Hadoop

Software Authors:   The Apache Software Foundation
Referenced in: 95 Publications (2010–2022)
Related Software: MapReduce; Spark; Apache Spark; R; Dryad; UCI-ml; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

GeoPDEs

Software Authors:   de Falco, C.; Reali, A.; Vázquez, R.
Referenced in: 124 Publications (2011–2022)
Related Software: ISOGAT; IETI; PetIGA; Igatools; Matlab; NURBS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

VTK

Software Authors:   W. Schroeder, L. Avila, K. Martin, W. Hoffman, C. Law
Referenced in: 73 Publications (2000–2022)
Related Software: ParaView; Python; NumPy; SciPy; Gmsh; Matplotlib; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

ABACUS

Software Authors:   Elf, Matthias; Gutwenger, Carsten; Jünger, Michael; Rinaldi, Giovanni
Referenced in: 117 Publications (1996–2022)
Related Software: CPLEX; MINTO; SYMPHONY; TSPLIB; PORTA; SCIP; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

ANTIGONE

Software Authors:   Misener, Ruth; Floudas, Christodoulos A.
Referenced in: 111 Publications (2014–2022)
Related Software: SCIP; BARON; Ipopt; LINDO; GloMIQO; LINDOGlobal; …
Main Fields: Real functions (26-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

eSTREAM

Software Authors:   Cannire, C.D.
Referenced in: 103 Publications (2006–2022)
Related Software: Trivium; Grain; MICKEY; SageMath; Salsa20; PRESENT; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Commutative algebra (13-XX)

JStatCom

Software Authors:   Markus Krätzig
Referenced in: 77 Publications (2007–2022)
Related Software: KEEL; UCI-ml; C4.5; SMOTE; R; SMOTEBoost; …
Main Fields: Combinatorics (05-XX); Algebraic topology (55-XX); Statistics (62-XX)

veriSoft

Software Authors:   Dingel, Juergen
Referenced in: 74 Publications (2000–2021)
Related Software: Bandera; SPIN; Java PathFinder; BLAST; Eraser; SLAM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

Healpix

Software Authors:   K. M. Górski; E. Hivon; A. J. Banday; B. D. Wandelt; F. K. Hansen; M. Reinecke; M. Bartelmann
Referenced in: 73 Publications (2007–2022)
Related Software: healpy; Python; CAMB; Matplotlib; DLMF; NumPy; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

ILOG SCHEDULE

Software Authors:   Le Pape, C
Referenced in: 74 Publications (1996–2022)
Related Software: CPLEX; JOBSHOP; CHIP; Tabu search; CP Optimizer; PSPLIB; …
Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Cytoscape

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

ACADO

Software Authors:   Houska, Boris; Ferreau, Hans Joachim; Diehl, Moritz
Referenced in: 69 Publications (2010–2022)
Related Software: Ipopt; qpOASES; CasADi; SOCS; qpDUNES; Matlab; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

AMRCLAW

Software Authors:   M. J. Berger, R. J. LeVeque
Referenced in: 70 Publications (1997–2022)
Related Software: CLAWPACK; PARAMESH; GEOCLAW; AMROC; Peano; Chombo; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

CasADi

Software Authors:   Andersson, Joel; Åkesson, Johan; Diehl, Moritz
Referenced in: 50 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)

PetIGA

Software Authors:   L. Dalcin, N. Collier, P. Vignal, A.M.A. Côrtes, V.M. Calo
Referenced in: 62 Publications (2014–2022)
Related Software: PETSc; GeoPDEs; MUMPS; Igatools; PetIGA-MF; FEniCS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

RICPAC

Software Authors:   W. F. Arnold; Alan J. Laub
Referenced 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)

TOUGH

Software Authors:   K. Pruess, C. Oldenburg, G. Moridis, Finsterle, S
Referenced in: 57 Publications (1997–2022)
Related Software: PFLOTRAN; DuMuX; iTOUGH2; PETSc; Gmsh; OpenGeoSys; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

Protege

Software Authors:   Stanford; J. H. Gennari, M. A. Musen, R. W. Fergerson et al.
Referenced in: 29 Publications (1997–2022)
Related Software: Pellet; Racer; Jena; FaCT++; swrl; HermiT; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

LFA

Software Authors:   Wienands, Roman; Joppich, Wolfgang
Referenced in: 59 Publications (2005–2022)
Related Software: Wesseling; FEATFLOW; PLTMG; FAIR.m; IFISS; Trilinos; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

GreatSPN

Software Authors:   Babar, Junaid; Beccuti, Marco; Donatelli, Susanna; Miner, Andrew
Referenced in: 51 Publications (1988–2021)
Related Software: GreatSPN 1.7; TimeNET; CADP; SPNP; PEPA; PRISM; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

MAGMA

Software Authors:   J. Dongarra, T. Dong, M. Gates, A. Haidar, S. Tomov, I. Yamazaki
Referenced in: 47 Publications (2010–2022)
Related Software: PLASMA; LAPACK; CUDA; ScaLAPACK; CUBLAS; BLAS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

SWIG

Software Authors:   Beazley, D.M.
Referenced in: 39 Publications (2000–2022)
Related Software: Python; NumPy; F2PY; SciPy; Octave; Matlab; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

CPAchecker

Software Authors:   Dirk Beyer, Stefan Löwe, Philipp Wendler
Referenced in: 37 Publications (2011–2021)
Related Software: BLAST; SLAM; z3; CBMC; UFO; SatAbs; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

Chaste

Software Authors:   Bernabeu, Miguel O.; Bordas, Rafel; Pathmanathan, Pras; Pitt-Francis, Joe; Cooper, Jonathan; Garny, Alan; Gavaghan, David J.; Rodriguez, Blanca; Southern, James A.; Whiteley, Jonathan P.
Referenced in: 52 Publications (2009–2022)
Related Software: CellML; PhysiCell; PETSc; CellSys; Biocellion; Matlab; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

kappalab

Software Authors:   Grabisch, Michel; Kojadinovic, Ivan; Meyer, Patrick
Referenced in: 52 Publications (2007–2022)
Related Software: R; M-MACBETH; VisualUTA; UTA Plus; quadprog; Knapsack; …
Main Fields: Measure and integration (28-XX); Statistics (62-XX); Computer science (68-XX)

DuMuX

Software Authors:   Flemisch, B., Darcis, M., Erbertseder, K., Faigle, B., Lauser, A., Mosthaf, K., Müthing, S., Nuske, P., Tatomir, A., Wolff, M., R. Helmig
Referenced in: 48 Publications (2009–2022)
Related Software: DUNE; UMFPACK; ISTL; Gmsh; MRST; DUNE-ALUGrid; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-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: 44 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)

G+Smo

Software Authors:   Angelos Mantzaflaris, Bert Jüttler
Referenced in: 48 Publications (2014–2022)
Related Software: ISOGAT; IETI; GitHub; GeoPDEs; Igatools; PetIGA; …
Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-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)

Frama-C

Software Authors:   Patrick Baudin; Richard Bonichon; Loïc Correnson; Pascal Cuoq; Zaynah Dargaye; Jean-Christophe Filliâtre; Philippe Herrmann; Claude Marché; Benjamin Monate; Yannick Moy; Anne Pacalet; Virgile Prévosto; Julien Signoles and Boris Yakobowski
Referenced in: 39 Publications (2009–2021)
Related Software: Why3; Coq; z3; ACSL; KRAKATOA; Boogie; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

GEANT4

Software Authors:   Grichine, V.M.
Referenced in: 38 Publications (1997–2022)
Related Software: ROOT; FLUKA; MCNP; PYTHIA8; HERWIG 5.1; VTK; …
Main Fields: Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX); Quantum theory (81-XX)

PLASMA

Software Authors:   E. Agullo, J. Dongarra, B. Hadri, et al.
Referenced in: 41 Publications (2010–2021)
Related Software: MAGMA; LAPACK; ScaLAPACK; BLAS; StarPU; CUDA; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

UQLab

Software Authors:   Lataniotis C, Marelli S, Sudret B
Referenced in: 38 Publications (2016–2022)
Related Software: AK-MCS; DACE; DAKOTA; EGO; OPQ; Matlab; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

CoFI

Software Authors:   Mosses, Peter D.
Referenced in: 39 Publications (1997–2017)
Related Software: CASL; ATERM; Maude; OMDoc; MAYA; OBJ3; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); General algebraic systems (08-XX)

Feel++

Software Authors:   Christophe Prud'homme, Vincent Chabannes, Stéphane Veys, Abdoulaye Samake, Cecile Daversin, Christophe Trophime, Goncalo Pena, Guillaume Dollé, Jean-Baptiste Wahl, Mourad Ismail, Ranine Tarabay, Vincent Doyeux, Vincent Huber
Referenced in: 38 Publications (1999–2022)
Related Software: PETSc; FEniCS; FreeFem++; deal.ii; Gmsh; Firedrake; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Graclus

Software Authors:   I. Dhillon, Y. Guan, B, Kulis
Referenced in: 37 Publications (2008–2022)
Related Software: BSDS; AFGen; UCI-ml; Algorithm 457; ImageNet; PRMLT; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

Gudhi

Software Authors:   INRIA; Clement Maria; Jean-Daniel Boissonnat; Marc Glisse; Mariette Yvinec
Referenced in: 40 Publications (2014–2022)
Related Software: PHAT; Dionysus; javaPlex; Ripser; TDA; Perseus; …
Main Fields: Algebraic topology (55-XX); Statistics (62-XX); Numerical analysis (65-XX)

OpenMx

Software Authors:   Boker, Steven; Neale, Michael; Maes, Hermine; Wilde, Michael; Spiegel, Michael; Brick, Timothy; Spies, Jeffrey; Estabrook, Ryne; Kenny, Sarah; Bates, Timothy; Mehta, Paras; Fox, John
Referenced in: 28 Publications (2006–2022)
Related Software: R; Mplus; lavaan; LISREL; sem; EQS; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Overture

Software Authors:   L. Brown, William D. Henshaw, Daniel J. Quinlan.
Referenced in: 37 Publications (2000–2022)
Related Software: PETSc; CMPGRD; PARAMESH; Uintah; Ogen; SUGGAR++; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

MBSPACK

Software Authors:   Simeon, Bernd
Referenced in: 41 Publications (1995–2018)
Related Software: RODAS; MEXX; DASSL; Matlab; GELDA; MBSSIM; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

DUNE-FEM

Software Authors:   Dedner, Andreas; Klöfkorn, Robert; Nolte, Martin; Ohlberger, Mario
Referenced in: 39 Publications (2010–2022)
Related Software: DUNE; deal.ii; PETSc; FEniCS; Feel++; UFL; …
Main Fields: Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX)

JADE

Software Authors:   JADE Team
Referenced in: 18 Publications (2002–2021)
Related Software: Jadex; Jason; AgentSpeak; 2APL; METATEM; CArtAgO; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)

MAGIC

Software Authors:   Chaki, Sagar; Clarke, Edmund; Jha, Somesh; Veith, Helmut
Referenced in: 37 Publications (2003–2019)
Related Software: ComFoRT; Bandera; SPIN; Bebop; Maude; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SYMPHONY

Software Authors:   Ladányi, Laszlo; Ralphs, Ted K.; Trotter, Leslie E. jun
Referenced in: 38 Publications (2001–2022)
Related Software: ABACUS; CPLEX; XPRESS; SCIP; MIPLIB; COIN-OR; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Bogor

Software Authors:   Dwyer, Matthew B.; Hatcliff, John; Hoosier, Matthew; Robby, Matthew
Referenced in: 27 Publications (2003–2014)
Related Software: SPIN; Bandera; veriSoft; Java PathFinder; dSPIN; Zing; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Java CoG Kit

Software Authors:   von Laszewski, Gregor; Gawor, Jarek; Lane, Peter; Rehn, Nell; Russell, Mike
Referenced in: 12 Publications (2001–2010)
Related Software: Globus Toolkit; Pegasus; Condor-G; Taverna; ASKALON; Cactus; …
Main Fields: Computer science (68-XX); Geophysics (86-XX); Biology and other natural sciences (92-XX)

Peano

Software Authors:   Bungartz H-J, Mehl M, Neckel T, Weinzierl T
Referenced in: 34 Publications (2010–2022)
Related Software: p4est; deal.ii; PARAMESH; AMRCLAW; Chombo; ForestClaw; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

DEAP

Software Authors:   Fortin, Félix-Antoine; De Rainville, François-Michel; Gardner, Marc-André; Parizeau, Marc; Gagné, Christian
Referenced in: 20 Publications (2015–2022)
Related Software: Python; Scikit; SciPy; PyTorch; NumPy; Matplotlib; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

METSlib

Software Authors:   baol
Referenced in: 33 Publications (2011–2022)
Related Software: VRP; Tabu search; Scatter Search; MDVRPTW; irace; CVRPSEP; …
Main Fields: History and biography (01-XX); Numerical analysis (65-XX); Computer science (68-XX)

Carpet

Software Authors:   Tom Goodale, Gabrielle Allen, Gerd Lanfermann, Joan Massó, Thomas Radke, Edward Seidel, John Shalf, Schnetter, E.
Referenced in: 31 Publications (2003–2020)
Related Software: Cactus; Einstein Toolkit; Chombo; PARAMESH; Kranc; FLASH; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Quantum theory (81-XX)

Oyster

Software Authors:   Horn, Christian; Smaill, Alan
Referenced in: 32 Publications (1989–2021)
Related Software: CLAM; Nuprl; HOL; Isabelle; Coq; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

JUnit

Software Authors:   Cheon, Yoonsik; Leavens, Gary T.
Referenced in: 15 Publications (2002–2020)
Related Software: JML; Eiffel; ESC/Java; Korat; KeY; Spec#; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

P3DFFT

Software Authors:   Pekurovsky, Dmitry
Referenced in: 28 Publications (2010–2021)
Related Software: FFTW; PFFT; 2DECOMP; PETSc; TTC; HPTT; …
Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

PILCO

Software Authors:   M. Deisenroth; C. Rasmussen
Referenced in: 29 Publications (2014–2022)
Related Software: GPflow; GPyTorch; TensorFlow; Adam; OpenAI Gym; GitHub; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Computer science (68-XX)

Okapi

Software Authors:   Robertson SE, Walker S, Jones S, Beaulieu MH, Gatford M
Referenced in: 7 Publications (2000–2021)
Related Software: WordNet; Lemur; OHSUMED; INQUERY; CRAN; WSBen; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Perseus

Software Authors:   Vidit Nanda
Referenced in: 30 Publications (2013–2022)
Related Software: Dionysus; javaPlex; Gudhi; PHAT; Ripser; TDA; …
Main Fields: Combinatorics (05-XX); Algebraic topology (55-XX); Manifolds and cell complexes (57-XX)

PDELab

Software Authors:   Bastian, Peter; Heimann, Felix; Marnach, Sven
Referenced in: 30 Publications (2010–2022)
Related Software: DUNE; ISTL; Gmsh; deal.ii; ALUGrid; FEniCS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

CloudSim

Software Authors:   Rodrigo N. Calheiros, Rajiv Ranjan, Cesar A. F. De Rose, Rajkumar Buyya
Referenced in: 16 Publications (2012–2021)
Related Software: GridSim; pMapper; Amazon EC2; Eucalyptus; OpenNebula; Satin; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

DELPHES

Software Authors:   Ovyn, X. Rouby, V. Lemaitre; J. de Favereau, C. Delaere, P. Demin, A. Giammanco, A. Mertens, M. Selvaggi
Referenced in: 25 Publications (2011–2022)
Related Software: PYTHIA8; FeynRules; MadGraph5_aMC@NLO; MadGraph; FastJet; ROOT; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

MINOTAUR

Software Authors:   Leyffer, S., Linderoth, J., Luedtke, J., Mahajan, A., Munson, T.
Referenced in: 28 Publications (2014–2022)
Related Software: MINLPLib; SCIP; Bonmin; CPLEX; FilMINT; Ipopt; …
Main Fields: Partial differential equations (35-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)

ROS

Software Authors:   Quigley, M., Gerkey, B., Conley, K., Faust, J., Foote, T., Leibs, J., Berger, E., Wheeler, R., Ng, A.
Referenced in: 19 Publications (2015–2022)
Related Software: GitHub; GAZEBO; OpenCV; Python; PCL; Molecubes; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX)

2DECOMP

Software Authors:   N. Li; S. Laizet
Referenced in: 23 Publications (2013–2021)
Related Software: FFTW; PFFT; P3DFFT; CaNS; incompact3d; AFiD; …
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

GVF

Software Authors:   Marshall, M.S.; Herman, I.; Melançon, G.
Referenced in: 20 Publications (2001–2022)
Related Software: IsoMatch; AMPL; Prefuse; TopoLayout; PRMLT; FAIS; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

URDME

Software Authors:   Drawert, B., Engblom, S.,Hellander, A.
Referenced in: 23 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)

BioBayes

Software Authors:   Mark Girolami; Vladislav Vyshemirsky
Referenced in: 20 Publications (2008–2022)
Related Software: PRMLT; deGradInfer; BayesDA; ABC-SysBio; R; PMTK; …
Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

GeoThms

Software Authors:   Quaresma, Pedro; Predrag Janičić
Referenced in: 24 Publications (2006–2020)
Related Software: GCLCprover; GCLC; GeoGebra; GEX; GEOTHER 1.1; GeoProof; …
Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Computer science (68-XX)

HumanEva

Software Authors:   L. Sigal, A. O. Balan, M. J. Black
Referenced in: 11 Publications (2012–2020)
Related Software: SIFT; Human3.6M; SCAPE; GrabCut; Camera Calibration; calib; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Systems theory; control (93-XX)

OpenGeoSys

Software Authors:   O. Kolditz
Referenced in: 20 Publications (2012–2022)
Related Software: PFLOTRAN; PHREEQC; DuMuX; GEMSelektor; PhreeqcRM; GEMS3K; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

ParadisEO-MOEO

Software Authors:   DOLPHIN project-team, Inria Lille
Referenced in: 20 Publications (2009–2021)
Related Software: PISA; SPEA2; ParaDisEO; jMetal; MOEA/D; VRP; …
Main Fields: General and overarching topics; collections (00-XX); 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)

ALUGrid

Software Authors:   Andreas Dedner, Robert Klöfkorn, Martin Nolte
Referenced in: 22 Publications (2008–2022)
Related Software: DUNE-ALUGrid; DUNE; DuMuX; DUNE-FEM; deal.ii; p4est; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

ATL

Software Authors:   Jouault, Frédéric; Allilaire, Freddy; Bézivin, Jean; Kurtev, Ivan
Referenced in: 11 Publications (2008–2021)
Related Software: HOL-OCL; Maude; UML2Alloy; Henshin; AGG; VIATRA2; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

faraway

Software Authors:   Faraway, Julian J.
Referenced in: 24 Publications (2006–2020)
Related Software: R; MASS (R); car; MEMSS; KernSmooth; S-PLUS; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

PERMIX

Software Authors:   Talebi, Hossein; Silani, Mohammad; Bordas, Stéphane P.A.; Kerfriden, Pierre; Rabczuk, Timon
Referenced in: 24 Publications (2014–2022)
Related Software: XFEM; CutFEM; FEniCS; Matlab; ABAQUS; hypre; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

PLT Redex

Software Authors:   Felleisen, Matthias; Findler, Bruce; Flatt, Matthew
Referenced in: 21 Publications (2009–2020)
Related Software: K Prover; Coq; Haskell; K tool; Ott; Featherweight Java; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

ROSETTA

Software Authors:   Øhrn, Aleksander; Komorowski, Jan; Skowron, Andrzej; Synak, Piotr
Referenced in: 20 Publications (1998–2021)
Related Software: UCI-ml; LERS; RSES; Rseslib; WEKA; C4.5; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

UFO

Software Authors:   Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik
Referenced in: 18 Publications (2012–2021)
Related Software: CPAchecker; z3; BLAST; SLAM; SatAbs; CBMC; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Anasazi

Software Authors:   Rich Lehoucq; Heidi Thornquist
Referenced in: 21 Publications (2005–2020)
Related Software: PRIMME; SLEPc; ARPACK; PETSc; Trilinos; LAPACK; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-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)

hgm R

Software Authors:   Nakayama, Hiromasa; Nishiyama, Kenta; Noro, Masayuki; Ohara, Katsuyoshi; Sei, Tomonari; Takayama, Nobuki; Takemura, Akimichi
Referenced in: 20 Publications (2011–2021)
Related Software: Risa/Asir; HolonomicFunctions; R; DLMF; Kan; Macaulay2; …
Main Fields: Associative rings and algebras (16-XX); Several complex variables and analytic spaces (32-XX); Special functions (33-XX)

Java-MOP

Software Authors:   Feng Chen; Grigore Roşu
Referenced in: 22 Publications (2005–2021)
Related Software: Java-MaC; AspectJ; Clara; MONA; JML; Copilot; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

SeaHorn

Software Authors:   Gurfinkel, A., Kahsai, T., Komuravelli, A., Navas, J.A.
Referenced in: 20 Publications (2015–2021)
Related Software: z3; VeriMAP; SMACK; JayHorn; RAHFT; TRACER; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

spatial panels

Software Authors:   Elhorst, J. Paul
Referenced in: 22 Publications (2014–2022)
Related Software: Arc_Mat; Matlab; spBayes; SAS; Ox; OxMetrics; …
Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

DIP

Software Authors:   Ralphs, T.K., Galati, M.V.
Referenced in: 21 Publications (2005–2022)
Related Software: SCIP; GCG; CPLEX; MIPLIB2003; BaPCod; MIPLIB; …
Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-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)

FEMSTER

Software Authors:   Castillo, Paul; Rieben, Robert; White, Daniel
Referenced in: 21 Publications (2004–2021)
Related Software: deal.ii; libMesh; PETSc; FEniCS; FreeFem++; UMFPACK; …
Main Fields: Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

JCell

Software Authors:   Dorronsoro, Bernabé
Referenced in: 13 Publications (2008–2021)
Related Software: jMetal; SPEA2; MOEA/D; ParaDisEO; MOCell; Genocop; …
Main Fields: Computer science (68-XX); Fluid mechanics (76-XX); Operations research, mathematical programming (90-XX)

UG4

Software Authors:   Vogel, A., Reiter, S., Rupp, M., Nägel, A., Wittum, G.
Referenced in: 20 Publications (2012–2021)
Related Software: pcl; libDiscretization; libAlgebra; libGrid; UG; Exa-Dune; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

ALPS

Software Authors:   B. Bauer et al
Referenced in: 14 Publications (2009–2019)
Related Software: ITensor; VirtualBox; LOBPCG; GitHub; Boost; TensorCalculus; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

DECAF

Software Authors:   Graham, John R.; Decker, Keith S.
Referenced in: 11 Publications (2000–2005)
Related Software: Voyager; GroupKit; GOLOG; ABLE; Jason; TAEMS; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

IPSEN

Software Authors:   Schürr, Andy
Referenced in: 20 Publications (1991–2010)
Related Software: mctoolbox; LAPACK; GRAS; DRAGOS; PostgreSQL; Fujaba; …
Main Fields: History and biography (01-XX); Linear and multilinear algebra; matrix theory (15-XX); Operator theory (47-XX)

PELLPACK

Software Authors:   Houstis, E.N.; Rice, J.R.; Weerawarana, S.; Catlin, A.C.; Papachiou, P.; Wang, K.-Y.; Gaitatzes, M.
Referenced in: 18 Publications (1998–2008)
Related Software: ELLPACK; PYTHIA; LAPACK; SciNapse; Mathematica; METIS; …
Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX)