Phil Scott

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 8

Top Topics

Theorem Proving

Mathematical Knowledge

Automatic Programming

Top Venues

AISC/MKM/Calculemus

Publications

Phil Scott, Jacques D. Fleuriot
Where are the Natural Numbers in Hilbert's Foundations of Geometry? CoRR (2019)
Phil Scott, Steven Obua, Jacques D. Fleuriot
Bootstrapping LCF Declarative Proofs. CoRR (2017)
Steven Obua, Phil Scott, Jacques D. Fleuriot
Local Lexing. CoRR (2017)
Phil Scott, Steven Obua, Jacques D. Fleuriot
Compiling Purely Functional Structured Programs. CoRR (2017)
Jacques D. Fleuriot, Steven Obua, Phil Scott
Social Network Processes in the Isabelle and Coq Theorem Proving Communities. CoRR (2016)
Steven Obua, Phil Scott, Jacques D. Fleuriot
ProofScript: Proof Scripting for the Masses. ICTAC (2016)
Phil Scott, Jacques D. Fleuriot
Compass-free Navigation of Mazes. SCSS (2016)
Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall
Type Inference for ZFH. CICM (2015)
Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall
ProofPeer: Collaborative Theorem Proving. CoRR (2014)
Phil Scott, Jacques D. Fleuriot
A Combinator Language for Theorem Discovery. AISC/MKM/Calculemus (2012)
Phil Scott, Jacques D. Fleuriot
Composable Discovery Engines for Interactive Theorem Proving. ITP (2011)
Phil Scott, Jacques D. Fleuriot
An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time. Automated Deduction in Geometry (2010)