James P. Bridge

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 1

Top Topics

Machine Learning

Top Venues

J. Autom. Reason.

Math. Comput. Sci.

Publications

Zongyan Huang, Matthew England, David J. Wilson, James P. Bridge, James H. Davenport, Lawrence C. Paulson
Using Machine Learning to Improve Cylindrical Algebraic Decomposition. Math. Comput. Sci. 13 (4) (2019)
Paul B. Jackson, Andrew Sogokon, James P. Bridge, Lawrence C. Paulson
Verifying Hybrid Systems Involving Transcendental Functions. NASA Formal Methods (2014)
Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson, James P. Bridge
Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition. CICM (2014)
Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson, James P. Bridge
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. CoRR (2014)
James P. Bridge, Sean B. Holden, Lawrence C. Paulson
Machine Learning for First-Order Theorem Proving - Learning to Select a Good Heuristic. J. Autom. Reason. 53 (2) (2014)
James P. Bridge, Lawrence C. Paulson
Case Splitting in an Automatic Theorem Prover for Real-Valued Special Functions. J. Autom. Reason. 50 (1) (2013)