×

Found 20 Software Packages (Results 1–20)

LMFDB

Software Authors:   http://www.lmfdb.org/acknowledgment
Cited in: 196 Publications (2014–2023)
Related Software: Magma; SageMath; PARI/GP; GitHub; ecdata; DLMF; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Special functions (33-XX)

MFEM

Software Authors:   Robert Anderson, Julian Andrej, Andrew Barker, Jamie Bramwell, Jean-Sylvain Camier, Jakub Cerveny, Veselin Dobrev, Yohann Dudouit, Aaron Fisher, Tzanio Kolev, Will Pazner, Mark Stowell, Vladimir Tomov, Johann Dahm, David Medina, Stefano Zampini
Cited in: 58 Publications (2012–2023)
Related Software: hypre; PETSc; deal.ii; GitHub; FEniCS; GLVis; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Lifting

Software Authors:   Brian Huffman, Ondřej Kunčar
Cited in: 30 Publications (2013–2022)
Related Software: Transfer; Isabelle/HOL; Archive Formal Proofs; Isabelle; HOL; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

Transfer

Software Authors:   Brian Huffman, Ondřej Kunčar
Cited in: 30 Publications (2013–2022)
Related Software: Lifting; Isabelle/HOL; Archive Formal Proofs; Isabelle; HOL; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

FEMSTER

Software Authors:   Castillo, Paul; Rieben, Robert; White, Daniel
Cited 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)

ModularGraphForms

Software Authors:   Jan E. Gerken
Cited in: 7 Publications (2020–2021)
Related Software: Mathematica; PSS
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Differential geometry (53-XX)

ComputeL

Software Authors:   Tim Dokchitser
Cited in: 7 Publications (2003–2018)
Related Software: SageMath; LMFDB; PARI/GP; Magma; ecdata; mwrank
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX)

Music21

Software Authors:   Cuthbert, M. S., Ariza, C
Cited in: 4 Publications (2015–2021)
Related Software: Music Transformer; PyTorch; pretty midi; jSymbolic; Humdrum; Python; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

PowerForms

Software Authors:   Brabrand, Claus; M{\o}ller, Anders; Ricky, Mikkel; Schwartzbach, Michael I.
Cited in: 3 Publications (2000–2008)
Related Software: Seaside; iTasks; SICStus; Mercury; Hiord; BABEL; …
Main Fields: Computer science (68-XX)

QWire

Software Authors:   Payikin, J., Rand, R., Zdancewic
Cited in: 4 Publications (2017)
Related Software: Python; EfProb; Quipper; Church; qPCF; LightDP; …
Main Fields: General and overarching topics; collections (00-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Dftatom

Software Authors:   Čertík, Ondřej; Pask, John E.; Vackář, Jiří
Cited in: 3 Publications (2013–2020)
Related Software: Libxc; Dalton; DFT-FE; CheFSI; ClusterES; PetIGA; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

Bedforms-ATM

Software Authors:   Ronald R. Gutierrez; Jose A. Mallma; Francisco Núñez-González; Oscar Link; Jorge D.Abad
Cited in: 0 Publications
Related Software: Matlab; RVR Meander; SCREAM; PyRIS; MStaT; RivWidthCloud; …
Main Fields:

InfoMod

Software Authors:   Ayberk Zeytin, Hakan Ayral, A. Muhammed Uludağ
Cited in: 2 Publications (2017–2022)
Related Software: OEIS; PARI/GP
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Group theory and generalizations (20-XX)

computeGK

Software Authors:   Chul-hee Lee
Cited in: 0 Publications
Related Software: Mathematica
Main Fields:

degree2

Software Authors:   S. Takemori
Cited in: 1 Publication (2016)
Related Software: GitHub; SageMath
Main Fields: Number theory (11-XX)

eta-quotients

Software Authors:   Ryan, Nathan C.; Scherr, Zachary; Sirolli, Nicolás; Treneer, Stephanie
Cited in: 1 Publication (2021)
Related Software: GitHub; SageMath; FLINT
Main Fields: Number theory (11-XX)

FSL-MRS

Software Authors:   Clarke, W. T., Stagg, C. J., Jbabdi, S.
Cited in: 0 Publications
Related Software: R; spant; MRUI; Gannet; Osprey; AQSES; …
Main Fields:

Hecke1

Software Authors:   G. Wiese
Cited in: 1 Publication (2006)
Related Software: CommMatAlg; Magma
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX)

PSAGE

Software Authors:   Raum, Martin
Cited in: 1 Publication (2011)
Related Software: Python; GitHub; SageMath; NTL; Magma
Main Fields: Number theory (11-XX); Category theory; homological algebra (18-XX)

VisAll

Software Authors:   Fonseca, Nuno; Santos Costa, V\'{\i}tor; de Castro Dutra, In\^es
Cited in: 1 Publication (1998)
Related Software:
Main Fields: Computer science (68-XX)