×

Found 76 Software Packages (Results 1–76)

Nek5000

Software Authors:   Peplinski, A.; Schlatter, P.; Fischer, P.F.; Henningson, D.S.
Cited in: 141 Publications (2010–2022)
Related Software: Nektar++; SIMSON; FreeFem++; OpenFOAM; Gmsh; p4est; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

HolonomicFunctions

Software Authors:   Christoph Koutschan
Cited in: 56 Publications (2009–2022)
Related Software: Mathematica; SINGULAR; gfun; Plural; OEIS; DLMF; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX)

Janet

Software Authors:   Blinkov Y, Cid C, Gerdt V, Plesken W, Robertz D
Cited in: 37 Publications (2005–2021)
Related Software: SINGULAR; Maple; OreModules; DifferentialThomas; Macaulay2; Plural; …
Main Fields: Commutative algebra (13-XX); Partial differential equations (35-XX); Computer science (68-XX)

MCK

Software Authors:   Ron van der Meyden; Peter Gammie; Kai Baukus; Jeremy Lee; Cheng Luo; Xiaowei Huang
Cited in: 33 Publications (2004–2021)
Related Software: MCMAS; VerICS; NuSMV; CUDD; MOCHA; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Perseus

Software Authors:   Vidit Nanda
Cited 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)

COBRA

Software Authors:   Sanchez, R.; Hirshman, S.P.; Whitson, J.C.; Ware, A.S.
Cited in: 26 Publications (1998–2012)
Related Software: ARPACK; Eigtool; testmatrix; SPARSKIT; ITSOL; Seigtool; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

PSBLAS

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

SpectrUW

Software Authors:   Deconinck, Bernard; Kiyak, Firat; Carter, John D.; Kutz, J.Nathan
Cited in: 15 Publications (2007–2020)
Related Software: STABLAB; AUTO; GitHub; HomCont; wavetrain; LAPACK; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Operator theory (47-XX)

C-AMS

Software Authors:   Ţene, Matei; Wang, Yixuan; Hajibeygi, Hadi
Cited in: 14 Publications (2015–2021)
Related Software: SGeMS; XFEM; ILUT; JDQZ; Eigen; JDQR; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

smt

Software Authors:   Redivo-Zaglia, Michela; Rodriguez, Giuseppe
Cited in: 13 Publications (2008–2019)
Related Software: Regularization tools; Matlab; drsolve; na31; hubauth; OPQ; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX)

TeMP

Software Authors:   Hustadt, Ullrich; Konev, Boris; Riazanov, Alexandre; Voronkov, Andrei
Cited in: 14 Publications (2004–2021)
Related Software: VAMPIRE; TSPASS; TRP++; SPIN; CAVA LTL Modelchecker; AIGER; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Hilbert class library

Software Authors:   Gockenbach, M.S.; Symes, W.W.
Cited in: 9 Publications (1996–2022)
Related Software: LAPACK; L-BFGS; ADIFOR; OPT++; TNT; LANCELOT; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Beaver

Software Authors:   Sanjit Seshia
Cited in: 9 Publications (2010–2021)
Related Software: Yices; z3; MathSAT; Boolector; MiniSat; CVC4; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

STeLP

Software Authors:   Cabalar, Pedro; Diéguez, Martín
Cited in: 9 Publications (2011–2019)
Related Software: Coala; Gringo; CCalc; ASSAT
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Algorithm 949

Software Authors:   Fu, Zhixing; Gatica, Luis F.; Sayas, Francisco-javier
Cited in: 8 Publications (2015–2022)
Related Software: Matlab; FESTUNG; Gmsh; p1afem; HDG3D; HArDCore; …
Main Fields: History and biography (01-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

FaIMS

Software Authors:   Chaillat, St'ephanie; Biros, George
Cited in: 9 Publications (2012–2022)
Related Software: LSQR; redbKIT; CLAIRE; Matlab; DOLFIN; Gmsh
Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Integral equations (45-XX)

SMEFTsim

Software Authors:   Ilaria Brivio, Yun Jiang, Michael Trott
Cited in: 3 Publications (2018–2021)
Related Software: DsixTools; FeynRules; Wilson; SmeftFR; MatchingTools; flavio; …
Main Fields: Quantum theory (81-XX); Relativity and gravitational theory (83-XX)

Spot

Software Authors:   Ewout van den Berg; Michael P. Friedlander
Cited in: 8 Publications (2008–2021)
Related Software: ASTRA; SPGL1; Regularization tools; PDCO; GitHub; Matlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

ILUBCG2

Software Authors:   Chen, Y.M.; Koniges, A.E.; Anderson, D.V.
Cited in: 8 Publications (1988–2004)
Related Software: CGS; CPDES2; YSMP
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

RBmatlab

Software Authors:   M. Drohmann, B. Haasdonk, S. Kaulmann, M. Ohlberger
Cited in: 6 Publications (2012–2021)
Related Software: DUNE; rbMIT; libMesh; FEniCS; pyMOR; redbKIT; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

SParC-LES

Software Authors:   Andrea Aprovitola; Pasqua D’Ambra; Filippo M. Denaro; Daniela di Serafino; Salvatore Filippone
Cited in: 6 Publications (2013–2021)
Related Software: MLD2P4; PSBLAS; 2LEV-D2P4; AmgX; GitHub; BootCMatch; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

eHDECAY

Software Authors:   R. Contino, M. Ghezzi, C. Grojean, M.M. Muhlleitner, M. Spira
Cited in: 5 Publications (2013–2016)
Related Software: HDECAY; HEPfit; BAT; TOPAZ0; ZFITTER; ROOT; …
Main Fields: Quantum theory (81-XX)

HPDDM

Software Authors:   Pierre Jolivet; Frédéric Nataf
Cited in: 6 Publications (2015–2020)
Related Software: FreeFem++; GitHub; PETSc; MUMPS; ARPACK; ONELAB; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Tick

Software Authors:   Emmanuel Bacry, Martin Bompaire, Stéphane Gaïffas, Soren Poulsen
Cited in: 4 Publications (2018–2020)
Related Software: PyHawkes; Scikit; PtPack; Python; lightning; hawkes; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

Algolib

Software Authors:   Algo team at INRIA
Cited in: 5 Publications (2004–2022)
Related Software: Maple; OEIS; HOL Light; Coq; gdev; Zeta_3_Irrational; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Number theory (11-XX)

lmomco

Software Authors:   Asquith, W.H.
Cited in: 4 Publications (2013–2017)
Related Software: LMOMENTS; R; Lmoments; POT; actuar; fitdistrplus; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)

Playa

Software Authors:   V. E. Howle, R. C. Kirby, K. Long, B. Brennan, K. Kennedy
Cited in: 4 Publications (2016–2019)
Related Software: Trilinos; Teko; FEniCS; FIAT; petsc4py; UFL; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

TenRes

Software Authors:   Hossein Poor, Jamal; Raab, Clemens G.; Regensburger, Georg
Cited in: 5 Publications (2016–2020)
Related Software: Mathematica; OreModules; Maple; Plural
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Operator theory (47-XX)

AUTO_DERIV

Software Authors:   S. Stamatiadis, R. Prosmiti, S.C. Farantos
Cited in: 4 Publications (2000–2010)
Related Software: ADIFOR; ADOL-C; POMULT; Cosy; TaylUR; HSL; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

BETHE-hydro

Software Authors:   Jeremiah W. Murphy; Adam Burrows
Cited in: 4 Publications (2011–2018)
Related Software: AstroPhi; FFTW; gooPhi; Gasoline; RAMSES; HERACLES; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Astronomy and astrophysics (85-XX)

ChebCoInt

Software Authors:   De Marchi, Stefano; Vianello, Marco
Cited in: 4 Publications (2001–2005)
Related Software: Matlab; Chebfun; Cubpack++; KELLEY
Main Fields: Approximations and expansions (41-XX); Integral equations (45-XX); Numerical analysis (65-XX)

LaraDB

Software Authors:   Dylan Hutchison, Bill Howe, Dan Suciu
Cited in: 4 Publications (2018–2022)
Related Software: MATLANG; MathOverflow; APL
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Associative rings and algebras (16-XX)

LDA

Software Authors:   Gerdt, Vladimir P.; Robertz, Daniel
Cited in: 3 Publications (2015–2021)
Related Software: Janet; TDDS; Letterplace; FourTiTwo; symmChainGens; Maple; …
Main Fields: Commutative algebra (13-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

RPYFMM

Software Authors:   Guan, W.; Cheng, X.; Huang, J.; Huber, G.; Li, W.; McCammon, JA; Zhang, B.
Cited in: 4 Publications (2020–2022)
Related Software: pvfmm; H2Pack; tabipb; TABI; STKFMM; LibGeoDecomp; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

elastoplastic contact

Software Authors:   Frérot, Lucas; Bonnet, Marc; Molinari, Jean-François; Anciaux, Guillaume
Cited in: 3 Publications (2019–2021)
Related Software: Mindlin; SciPy; ParaView; FFTW; MUMPS; Gmsh
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

flm

Software Authors:   Parodi, Alice; Reimherr, Matthew
Cited in: 3 Publications (2018–2022)
Related Software: fda (R); R; spBayes; glmnet; SemiPar; NLopt; …
Main Fields: Functional analysis (46-XX); Statistics (62-XX)

FluidFFT

Software Authors:   Ashwin Vishnu Mohanan, Cyrille Bonamy, Pierre Augier
Cited in: 1 Publication (2019)
Related Software: FluidSim; FluidDyn; Python; Pythran; cuFFT; PFFT; …
Main Fields: Fluid mechanics (76-XX)

LPDO

Software Authors:   Shemyakova, Ekaterina
Cited in: 3 Publications (2013–2016)
Related Software: Maple; GraphTheory
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Integral transforms, operational calculus (44-XX)

NORSE

Software Authors:   Stahl, A.; Landreman, M.; Embréus, O.; Fülöp, T.
Cited in: 3 Publications (2017–2022)
Related Software: DKE; CQL3D; ODEPACK; Poissonsolver; Matlab
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

OMOEA-II

Software Authors:   Zeng, Sanyou; Yao, Shuzhen; Kang, Lishan; Liu, Yong
Cited in: 2 Publications (2005–2009)
Related Software: SPEA2; HypE; MOEA/D
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

PyLab

Software Authors:   SciPy developers
Cited in: 2 Publications (2013–2016)
Related Software: Sally; WEKA; SHOGUN; Matlab; hglm; KeBABS; …
Main Fields: Computer science (68-XX)

SPICES1

Software Authors:   V. Riccardo, G.G.M. Coppa, G. Lapenta
Cited in: 3 Publications (1998–2015)
Related Software: Vador
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Quantum theory (81-XX)

YALES2

Software Authors:   V. Moureau, G. Lartigue; CORIA
Cited in: 3 Publications (2013–2021)
Related Software: pyJac; DINOSOARS; GitHub; HOLOMAC; Cantera; 2DECOMP; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

Aboria

Software Authors:   M. Robinson, M. Bruna
Cited in: 2 Publications (2017–2019)
Related Software: FEniCS; Gmsh; Matlab
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Fluid mechanics (76-XX)

Dalton

Software Authors:   Aidas, K.; Angeli, C.; Bak, K. L.; Bakken, V.; Bast, R.; Boman, L.; Christiansen, O.; et al.
Cited in: 1 Publication (2020)
Related Software: SPHINX; EinSum; CuPy; Jmol; Psi4NumPy; NumPy; …
Main Fields: Statistical mechanics, structure of matter (82-XX)

FlexBox

Software Authors:   Hendrik Dirks
Cited in: 2 Publications (2018–2019)
Related Software: Wirtinger Flow; PhaseLift; GESPAR
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Ifpack2

Software Authors:   Prokopenko, A.; Siefert, C. M.; Hu, J. J.; Hoemmen, M.; Klinvex, A
Cited in: 2 Publications (2018–2022)
Related Software: GitHub; Trilinos; MueLu; MPI/MPICH; PETSc; Albany; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

IntDiffOp

Software Authors:   Korporal, Anja; Regensburger, Georg
Cited in: 2 Publications (2014–2017)
Related Software: Maple
Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX)

JET

Software Authors:   Meshkov, A. G.
Cited in: 2 Publications (2002–2008)
Related Software: Maple
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

PyLops

Software Authors:   Matteo Ravasi, Ivan Vasconcelos
Cited in: 0 Publications
Related Software: NumPy; SciPy; Python; emcee; PyMultiNest; PyAutoFit; …
Main Fields:

QuBiLs-MIDAS

Software Authors:   García-Jacas, C. R.; Marrero-Ponce, Y.; Acevedo-Martínez, L.; Barigye, S. J.; Valdés-Martiní, J. R.; Contreras-Torres, E
Cited in: 2 Publications (2015–2020)
Related Software: ToMoCoMD-CARDD; FoldRate; MuLiMs-MCoMPAs; PseAAC-Builder; PROFEAT; LogitBoost; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

RBDL

Software Authors:   M. L. Felis
Cited in: 1 Publication (2021)
Related Software: Puppeteer; Simox; Simbody; Matlab; Octave; ModelFactory; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Mechanics of particles and systems (70-XX)

SuiteSparse.GraphBLAS

Software Authors:   Barthwal, Aditi; Norrish, Michael
Cited in: 2 Publications (2019–2022)
Related Software: na20; Ode15s; OEIS; GraphBLAS; GraphMat; RedisGraph; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Measure and integration (28-XX)

Algorithm 1020

Software Authors:   Speleers, Hendrik
Cited in: 1 Publication (2022)
Related Software: Algorithm 999
Main Fields: Numerical analysis (65-XX)

bSDMM

Software Authors:   Moolekamp, Fred; Melchior, Peter
Cited in: 1 Publication (2018)
Related Software: Python; UNLocBoX
Main Fields: Operations research, mathematical programming (90-XX)

Deriving class

Software Authors:   Christian Sternagel; René Thiemann
Cited in: 1 Publication (2017)
Related Software: Kodkod; Nested Multisets; Abstract Completeness; Knuth Bendix Orders; Markov Models; Jinja Threads; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

fastmat

Software Authors:   Christoph W. Wagner; Sebastian Semper; Jan Kirchhof
Cited in: 0 Publications
Related Software: SparseMatrix; FFTW; Pygpc; SciPy; NumPy; Cython; …
Main Fields:

FCC

Software Authors:   Dabiri, A.
Cited in: 1 Publication (2017)
Related Software: FracPECE; DFOC; sysdfod; Matlab
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX)

fenicsR13

Software Authors:   Theisen, Lambert; Torrilhon, Manuel
Cited in: 1 Publication (2021)
Related Software: Firedrake; FEniCS-HPC; FEniCS; DOLFIN; Gmsh; FIAT
Main Fields: Numerical analysis (65-XX)

FLEXMG

Software Authors:   Rasquin, M.; Deconinck, H.; Degrez, G.
Cited in: 1 Publication (2010)
Related Software: SPARSKIT; METIS
Main Fields: Fluid mechanics (76-XX)

LARLIB

Software Authors:   Francesco Furiani, Giulio Martella, Alberto Paoluzzi
Cited in: 0 Publications
Related Software: Algorithm 447; CGAL; TensorFlow; Julia
Main Fields:

Libunfold

Software Authors:   A. László
Cited in: 1 Publication (2016)
Related Software: RooUnfold; GSL
Main Fields: Operator theory (47-XX); Statistics (62-XX); Numerical analysis (65-XX)

MLPQ

Software Authors:   P. Revesz, Y. Li
Cited in: 1 Publication (2010)
Related Software: DEDALE; XPERANTO; CCUBE; LyriC; CDB-PV; PostgreSQL; …
Main Fields: Computer science (68-XX)

MuLiMs-MCoMPAs

Software Authors:   Marrero-Ponce, Yovani; Teran, Julio E.; Contreras-Torres, Ernesto; García-Jacas, César R.; Perez-Castillo, Yunierkis; Cubillan, Nestor; Peréz-Giménez, Facundo; Valdés-Martini, José R.
Cited in: 1 Publication (2020)
Related Software: FoldRate; PseAAC-Builder; PROFEAT; QuBiLs-MIDAS; ToMoCoMD-CARDD; LogitBoost; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

OpenMLC-Python

Software Authors:   –
Cited in: 0 Publications
Related Software: DEAP; ZeroMQ; Python; Glyph
Main Fields:

Optimize.m

Software Authors:   Sofroniou, M.
Cited in: 1 Publication (2006)
Related Software: Mathematica
Main Fields: Systems theory; control (93-XX)

ProdSumNet

Software Authors:   Chai Wah Wu
Cited in: 0 Publications
Related Software: MNIST
Main Fields:

SOLOIST

Software Authors:   Bianculli D, Ghezzi C, Pietro PS
Cited in: 1 Publication (2015)
Related Software: MonPoly; PostgreSQL
Main Fields: Computer science (68-XX)

SPARCO

Software Authors:   Berg, E.v., Friedlander, M.P.
Cited in: 1 Publication (2014)
Related Software: Portfolio Safeguard; Sparco; CPLEX
Main Fields: Information and communication theory, circuits (94-XX)

TARM

Software Authors:   Xue, Zhipeng; Yuan, Xiaojun; Ma, Junjie; Ma, Yi
Cited in: 1 Publication (2019)
Related Software:
Main Fields: Information and communication theory, circuits (94-XX)

Thyra

Software Authors:   Bartlett, R., Boggs, P., Coffey, T., Heroux, M., Hoekstra, R., Howle, V., Long, K., Pawlowski, R., Phipps, E., Spotz, B., Thornquist, H., Williams, A.
Cited in: 1 Publication (2009)
Related Software: Traits; Salinas; Epetra; ARPACK; Anasazi; Trilinos; …
Main Fields: Numerical analysis (65-XX)

LETRIST

Software Authors:   Song, T., Li, H., Meng, F., Wu, Q., Cai, J.
Cited in: 0 Publications
Related Software:
Main Fields:

LinAl

Software Authors:   Christopher Drexler; Roland Krause
Cited in: 0 Publications
Related Software:
Main Fields:

MoRiBS-PIMC

Software Authors:   Tao Zeng, Nicholas Blinov, Grégoire Guillon, Hui Li, Kevin P. Bishop, Pierre-Nicholas Roy
Cited in: 0 Publications
Related Software:
Main Fields:

RElem

Software Authors:   Rodrigo Canales, Elmar Peise, Paolo Bientinesi
Cited in: 0 Publications
Related Software:
Main Fields:

sqlscore

Software Authors:   William Brannon
Cited in: 0 Publications
Related Software:
Main Fields: