×

Found 473 Software Packages (Results 1–100)

Ipopt

Software Authors:   Andreas Waechter, Carl Laird
Referenced in: 793 Publications (2005–2022)
Related Software: AMPL; SNOPT; SCIP; Bonmin; CPLEX; KNITRO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

DOLFIN

Software Authors:   Anders Logg, Johan Hoffman, Garth N. Wells, Johan Jansson, Ola Skavhaug, Kent-Andre Mardal, Martin Sandve Alnes, Johan Hake, Niclas Jansson, Johannes Ring, Kristian B. Ølgaard, Marie Rognes
Referenced in: 194 Publications (2004–2022)
Related Software: FEniCS; PETSc; UFL; Python; deal.ii; SyFi; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

TetGen

Software Authors:   Hang Si
Referenced in: 181 Publications (2006–2022)
Related Software: Triangle; Gmsh; Netgen; CGAL; PETSc; Matlab; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

PASCAL VOC

Software Authors:   Everingham, M., Eslami, S. M. A., Van Gool, L., Williams, C. K. I., Winn, J., Zisserman, A
Referenced in: 83 Publications (2010–2022)
Related Software: SIFT; ImageNet; MS-COCO; LabelMe; AlexNet; Caltech-256; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-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)

BLAST

Software Authors:   Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Gregoire
Referenced in: 105 Publications (2003–2021)
Related Software: SLAM; CPAchecker; SPIN; CBMC; SatAbs; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-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)

PPL

Software Authors:   Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M.
Referenced in: 99 Publications (2002–2021)
Related Software: HyTech; Apron; ASTREE; Uppaal; PHAVer; PolyLib; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

R-INLA

Software Authors:   Martins, Thiago G.; Rue, Håvard
Referenced in: 72 Publications (2010–2023)
Related Software: R; INLA; spBayes; GMRFLib; JAGS; FRK; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-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)

Reo

Software Authors:   Matej Dunik
Referenced in: 85 Publications (2003–2022)
Related Software: Linda; Maude; mCRL2; Ptolemy; CADP; PRISM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Pyomo

Software Authors:   Hart, William E.; Laird, Carl; Watson, Jean-Paul; Woodruff, David L.
Referenced in: 76 Publications (2012–2022)
Related Software: Gurobi; Ipopt; Python; CPLEX; GAMS; PySP; …
Main Fields: Numerical analysis (65-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)

OpenAI Gym

Software Authors:   Greg Brockman, Vicki Cheung, Ludwig Pettersson, Jonas Schneider, John Schulman, Jie Tang, Wojciech Zaremba
Referenced in: 41 Publications (2018–2022)
Related Software: PyTorch; Python; Adam; MuJoCo; TensorFlow; GitHub; …
Main Fields: Computer science (68-XX); Fluid mechanics (76-XX); Operations research, mathematical programming (90-XX)

TOPCOM

Software Authors:   Rambau, Jörg
Referenced in: 66 Publications (2000–2021)
Related Software: polymake; Gfan; PALP; SageMath; Macaulay2; cdd; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)

Access

Software Authors:   Microsoft
Referenced in: 35 Publications (1994–2015)
Related Software: Visual Basic; MS SQL Server; Oracle; VBA; Multiplan; VisualStudio.NET; …
Main Fields: Computer science (68-XX); Mechanics of deformable solids (74-XX); Operations research, mathematical programming (90-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)

Adams

Software Authors:   MSC Software
Referenced in: 51 Publications (2005–2022)
Related Software: Matlab; ANSYS; NASTRAN; SIMPACK; ABAQUS; Meschach; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-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)

GRTensorII

Software Authors:   Musgrave, Peter; Pollney, Denis; Lake, Kayll
Referenced in: 48 Publications (1996–2019)
Related Software: Maple; MathTensor; NP; REDUCE; ATENSOR; Ricci; …
Main Fields: Differential geometry (53-XX); Computer science (68-XX); Quantum theory (81-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)

STAMP

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

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)

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)

SAS/ETS

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

COCONUT

Software Authors:   Hermann Schichl, COCONUT project, Arnold Neumaier, Oleg Shcherbina, Eric Monfroy, Brice Pajot
Referenced in: 38 Publications (2003–2021)
Related Software: BARON; AMPL; GlobSol; INTOPT_90; GAMS; INTLAB; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Mixmod

Software Authors:   Biernacki, Christophe; Celeux, Gilles; Govaert, Gérard; Langrognet, Florent
Referenced in: 37 Publications (2006–2022)
Related Software: mclust; R; PGMM; UCI-ml; Rmixmod; PRMLT; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-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)

DAML+OIL

Software Authors:   Horrocks, Ian
Referenced in: 34 Publications (2002–2009)
Related Software: WordNet; swrl; TRIPLE; Racer; FaCT++; Pellet; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

SKINNY

Software Authors:   Beierle, Christof; Jean, Jérémy; Kölbl, Stefan; Leander, Gregor; Moradi, Amir; Peyrin, Thomas; Sasaki, Yu; Sasdrich, Pascal; Sim, Siang Meng
Referenced in: 37 Publications (2016–2022)
Related Software: SIMON; PRESENT; Midori; tweakey; PRINCE; SPECK; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-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)

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)

Ynot

Software Authors:   Nanevski, Aleksandar; Morrisett, Greg; Shinnar, Avraham; Govereau, Paul; Birkedal, Lars
Referenced in: 34 Publications (2008–2019)
Related Software: Coq; Isabelle/HOL; Haskell; Isabelle; VeriFast; Spec#; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

PARPAP

Software Authors:   Bertels, Stefan; Fahle, Torsten
Referenced in: 33 Publications (2006–2022)
Related Software: VRP; XPRESS; Hyperheuristics; VRPH; Gephi; Google Maps API; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

GELDA

Software Authors:   Peter Kunkel, Volker Mehrmann, Werner Rath and Jörg Weickert
Referenced in: 33 Publications (1996–2018)
Related Software: GENDA; RODAS; Modelica; DASSL; NewtonLib; MBSPACK; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

TimeNET

Software Authors:   German, Reinhard; Kelling, Christian; Zimmermann, Armin; Hommel, Günter
Referenced in: 28 Publications (1995–2022)
Related Software: GreatSPN; SPNP; GreatSPN 1.7; ESP; SHARPE; SPNica; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Dynamo

Software Authors:   Decandia, G.; Hastorun, D.; Jampani, M.; Kakulapati, G.; Lakshman, A.; Pilchin, A.; Sivasubramanian, S.; Vosshall, P.; Vogels, W.
Referenced in: 16 Publications (2011–2022)
Related Software: Cassandra; Chord; Bigtable; MapReduce; SiRiUS; Plutus; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)

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)

TenEig

Software Authors:   Chen, Liping; Han, Lixing; Zhou, Liangmin
Referenced in: 27 Publications (2016–2022)
Related Software: TensorToolbox; PHCpack; Matlab; PHoM; HOM4PS; NACLab; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

Cassandra

Software Authors:   Lakshman, A., Malik, P.
Referenced in: 20 Publications (2012–2022)
Related Software: Dynamo; Bigtable; MongoDB; CouchDB; MySQL; Hadoop; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)

TNT

Software Authors:   Roldan Pozo
Referenced in: 22 Publications (1998–2019)
Related Software: LAPACK; JAMA; Matlab; TAO; Trilinos; Blitz++; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Eucalyptus

Software Authors:   Nurmi, D., Wolski, R., Grzegorczyk, C., Obertelli, G., Soman, S., Youseff, L., Zagorodnov, D.
Referenced in: 8 Publications (2010–2021)
Related Software: Amazon EC2; OpenNebula; OpenStack; Oracle; CloudSim; Azure; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

CAS

Software Authors:   Neubüser, J.; Pahlings, H.; Plesken, W.
Referenced in: 22 Publications (1984–2020)
Related Software: GAP; ATLAS Group Representations; Magma; Cayley; Maple; MeatAxe; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Group theory and generalizations (20-XX)

Quaternion

Software Authors:   S.J. Sangwine, N. Le Bihan
Referenced in: 22 Publications (2006–2022)
Related Software: Matlab; Clifford Multivector Toolbox; CLICAL; Gaigen; Gaalop; CLIFFORD; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX)

Elastix

Software Authors:   Klein, S., Staring, M., Murphy, K., Viergever, M.A., Pluim, J.P., et al.
Referenced in: 15 Publications (2013–2022)
Related Software: Python; ITK; FAIR.m; NumPy; Matlab; RASL; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

D-Claw

Software Authors:   George, David L.; Iverson, Richard M.
Referenced in: 20 Publications (2014–2022)
Related Software: GEOCLAW; PVM; CLAWPACK; HE-E1GODF; MPAS-Ocean; SWASHES; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-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)

IVEware

Software Authors:   Méndez Martín, José María
Referenced in: 16 Publications (2006–2021)
Related Software: MICE; Stata; SAS; SAS/STAT; R; S-PLUS; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)

STXXL

Software Authors:   Roman Dementiev; Lutz Kettner; Peter Sanders
Referenced in: 16 Publications (2006–2019)
Related Software: TPIE; MCSTL; LEDA; BEEM; DiVinE; NetworKit; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

EPDCOL

Software Authors:   Keast, P.; Muir, P.H.
Referenced in: 18 Publications (1991–2019)
Related Software: PDECOL; COLROW; CWRESX; CWRESU; Algorithm 731; DASSL; …
Main Fields: Partial differential equations (35-XX); Integral equations (45-XX); Numerical analysis (65-XX)

Peridigm

Software Authors:   M. Parks, D. Littlewood, J. Mitchell, S. Silling; Sandia National Laboratories
Referenced in: 17 Publications (2014–2022)
Related Software: LAMMPS; PeriPy; ParaView; SciPy; Python; HPX; …
Main Fields: Integral equations (45-XX); Numerical analysis (65-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)

SimVascular

Software Authors:   Updegrove, A.; Wilson, N.M.; Merkow, J.; Lan, H.; Marsden, A.L.; Shadden, S.C.
Referenced in: 18 Publications (2017–2022)
Related Software: TetGen; PETSc; hypre; VTK; Gmsh; svSolver; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

ADMB

Software Authors:   Fournier, David A.; Skaug, Hans J.; Ancheta, Johnoel; Ianelli, James; Magnusson, Arni; Maunder, Mark N.; Nielsen, Anders; Sibert, John
Referenced in: 15 Publications (2011–2021)
Related Software: AD Model Builder; R; WinBUGS; TMB; ADOL-C; TAPENADE; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

DAEPACK

Software Authors:   Tolsma, J. E.; P. I. Barton
Referenced in: 17 Publications (2002–2019)
Related Software: DASSL; DASPK 3.0; SNOPT; GAMS; BARON; ADIFOR; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Calculus of variations and optimal control; optimization (49-XX)

Ecosim

Software Authors:   Christensen V, Walters CJ.
Referenced in: 17 Publications (2002–2022)
Related Software: Ecopath with Ecosim; Ecopath II; xsample; Ucinet; ranger; darch; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Node.js

Software Authors:   Chaniotis, Ioannis K.; Kyriakou, Kyriakos-Ioannis D.; Tselikas, Nikolaos D.
Referenced in: 5 Publications (2017–2022)
Related Software: JavaScript; Angular; Traefik; Docker; Synode; npm; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

PICCOLA

Software Authors:   Achermann, Franz; Lumpe, Markus; Schneider, Jean-Guy; Nierstrasz, Oscar
Referenced in: 16 Publications (1999–2017)
Related Software: Reo; Linda; Pict; ArchJava; dot; Stata; …
Main Fields: Computer science (68-XX)

Ecopath with Ecosim

Software Authors:   ECOPATH; Christensen, V., Walters, C., Pauly, D.
Referenced in: 16 Publications (2002–2022)
Related Software: Ecosim; Ecopath II; xsample; Ucinet; ranger; darch; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

JCobox

Software Authors:   Schäfer, J., Poetzsch-Heffter, A.
Referenced in: 14 Publications (2011–2020)
Related Software: ABS; Erlang; Creol; SACO; Kilim; AmbientTalk; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

LIQUi

Software Authors:   Dave Wecker, Krysta M. Svore
Referenced in: 8 Publications (2018–2021)
Related Software: qHiPSTER; ProjectQ; Python; Quipper; ScaffCC; OpenFermion; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)

SOSEMANUK

Software Authors:   Feng, Xiutao; Liu, Jun; Zhou, Zhaocun; Wu, Chuankun; Feng, Dengguo
Referenced in: 13 Publications (2008–2020)
Related Software: SNOW; Rabbit; Salsa20; eSTREAM; Grain; Trivium; …
Main Fields: Difference and functional equations (39-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

YADE

Software Authors:   Kozicki, J.; Donzé, F.V.
Referenced in: 13 Publications (2008–2022)
Related Software: LIGGGHTS; OpenFOAM; Matlab; QGLViewer; DEMPack; Bullet; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

CometBoards

Software Authors:   Gendy, A.S.; Patnaik, S.N.; Hopkins, D.A.; Berke, L.
Referenced in: 14 Publications (1996–2018)
Related Software: e04ucf; nag; NAG; CONLIN; NLPQL; MHOST; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

ESMF

Software Authors:   Collins, N., G. Theurich, C. DeLuca, M. Suarez, A. Trayanov, V. Balaji, P. Li, W. Yang, C. Hill, A. da Silva
Referenced in: 9 Publications (2006–2020)
Related Software: PETSc; MCT; PALM; Uintah; SCIRun2; Cactus; …
Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX); Computer science (68-XX)

hpGEM

Software Authors:   Pesch, L.; Bell, A.; Sollie, W. E. H.; Ambati, V. R.; Bokhove, O.; Van Der Vegt, J. J. W.
Referenced in: 14 Publications (2007–2019)
Related Software: PETSc; deal.ii; HE-E1GODF; Blitz++ library; Blitz++; DOLFIN; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

Neurofitter

Software Authors:   Van Geit, W.; De Schutter, E.; Achard, P.
Referenced in: 14 Publications (2008–2022)
Related Software: NEURON; Matlab; RKToolbox; DLMF; L-BFGS-B-C; GitHub; …
Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

numericaluniversality

Software Authors:   Deift, Percy A.; Menon, Govind; Olver, Sheehan; Trogdon, Thomas
Referenced in: 14 Publications (2014–2022)
Related Software: GitHub; Genius; Proof General; MNIST; Eigtool; Mathematica; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

Orbital library

Software Authors:   André Platzer
Referenced in: 14 Publications (2008–2021)
Related Software: z3; QEPCAD; KeYmaera; AXIOM; SINGULAR; MetiTarski; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Numerical analysis (65-XX)

BioJava

Software Authors:   Andreas Prlic; Andrew Yates; Spencer E. Bliven; Peter W. Rose; Julius Jacobsen; Peter V. Troshin; Mark Chapman; Jianjiong Gao; Chuan Hock Koh; Sylvain Foisy; Richard Holland; Gediminas Rimsa; Michael L. Heuer; H. Brandstatter-Muller; Philip E. Bourne; Scooter Willis
Referenced in: 5 Publications (2009–2017)
Related Software: Biopython; bioperl; MMTK; ProDy; Python; Taverna; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CST MICROWAVE STUDIO

Software Authors:   CST Computer Simulation Technology AG
Referenced in: 11 Publications (2002–2022)
Related Software: WavES; CST Studio Suite; MaX-1; HFSS; COMSOL; JCMsuite; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

DiskSim

Software Authors:   Bucy, J.S., Schindler, J., Schlosser, S.W., Ganger, G.R.
Referenced in: 3 Publications (2011–2014)
Related Software: TreeFTL; Selfis; VMWare; LMbench; SMIL
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX)

OPPDIF

Software Authors:   Lutz, A.E.; Kee, R.J.; Grcar, J.F.; Rupley, F.M.
Referenced in: 13 Publications (2003–2021)
Related Software: CHEMKIN; PREMIX; TRANSPORT; GRI-Mech 3.0; FlameMaster; PETSc; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX)

Rassoc

Software Authors:   Yong Zang; Wing Fung; Gang Zheng
Referenced in: 11 Publications (2009–2022)
Related Software: Eigenstrat; JMP; R; snpMatrix; devtools; tdthap; …
Main Fields: History and biography (01-XX); Statistics (62-XX); Numerical analysis (65-XX)

Siconos

Software Authors:   Siconos development team
Referenced in: 13 Publications (2010–2022)
Related Software: PATH Solver; CasADi; Ipopt; ZQPCVX; Meschach; RODAS; …
Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)

T-IFISS

Software Authors:   Alex Bespalov, Leonardo Rocchi, David Silvester
Referenced in: 13 Publications (2018–2022)
Related Software: ALEA; OPQ; Matlab; IFISS; p1afem; ameshcoars; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

HyFlex

Software Authors:   Ochoa, Gabriela; Hyde, Matthew; Curtois, Tim; Vazquez-Rodriguez, Jose A.; Walker, James; Gendreau, Michel; Kendall, Graham; McCollum, Barry; Parkes, Andrew J.; Petrovic, Sanja; Burke, Edmund K.
Referenced in: 6 Publications (2012–2020)
Related Software: Hyperheuristics; Hyperion; Paramils; irace; PISA; SGDR; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

pdelib

Software Authors:   Dr. Jürgen Fuhrmann, Dr. Hartmut Langmach, Timo Streckenbach, Dr. Manfred Uhle
Referenced in: 12 Publications (1999–2019)
Related Software: PARDISO; Triangle; ddfermi; TetGen; SCPACK; Netgen; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

Piton

Software Authors:   J S. Moore
Referenced in: 11 Publications (1993–2013)
Related Software: ACL2; Isabelle/HOL; Coq; PVS; ML; NQTHM; …
Main Fields: Computer science (68-XX)

Proof General Kit

Software Authors:   Aspinall, David; Lüth, Christoph; Winterstein, Daniel
Referenced in: 9 Publications (2004–2012)
Related Software: Proof General; Coq; OMDoc; Maple; Isabelle; Matita; …
Main Fields: Computer science (68-XX); Mathematics education (97-XX)

CEOS

Software Authors:   Sarferaz, Siar; Hesse, Wolfgang
Referenced in: 10 Publications (2001–2017)
Related Software: R; Python; ABAQUS; FFTW
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Mechanics of deformable solids (74-XX)

FALKO

Software Authors:   SIEMENS; Börger, Egon; Päppinghaus, Peter; Schmid, Joachim
Referenced in: 10 Publications (2000–2012)
Related Software: CoreASM; Metasonic; Rodin; ASM Workbench; ASMKeY; XASM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

JSMAA

Software Authors:   Tervonen, T.
Referenced in: 11 Publications (2012–2020)
Related Software: UTA Plus; M-MACBETH; WinBUGS; VisualUTA; pmml; J-MCDA; …
Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

rsvd

Software Authors:   N. Benjamin Erichson
Referenced in: 10 Publications (2017–2022)
Related Software: R; randUTV; RandNLA; RSVDPACK; RSpectra; ARPACK; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX)

SALOME

Software Authors:   Open CASCADE
Referenced in: 10 Publications (2010–2019)
Related Software: ParaView; Gmsh; OpenFOAM; FreeCAD; Code_Saturne; SOLA; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

BiGG

Software Authors:   J. Schellenberger, J.O. Park, T.M. Conrad, B.O. Palsson
Referenced in: 9 Publications (2011–2020)
Related Software: KEGG; efmtool; Metatool; R; DIAMOnD; COBRA Toolbox; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

BootCMatch

Software Authors:   D'ambra, Pasqua; Filippone, Salvatore; Vassilevski, Panayot S
Referenced in: 8 Publications (2018–2022)
Related Software: hypre; BoomerAMG; PCBDDC; FSAIPACK; ILUT; MLD2P4; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Lattice Builder

Software Authors:   L’Ecuyer, P., Munger, D.
Referenced in: 10 Publications (2015–2022)
Related Software: SSJ; sobol.cc; Algorithm 955; ContactCenters; KernSmooth; MRG32k3a; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

MultiNet

Software Authors:   Hermann Helbig
Referenced in: 10 Publications (2001–2010)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)

Pochoir

Software Authors:   Tang, Y., Chowdhury, R.A., Kuszmaul, B.C., Luk, C.K., Leiserson, C.E.
Referenced in: 10 Publications (2013–2019)
Related Software: PATUS; STREAM benchmark; Mint; STREAM; CUDA; GKLEE; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

TANDEM

Software Authors:   Craig R, Beavis RC
Referenced in: 2 Publications (2010–2019)
Related Software: GutenTag; MyriMatch; TornadoFX; thermo-msf-parser; PeptideWitch; Scikit; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

DTK

Software Authors:   Slattery SR, Wilson PPH, Pawlowski RP.
Referenced in: 8 Publications (2016–2022)
Related Software: preCICE; MpCCI; Trilinos; MCT; tangram; Wonton; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

JViews

Software Authors:   IBM
Referenced in: 8 Publications (2002–2021)
Related Software: FDR2; Z; Paracooba; Kissat; CaDiCaL; Z3str3; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)

PracTools

Software Authors:   Valliant, Richard; Dever, Jill A.; Kreuter, Frauke
Referenced in: 8 Publications (2013–2022)
Related Software: R; sampling; survival; SAS; svr; WesVar; …
Main Fields: Statistics (62-XX); Statistical mechanics, structure of matter (82-XX)

rp.flm.test

Software Authors:   Cuesta-Albertos, Juan A.;García-Portugués, Eduardo; Febrero-Bande, Manuel; Gonz'alez-Manteiga, Wenceslao
Referenced in: 9 Publications (2019–2021)
Related Software: fda (R); pffr; RobStatTM; robustbase; fdatest; fda.usc
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX)

Tecton

Software Authors:   Kapur, D.; Nie, X.; Musser, D. R.
Referenced in: 5 Publications (1994–2003)
Related Software: RRL; NQTHM; AFFIRM; Nuprl; LARCH; STL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)