Flyspeck Software Authors: Hales, Thomas C.; Tankink, Carst; Kaliszyk, Cezary; Urban, Josef; Geuvers, Herman Cited in: 125 Publications (2004–2022) Related Software: HOL Light; Isabelle/HOL; Coq; kepler98; Mizar; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Convex and discrete geometry (52-XX)
HOLyHammer Software Authors: Kaliszyk, Cezary; Urban, Josef Cited in: 29 Publications (2014–2022) Related Software: HOL Light; Mizar; Flyspeck; E Theorem Prover; Sledgehammer; TPTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)
BliStr Software Authors: Urban, J. Cited in: 19 Publications (2013–2021) Related Software: E Theorem Prover; VAMPIRE; MaLARea; Flyspeck; MPTP 0.2; Mizar; … Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)
Tame Graphs Software Authors: Gertrud Bauer; Tobias Nipkow Cited in: 15 Publications (2006–2020) Related Software: Flyspeck; Isabelle/HOL; kepler98; HOL; Isabelle; Coq; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)
PRocH Software Authors: Cezary Kaliszyk; Josef Urban Cited in: 12 Publications (2013–2018) Related Software: HOL Light; Flyspeck; E Theorem Prover; Mizar; TPTP; z3; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
NLCertify Software Authors: Victor Magron Cited in: 4 Publications (2014–2017) Related Software: OCaml; Coq; Sollya; Flocq; dReal; HOL Light; … Main Fields: Number theory (11-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)