James P. Bridge

According to our database, James P. Bridge authored at least 6 papers between 2013 and 2019.

Collaborative distances:

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

2019

Using Machine Learning to Improve Cylindrical Algebraic Decomposition.

Zongyan Huang, Matthew England, David J. Wilson, James P. Bridge, James H. Davenport, Lawrence C. Paulson

Math. Comput. Sci., 2019

2014

Machine Learning for First-Order Theorem Proving - Learning to Select a Good Heuristic.

James P. Bridge, Sean B. Holden, Lawrence C. Paulson

J. Autom. Reason., 2014

Verifying Hybrid Systems Involving Transcendental Functions.

Paul B. Jackson, Andrew Sogokon, James P. Bridge, Lawrence C. Paulson

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition.

Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson, James P. Bridge

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

2013

First-order theorem proving.

James P. Bridge, Sean B. Holden, Lawrence C. Paulson

Dataset, April, 2013

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

James P. Bridge, Lawrence C. Paulson

J. Autom. Reason., 2013