×

Found 2 Software Packages (Results 1–2)

Specware

Cited in 25 Documents (1998–2019)
Software Authors: Srinivas, Y., Jullig, R.; Waldiger, R.
Related Software: PVS; Nuprl; CASL; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX); …

SNARK

Cited in 3 Documents (2009–2015)
Software Authors: Stickel, M.
Related Software: Waldmeister; E Theorem Prover; Vivid; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Relativity and gravitational theory (83-XX)

Filter Results by …

all top 5

Related Software

all top 3

Main Field