James P. Bridge

Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition pdf

Matthew England, James H. Davenport, Lawrence C. Paulson, 2014, CICM.

Case Splitting in an Automatic Theorem Prover for Real-Valued Special Functions

Lawrence C. Paulson, James P. Bridge, Lawrence Charles Paulson, 2012, Journal of Automated Reasoning.

Proceedings of the Automated Reasoning Workshop 2008

Abdur Rakib, Michael Fisher, Alexander Bolotov, 2008 .

Machine Learning for First-Order Theorem Proving

Lawrence C. Paulson, Sean B. Holden, James P. Bridge, 2014, Journal of Automated Reasoning.

Machine Learning for First-Order Theorem Proving

James P. Bridge, Lawrence Charles Paulson, S. Holden, 2014, J. Autom. Reason..

Machine learning and automated theorem proving

James P. Bridge, 2010 .

Using Machine Learning to Improve Cylindrical Algebraic Decomposition

James P. Bridge, Lawrence Charles Paulson, J. Davenport, 2019, Mathematics in Computer Science.

Machine Learning for First-Order Theorem Proving

James P. Bridge, Lawrence Charles Paulson, S. Holden, 2014, Journal of Automated Reasoning.