Found 9 Software Packages (Results 1–9)


Software Authors:   Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik
Cited in: 18 Publications (2012–2021)
Related Software: CPAchecker; z3; BLAST; SLAM; SatAbs; CBMC; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)


Software Authors:   Agullo, Emmanuel; Bramas,BĂ©renger; Coulaud, Olivier; Darve, Eric; Messner, Matthias; Takahashi, Toru
Cited in: 17 Publications (2014–2022)
Related Software: pvfmm; Algorithm 967; ASKIT; exafmm; Thrust; GitHub; …
Main Fields: Partial differential equations (35-XX); Integral equations (45-XX); Numerical analysis (65-XX)


Software Authors:   Krause, R.; Zulian, P.
Cited in: 17 Publications (2016–2022)
Related Software: Utopia; libMesh; PETSc; MOOSE; CutFEM; DOLFIN; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)


Software Authors:   Lapenta, Giovanni
Cited in: 7 Publications (2004–2011)
Related Software: KELLEY; DEMOCRITUS; FLASH; FDEM; PDEX1M; Wesseling; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX)


Software Authors:   Andreas Stegmeir
Cited in: 4 Publications (2016–2022)
Related Software: BOUT++; hypre; EIRENE; TOKAM3X; FELTOR; PETSc; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Statistical mechanics, structure of matter (82-XX)


Software Authors:   Liao, Shih-Kang; Shu, Yu-Chen; Liu, Xuefeng
Cited in: 3 Publications (2019–2022)
Related Software: INTLAB; Matlab
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Approximations and expansions (41-XX)


Software Authors:   Shahane, Shantanu; Vanka, Surya Pratap
Cited in: 2 Publications (2021–2023)
Related Software: Gmsh; Eigen; rbf_qr; Nek5000
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)


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


Software Authors:   Pedro J. Aphalo
Cited in: 0 Publications
Related Software:
Main Fields: