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)