×

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

SciPy

Software Authors:   Jones, E., Oliphant, T., Peterson, P., et al.
Referenced in: 541 Publications (2005–2022)
Related Software: Python; NumPy; Matplotlib; Scikit; GitHub; TensorFlow; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

REDUCE

Software Authors:   Anthony C. Hearn; Rayna, Gerhard; Rainer Schöpf; Thomas Sturm
Referenced in: 733 Publications (1970–2021)
Related Software: Maple; Mathematica; MACSYMA; DIMSYM; EXCALC; AXIOM; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

INTLAB

Software Authors:   Rump, Siegfried M.
Referenced in: 470 Publications (1999–2022)
Related Software: Matlab; mctoolbox; C-XSC 2.0; C-XSC; INTOPT_90; VERSOFT; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

XFEM

Software Authors:   Bordas, Stéphane Author Profile; Nguyen, Phu Vinh; Dunant, Cyrille; Guidoum, Amor; Nguyen-Dang, Hung
Referenced in: 389 Publications (2002–2022)
Related Software: Gmsh; Matlab; Mfree2D; ABAQUS; CutFEM; Getfem++; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

ode23

Software Authors:   MathWorks, Inc
Referenced in: 332 Publications (1995–2022)
Related Software: Matlab; MATLAB ODE suite; Ode15s; ode45; ode23s; ode113; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Datalog

Software Authors:   Ceri, S., Gottlob, G., Tanca, L
Referenced in: 280 Publications (1978–2022)
Related Software: ASSAT; Gringo; Clingo; WASP; Smodels; DLV; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-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)

Z

Software Authors:   Woodcock, Jim; Davies, Jim
Referenced in: 223 Publications (1958–2022)
Related Software: Circus; ProofPower; Rodin; Z/EVES; Eiffel; PVS; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

ABAQUS/Standard

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

NEURON

Software Authors:   Migliore, M.; Cannia, C.; Lytton, W.W.; Markram, Henry; Hines, M.L.
Referenced in: 135 Publications (1996–2021)
Related Software: NEST; Brian; Pynn; Spikenet; SpiNNaker; XPPAUT; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Maxima

Software Authors:   William Schelter
Referenced in: 159 Publications (1998–2022)
Related Software: Mathematica; SageMath; Maple; R; GAP; GeoGebra; …
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX)

KEEL

Software Authors:   Alcalá-Fdez, J.; Sánchez, L.; García, S.; del Jesus, M.J.; Ventura, S.; Garrell, J.M.; Otero, J.; Romero, C.; Bacardit, J.; Rivas, V.M.; Fernández, J.C.; Herrera, F.
Referenced in: 87 Publications (2009–2022)
Related Software: JStatCom; UCI-ml; C4.5; R; SMOTE; SPEA2; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

QSIMVN

Software Authors:   Alan Genz
Referenced in: 153 Publications (1998–2022)
Related Software: R; mvtnorm; AS 195; Orthants; sn; tmg; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

NQTHM

Software Authors:   Boyer, Robert S.; Moore, J. Strother
Referenced in: 139 Publications (1979–2021)
Related Software: HOL; ACL2; PVS; Coq; ML; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

RKC

Software Authors:   Sommeijer, B.P.; Shampine, L.F.; Verwer, J.G.
Referenced in: 126 Publications (1996–2022)
Related Software: RODAS; VODE; S-ROCK; IRKC; SERK2; Matlab; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

LattE

Software Authors:   De Loera, J.A., Hemmecke, R., Tauzer, J., Yoshida, R; M. Köppe
Referenced in: 123 Publications (2003–2022)
Related Software: Normaliz; polymake; 4ti2; barvinok; cdd; Maple; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Convex and discrete geometry (52-XX)

RcppArmadillo

Software Authors:   Romain Francois, Dirk Eddelbuettel, Doug Bates
Referenced in: 48 Publications (2012–2022)
Related Software: R; Rcpp; Armadillo; ggplot2; CODA; CRAN; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Taylor

Software Authors:   Jorba, Àngel; Zou, Maorong
Referenced in: 102 Publications (2003–2022)
Related Software: ATOMFT; TIDES; RODES; Mathematica; Cosy; MPFR; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

Theano

Software Authors:   J. Bergstra, O. Breuleux, F. Bastien, P. Lamblin, R. Pascanu, G. Desjardins, J. Turian, D. Warde-Farley, Y. Bengio.
Referenced in: 65 Publications (2012–2022)
Related Software: TensorFlow; Adam; PyTorch; Python; Keras; SciPy; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Pellet

Software Authors:   Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.; Clark & Parsia, LLC
Referenced in: 67 Publications (2006–2022)
Related Software: FaCT++; Racer; HermiT; swrl; Protege; Jena; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Xilinx

Software Authors:   Xilinx Inc.
Referenced in: 22 Publications (1994–2021)
Related Software: Handel-C; Simulink; Snort; Matlab; CUDA; PhysioToolkit; …
Main Fields: Field theory and polynomials (12-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

OASES

Software Authors:   H. Schmidt; F.B. Jensen; et. al.
Referenced in: 94 Publications (1993–2022)
Related Software: IIMPACK; COUPLE; CutFEM; SAFARI; DLMF; WolframAlpha; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

FEAST

Software Authors:   Tang, Ping Tak Peter; Polizzi, Eric
Referenced in: 89 Publications (2012–2022)
Related Software: CIRR; JDQZ; lobpcg.m; SparseMatrix; JDQR; ARPACK; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Operator theory (47-XX)

Armadillo

Software Authors:   Conrad Sanderson
Referenced in: 59 Publications (2003–2021)
Related Software: R; RcppArmadillo; Rcpp; Matlab; Python; Eigen; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

MEBDF

Software Authors:   Abdulla, T.J.; Cash, J.R.; Diamantakis, M.T.
Referenced in: 88 Publications (1983–2022)
Related Software: RODAS; DASSL; A-EBDF; VODE; LSODE; RKC; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

TESTPACK

Software Authors:   A. Genz
Referenced in: 87 Publications (1988–2021)
Related Software: sobol.cc; TOMS659; PATSYM; MersenneTwister; HRMSYM; Chebfun; …
Main Fields: Number theory (11-XX); Approximations and expansions (41-XX); Probability theory and stochastic processes (60-XX)

Cuba

Software Authors:   Hahn, T.
Referenced in: 75 Publications (2005–2022)
Related Software: SecDec; FIESTA; LiteRed; FIRE; Mathematica; FIESTA 3; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

ABAQUS/Explicit

Software Authors:   Dassault Systèmes
Referenced in: 78 Publications (1997–2022)
Related Software: ABAQUS; ABAQUS/Standard; UMAT; VUMAT; LS-DYNA; FLAC; …
Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)

Apron

Software Authors:   Jeannet, Bertrand; Miné, Antoine
Referenced in: 68 Publications (1991–2021)
Related Software: ASTREE; PPL; z3; Octagon; Interproc; PAGAI; …
Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX)

BABEL

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

DERIVE

Software Authors:   Kutzler, Bernhard; Wall, Bernhard; Winkler, Franz
Referenced in: 49 Publications (1991–2019)
Related Software: Mathematica; Maple; MACSYMA; REDUCE; AXIOM; MuPAD; …
Main Fields: General and overarching topics; collections (00-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

PROGRES

Software Authors:   Münch, Manfred; Schürr, Andy; Winter, Andreas J.
Referenced in: 49 Publications (1994–2020)
Related Software: VIATRA2; AGG; Fujaba; SPIN; DIEGO; Graph transformation benchmarks; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

PLINK

Software Authors:   Purcell S, Neale B, Todd-Brown K, Thomas L, Ferreira MAR, Bender D et al
Referenced in: 58 Publications (1994–2022)
Related Software: R; GCTA; Eigenstrat; STRUCTURE; Haploview; pi-MASS; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

OMNet++

Software Authors:   András Varga
Referenced in: 33 Publications (2001–2021)
Related Software: ns-2; Chord; GloMoSim; Gurobi; SSFNet; ns-3; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CVODE

Software Authors:   Cohen, S.D., Hindmarsh, A.C.
Referenced in: 60 Publications (1997–2021)
Related Software: SUNDIALS; RODAS; Cantera; VODE; RKC; Boost C++ Libraries; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

GLLAMM

Software Authors:   Sophia Rabe-Hesketh; Anders Skrondal; Andrew Pickles; Colin Taylor; Stata Corporation; Bobby Gutierrez
Referenced in: 56 Publications (2001–2021)
Related Software: Stata; R; Mplus; MLwiN; WinBUGS; HLM; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)

MODFLOW

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

WebSphere

Software Authors:   IBM
Referenced in: 15 Publications (2001–2016)
Related Software: Oracle; JBoss; AO4BPEL; httperf; ImageMagick; DB2; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

PATSYM

Software Authors:   Alan Genz
Referenced in: 63 Publications (1986–2022)
Related Software: HRMSYM; nwSpGr; TESTPACK; OPQ; Matlab; SPGL1; …
Main Fields: Approximations and expansions (41-XX); Probability theory and stochastic processes (60-XX); Statistics (62-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)

LabVIEW

Software Authors:   National Instruments Corporation
Referenced in: 52 Publications (1999–2021)
Related Software: Matlab; Simulink; BabelFish; CasADi; Modelica; PhysioToolkit; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

LIMbook

Software Authors:   Brugnano, Luigi; Iavernaro, Felice
Referenced in: 59 Publications (2016–2022)
Related Software: BiMD; BiM; RODAS; Mulprec; Matlab; HLLE; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

mpmath

Software Authors:   Fredrik Johansson
Referenced in: 55 Publications (2010–2022)
Related Software: SageMath; Mathematica; SciPy; SymPy; DLMF; Python; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Numerical analysis (65-XX)

VEGAS

Software Authors:   G. Lepage
Referenced in: 55 Publications (1978–2021)
Related Software: FORM; Cuba; PYTHIA8; MadGraph; Foam; Python; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

HolonomicFunctions

Software Authors:   Christoph Koutschan
Referenced in: 54 Publications (2009–2022)
Related Software: Mathematica; SINGULAR; gfun; Plural; OEIS; DLMF; …
Main Fields: Combinatorics (05-XX); Special functions (33-XX); Numerical analysis (65-XX)

PREMIX

Software Authors:   R. J. Kee, J. F. Grcar, M. D. Smooke, J. A. Miller, E. Meeks
Referenced in: 57 Publications (1987–2021)
Related Software: CHEMKIN; TRANSPORT; GRI-Mech 3.0; VODE; ODEPACK; pySDC; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX)

CasADi

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

nwSpGr

Software Authors:   Florian Heiss, Viktor Winschel
Referenced in: 55 Publications (2008–2022)
Related Software: HRMSYM; PATSYM; Matlab; OPQ; SPGL1; sobol.cc; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

NP

Software Authors:   Czapor, S.R.; McLenaghan, R.G.
Referenced in: 53 Publications (1987–2021)
Related Software: NPspinor; Maple; GRTensorII; xTensor; Mathematica; Invar; …
Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Quantum theory (81-XX)

CompEcon

Software Authors:   Paul Fackler, Mario Miranda
Referenced in: 50 Publications (2002–2022)
Related Software: Matlab; Gensys; nwSpGr; JBendge; Dynare; RECS; …
Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

ROWMAP

Software Authors:   Weiner, R.; Schmitt, B.A.; Podhaisky, H.
Referenced in: 49 Publications (1997–2022)
Related Software: RODAS; Matlab; RKC; ROS3P; VODE; LSODA; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

STRING

Software Authors:   Franceschini, A.; Szklarczyk, D.; Frankild, S.; Kuhn, M.; Simonovic, M.; Roth, A.; Lin, J.; Minguez, P.; Bork, P.; Von Mering, C.; Jensen, L. J.
Referenced in: 46 Publications (2012–2022)
Related Software: KEGG; R; Cytoscape; BioGRID; IntAct; Bioconductor; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

BayesLogit

Software Authors:   Polson, Nicholas G.; Scott, James G.; Windle, Jesse
Referenced in: 46 Publications (2013–2022)
Related Software: R; tsbridge; CODA; PRMLT; glasso; WinBUGS; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

IF-2.0

Software Authors:   Bozga, Marius; Graf, Susanne; Mounier, Laurent
Referenced in: 37 Publications (2002–2017)
Related Software: Uppaal; Kronos; SPIN; HyTech; CADP; CMC; …
Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

MATAD

Software Authors:   Steinhauser, Matthias
Referenced in: 46 Publications (2001–2021)
Related Software: FORM; Axodraw; Mincer; Fermat; HarmonicSums; FeynCalc; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Approximations and expansions (41-XX)

elsA

Software Authors:   ONERA
Referenced in: 42 Publications (1987–2022)
Related Software: Spalart-Allmaras; AUSM; TAU; ARPACK; XFOIL; OpenFOAM; …
Main Fields: Algebraic geometry (14-XX); Statistics (62-XX); Numerical analysis (65-XX)

FIESTA

Software Authors:   Smirnov, A.V.; Smirnov, V.A.; Tentyukov, M.
Referenced in: 42 Publications (2009–2022)
Related Software: LiteRed; FIRE; SecDec; Reduze; FIESTA 3; MBresolve; …
Main Fields: Operator theory (47-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

HDECAY

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

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)

YAP-Prolog

Software Authors:   Vítor Santos Costa, Luís Damas, Rogério Reis, Rúben Azevedo
Referenced in: 43 Publications (1999–2020)
Related Software: XSB; ProbLog; B-Prolog; SWI-Prolog; Aleph; SICStus; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)

Daikon

Software Authors:   Ernst, Michael D.; Perkins, Jeff H.; Guo, Philip J.; McCamant, Stephen; Pacheco, Carlos; Tschantz, Matthew S.; Xiao, Chen
Referenced in: 34 Publications (2005–2022)
Related Software: JML; Eiffel; z3; Houdini; Z; JCrasher; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

pde2path

Software Authors:   H. Uecker, D. Wetzel, J. Rademacher
Referenced in: 44 Publications (2014–2022)
Related Software: AUTO; MATCONT; Matlab; AUTO-07P; COCO; HomCont; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

Z/EVES

Software Authors:   Community Z Tools Project
Referenced in: 35 Publications (1998–2021)
Related Software: Z; ProofPower; Circus; Coq; JML; ProB; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX)

SIMSON

Software Authors:   Chevalier, M., Schlatter, P., Lundbladh, A., Henningson, D.S.
Referenced in: 43 Publications (2008–2022)
Related Software: Nek5000; ARPACK; Differentiation Matrix Suite; Adam; PyTorch; Eigtool; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

CompHep

Software Authors:   E.Boos, V.Bunichev, M.Dubinin, L.Dudko, V.Edneral, V.Ilyin, A.Kryukov, V.Savrin, A.Semenov ,A.Sherstnev
Referenced in: 39 Publications (1997–2021)
Related Software: MadGraph; CalcHEP; FeynArts; WHIZARD; SHERPA; PHEGAS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

CIRR

Software Authors:   Sakurai, Tetsuya; Tadano, Hiroto
Referenced in: 40 Publications (2007–2021)
Related Software: FEAST; ARPACK; SparseMatrix; JDQZ; LAPACK; EVSL; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Functions of a complex variable (30-XX); Approximations and expansions (41-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)

RADAR5

Software Authors:   Guglielmi, N.; Hairer, E.
Referenced in: 41 Publications (2001–2022)
Related Software: RODAS; DDE-BIFTOOL; ddesd; RADAU; DKLAG6; FracPECE; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX)

SMIL

Software Authors:   W3.org
Referenced in: 10 Publications (2001–2016)
Related Software: XPath; Lua; SPARQL; TRIPLE; Nevada; Dynagraph; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Mathematics education (97-XX)

CONTENT

Software Authors:   Govaerts, W.; Kuznetsov, Yu.A.; Sijnave, B.
Referenced in: 37 Publications (1997–2020)
Related Software: AUTO; MATCONT; HomCont; XPPAUT; CL_MATCONT; LOCBIF; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

Mosel

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

RIM_DOM.F90

Software Authors:   Gao, Xiao-Wei
Referenced in: 37 Publications (2005–2022)
Related Software: BEMECH; XFEM; FreeHyTE; Mfree2D; SERBA
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Symbolic Math Toolbox

Software Authors:   mathworks
Referenced in: 34 Publications (2003–2020)
Related Software: Matlab; Mathematica; Simulink; MuPAD; Maple; Python; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

zChaff

Software Authors:   Yogesh Mahajan
Referenced in: 32 Publications (2003–2020)
Related Software: Chaff; MiniSat; BerkMin; SATO; Zchaff2004; Walksat; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-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)

CVODES

Software Authors:   R. Serban; A. C. Hindmarsh
Referenced in: 34 Publications (2003–2020)
Related Software: SUNDIALS; ADIC; ADOL-C; ADIFOR; FATODE; Matlab; …
Main Fields: Ordinary differential equations (34-XX); Statistics (62-XX); Numerical analysis (65-XX)

SecDec

Software Authors:   J. Carter; Sophia Borowka, Gudrun Heinrich, Stephan Jahn, Stephen Jones, Matthias Kerner, Johannes Schlenk, Tom Zirke
Referenced in: 32 Publications (2011–2022)
Related Software: Reduze; FIESTA; FIESTA 3; Cuba; LiteRed; FIRE5; …
Main Fields: Number theory (11-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

MediaBench

Software Authors:   Lee, C., Potkonjak, M., Mangione-Smith, W.H.
Referenced in: 16 Publications (2001–2016)
Related Software: MiBench; SimpleScalar; Wattch; CACTI; SEC-DED; RTMemController; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-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)

SMART_

Software Authors:   Ciardo, G.; Jones, R.L.; Miner, A.S.; Siminiceanu, R.
Referenced in: 23 Publications (2000–2018)
Related Software: SPIN; PRISM; NuSMV; Möbius; PEPA; MRMC; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

CoArray

Software Authors:   Numrich, Robert W.; Reid, John
Referenced in: 21 Publications (2002–2022)
Related Software: Chapel; NAS Parallel Benchmarks; ARMCI; MPI; OpenCoarrays; MapReduce; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Isabelle/jEdit

Software Authors:   Wenzel, Makarius
Referenced in: 32 Publications (2011–2022)
Related Software: Isabelle; Isabelle/HOL; Coq; Proof General; PIDE; Archive Formal Proofs; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

MadEvent

Software Authors:   Fabio Maltoni, Tim Stelzer
Referenced in: 31 Publications (2009–2015)
Related Software: MadGraph; CompHep; PYTHIA8; SHERPA; ALPGEN; PHEGAS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

PARAEXP

Software Authors:   Gander, Martin J.; Güttel, Stefan
Referenced in: 31 Publications (2013–2022)
Related Software: XBraid; pySDC; PFASST; MGRIT; RODAS; mftoolbox; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

polyquad

Software Authors:   Witherden, F.D.; Vincent, P.E.
Referenced in: 31 Publications (2015–2022)
Related Software: Gmsh; Trilinos; quadpy; GitHub; MUMPS; UMFPACK; …
Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

ValEncIA-IVP

Software Authors:   Andreas Rauh; Eberhard P. Hofer; Ekaterina Auer
Referenced in: 30 Publications (2008–2022)
Related Software: ValEncIA; Cosy; FADBAD++; SmartMobile; VNODE; PROFIL/BIAS; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

CUBPACK

Software Authors:   Cools, Ronald; Haegemans, Ann
Referenced in: 30 Publications (1992–2021)
Related Software: Cubpack++; Matlab; adsimp; QUADPACK; TESTPACK; TRIEX; …
Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Mayavi

Software Authors:   P. Ramachandran; G. Varoquaux
Referenced in: 23 Publications (2007–2022)
Related Software: MayaVi; Python; Matplotlib; SciPy; NumPy; VTK; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

mixOmics

Software Authors:   Sebastien Dejean, Ignacio Gonzalez, Kim-Anh Le Cao, Pierre Monget, Jeff Coquery, FangZou Yao, Benoit Liquet, Florian Rohart
Referenced in: 22 Publications (2008–2020)
Related Software: R; PMA; spls; CCA; ADE-4; integrOmics; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

OFMC

Software Authors:   Sebastian Mödersheim, Luca Viganò
Referenced in: 25 Publications (2005–2021)
Related Software: AVISPA; NRL; Casper; Maude; ProVerif; Maude-NPA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Virtual library

Software Authors:   Surjanovic, S., Bingham, D.
Referenced in: 27 Publications (2015–2022)
Related Software: DiceOptim; DiceKriging; EGO; L-BFGS; Spearmint; R; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Algorithm 682

Software Authors:   Murli, A.; Rizzardi, M.
Referenced in: 26 Publications (1990–2020)
Related Software: Algorithm 662; Algorithm 368; Algorithm 796; Matlab; ReLaTIve; CUDA; …
Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Integral transforms, operational calculus (44-XX)

MAYA

Software Authors:   Hutter, Dieter; Autexier, Serge
Referenced in: 23 Publications (2002–2015)
Related Software: CASL; Mizar; Isabelle; OMDoc; TPTP; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

HySAT

Software Authors:   Fränzle, Martin; Herde, Christian
Referenced in: 25 Publications (2006–2021)
Related Software: MathSAT; HyTech; SpaceEx; PHAVer; ABsolver; RSOLVER; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

Tom

Software Authors:   Emilie Balland; Paul Brauner; Radu Kopetz; Pierre-Etienne Moreau; Antoine Reilles
Referenced in: 21 Publications (2006–2022)
Related Software: Stratego; Maude; ELAN; ASF+SDF; PORGY; GP 2; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

CADRE

Software Authors:   de Boor, C.
Referenced in: 25 Publications (1973–2010)
Related Software: QUADPACK; Algorithm 145; Matlab; PASCAL-XSC; EISPACK; COLSYS; …
Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

cheney-kincaid

Software Authors:   Cheney, Ward; Kincaid, David
Referenced in: 23 Publications (1985–2012)
Related Software: MACSYMA; Matlab; Mathematica; Maple; SimGen; PLTMG; …
Main Fields: Approximations and expansions (41-XX); Statistics (62-XX); Numerical analysis (65-XX)

Cubature

Software Authors:   Johnson, S. G., Narasimhan, B.
Referenced in: 17 Publications (2012–2022)
Related Software: R; pracma; Ryacas; Rcpp; deSolve; Deriv; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

DCUHRE

Software Authors:   Berntsen, Jarle; Espelid, Terje O.; Genz, Alan
Referenced in: 23 Publications (1991–2022)
Related Software: QUADPACK; Cuba; R; minpack; Maple; QSIMVN; …
Main Fields: Approximations and expansions (41-XX); Statistics (62-XX); Numerical analysis (65-XX)