TDG
Scholar
Committed to research!
Version 1.7
Home

Bibliography

Writers

Journals

Conferences

Publishers
Help

News
Bibliography
Refine on click

Report

Share
A total of 5 records were found in 0.047 seconds
Fetch

Report

Google
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
CoRR
,
abs/1404.6369
,
2014
Fetch

Report

Google
Verifying Hybrid Systems Involving Transcendental Functions
Paul B. Jackson
,
Andrew Sogokon
,
James P. Bridge
,
Lawrence C. Paulson
NASA Formal Methods
,
188202
,
2014
Fetch

Report

Google
Machine Learning for FirstOrder Theorem Proving  Learning to Select a Good Heuristic
James P. Bridge
,
Sean B. Holden
,
Lawrence C. Paulson
J. Autom. Reasoning
,
53(2):141172
,
2014
Fetch

Report

Google
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
CICM
,
92107
,
2014
Fetch

Report

Google
Case Splitting in an Automatic Theorem Prover for RealValued Special Functions
James P. Bridge
,
Lawrence C. Paulson
J. Autom. Reasoning
,
50(1):99117
,
2013