Found 8 Software Packages (Results 1–8)


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)


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)


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)


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)


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)


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)


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)


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)