Phil Scott

According to our database, Phil Scott authored at least 12 papers between 2010 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Where are the Natural Numbers in Hilbert's Foundations of Geometry?

Phil Scott, Jacques D. Fleuriot

CoRR, 2019

2017

Bootstrapping LCF Declarative Proofs.

Phil Scott, Steven Obua, Jacques D. Fleuriot

CoRR, 2017

Compiling Purely Functional Structured Programs.

Phil Scott, Steven Obua, Jacques D. Fleuriot

CoRR, 2017

Local Lexing.

Steven Obua, Phil Scott, Jacques D. Fleuriot

CoRR, 2017

2016

Social Network Processes in the Isabelle and Coq Theorem Proving Communities.

Jacques D. Fleuriot, Steven Obua, Phil Scott

CoRR, 2016

Compass-free Navigation of Mazes.

Phil Scott, Jacques D. Fleuriot

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

ProofScript: Proof Scripting for the Masses.

Steven Obua, Phil Scott, Jacques D. Fleuriot

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

Type Inference for ZFH.

Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

2014

ProofPeer: Collaborative Theorem Proving.

Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall

CoRR, 2014

2012

A Combinator Language for Theorem Discovery.

Phil Scott, Jacques D. Fleuriot

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Composable Discovery Engines for Interactive Theorem Proving.

Phil Scott, Jacques D. Fleuriot

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2010

An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time.

Phil Scott, Jacques D. Fleuriot

Proceedings of the Automated Deduction in Geometry - 8th International Workshop, 2010