Phil Scott

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