Spacer Software Authors: Komuravelli, Anvesh; Gurfinkel, Arie; Chaki, Sagar Cited in: 18 Publications (2015–2022) Related Software: z3; Yices; HMC; CVC4; Princess; Mjollnir; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
libROM Software Authors: W. Arrighi, G. Oxberry, T. Vassilevska, K. Chand Cited in: 14 Publications (2016–2021) Related Software: hapod; redbKIT; iHDG; GitHub; CSparse; Triangle; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
RBniCS Software Authors: Francesco Ballarin, Gianluigi Rozza and contributors Cited in: 12 Publications (2016–2020) Related Software: FEniCS; redbKIT; rbMIT; FreeFem++; SyFi; ECLIPSE; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
vx_dbel Software Authors: Albert Vexler, Hovig Tanajian, Alan D. Hutson Cited in: 4 Publications (2014–2022) Related Software: dbEmpLikeNorm; Stata; dbEmpLikeGOF; tsc; R Main Fields: Statistics (62-XX)
PyEMD Software Authors: Laszuk, D. Cited in: 1 Publication (2018) Related Software: Python; Deeptime; darts; cesium; Banpei; ta; … Main Fields: Ordinary differential equations (34-XX); Statistics (62-XX); Biology and other natural sciences (92-XX)
tsc Software Authors: Yang Zhao, Albert Vexler, Alan Hutson Cited in: 2 Publications (2017–2022) Related Software: vx_dbel; dbEmpLikeNorm; dbEmpLikeGOF; R Main Fields: Statistics (62-XX)
FLUID Software Authors: Carmichael R Cited in: 1 Publication (2016) Related Software: Matlab; GitHub; JavaFoil; OpenVSP; BRL-CAD; Larosterna; … Main Fields: Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); Systems theory; control (93-XX)
gNUFFTW Software Authors: Teresa Ou Cited in: 1 Publication (2019) Related Software: BART; MIRT; FINUFFT; GitHub; gpuNUFFT; PyNUFFT; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)