×

Found 4 Software Packages (Results 1–4)

LEO-II

Software Authors:   Benzmüller, C., Paulson, L., Theiss, F., Fietzke, A
Cited in: 50 Publications (2008–2020)
Related Software: Satallax; TPTP; Isabelle/HOL; E Theorem Prover; TPS; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Gandalf

Software Authors:   Tanel Tammet
Cited in: 35 Publications (1996–2018)
Related Software: TPTP; Isabelle/HOL; Coq; VAMPIRE; HOL Light; Metis_; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

HERBY

Software Authors:   Newborn, Monty
Cited in: 5 Publications (1998–2004)
Related Software: TPTP; OTTER; TGTP; SETHEO; Gandalf; MARTE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GANDALF

Software Authors:   David A. Hubber, Giovanni P. Rosotti, Richard A. Booth
Cited in: 3 Publications (2021)
Related Software: GADGET; Arepo; GIZMO; Python; Splash; NBODY6; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)