Specware Software Authors: Srinivas, Y., Jullig, R.; Waldiger, R. Cited in: 25 Publications (1998–2019) Related Software: PVS; Nuprl; CASL; Maude; Isabelle; TPS; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
SNARK Software Authors: Stickel, M. Cited in: 3 Publications (2009–2015) Related Software: Waldmeister; E Theorem Prover; Vivid; Mizar; Mathematica; EQP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Relativity and gravitational theory (83-XX)