Dafny Software Authors: Rustan Leino Cited in: 84 Publications (2010–2023) Related Software: z3; Why3; Boogie; Coq; VCC; VeriFast; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)
VCC Software Authors: Ernie Cohen, Markus Dahlweid, Mark Hillebrand, Dirk Leinenbach, Michał Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies Cited in: 61 Publications (2010–2022) Related Software: z3; Boogie; Dafny; Why3; Spec#; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
WhyML Software Authors: Filliâtre, Jean-Christophe; Paskevich, Andrei Cited in: 32 Publications (2013–2023) Related Software: Why3; z3; Coq; Boogie; Dafny; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)
CPT Software Authors: Sean Mauch Cited in: 15 Publications (2001–2019) Related Software: HE-E1GODF; SPARSKIT; DiFi; Stanford 3D Scanning Repository; CUDA; QSHEP3D; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
ForestClaw Software Authors: C. Burstedde, D. Calhoun, K. Mandli, A. R. Terrel Cited in: 12 Publications (2016–2022) Related Software: p4est; Chombo; Peano; PARAMESH; SAMRAI; AMReX; … Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX)
TREE Software Authors: Jeon, Byoungseon; Kress, Joel D.; Collins, Lee A.; Grønbech-Jensen, Niels Cited in: 2 Publications (2008–2012) Related Software: FLY Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Statistical mechanics, structure of matter (82-XX)
GhostNet Software Authors: Kai Han, Yunhe Wang, Qi Tian, Jianyuan Guo, Chunjing Xu, Chang Xu Cited in: 0 Publications Related Software: CurricularFace; MegaFace; AdaptiveFace; WIDER FACE; FaceNet; AdaCos; … Main Fields: –
OpenLPT Software Authors: Tan, S., Salibindla, A., Masuk, A. U. M., Ni, R. Cited in: 0 Publications Related Software: GReTA; Trackpy; TracTrac; OpenPTV; Python; MyPTV Main Fields: –