James P. Bridge

Available identifiers

zbMath Open bridge.james-pMaRDI QIDQ352968

List of research outcomes

Publication	Date of Publication	Type
Using machine learning to improve cylindrical algebraic decomposition	2019-11-27	Paper
Machine learning for first-order theorem proving	2015-06-23	Paper
Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition	2014-08-07	Paper
Case splitting in an automatic theorem prover for real-valued special functions	2013-07-05	Paper

Research outcomes over time

This page was built for person: James P. Bridge