J.H. Davenport

Identifiers

• name variant J.H. Davenport 0.60 · backfill

Papers (7)

1. TheoryGuru: A Mathematica Package to apply Quantifier Elimination cs.SC · 2018 · author #2
2. Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics cs.SC · 2018 · author #3
3. Satisfiability Checking meets Symbolic Computation (Project Paper) cs.SC · 2016 · author #8
4. Satisfiability Checking and Symbolic Computation cs.SC · 2016 · author #8
5. Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains cs.SC · 2014 · author #3
6. Cylindrical Algebraic Sub-Decompositions cs.SC · 2014 · author #3
7. Branch Cuts in Maple 17 cs.SC · 2013 · author #4

Mentions

• 1401.6310 #3 · backfill · confidence 0.70 J.H. Davenport
• 1401.0647 #3 · backfill · confidence 0.70 J.H. Davenport
• 1308.6523 #4 · backfill · confidence 0.70 J.H. Davenport

Frequent Coauthors

• M. England 5 shared papers
• R. Bradford 3 shared papers
• A. Cimatti 2 shared papers
• A. Griggio 2 shared papers
• A.M. Bigatti 2 shared papers
• B. Becker 2 shared papers
• B. Buchberger 2 shared papers
• C. Mulligan 2 shared papers
• D. Kroening 2 shared papers
• D. Wilson 2 shared papers
• E. Abraham 2 shared papers
• J. Abbott 2 shared papers
• M. Brain 2 shared papers
• M.England 2 shared papers
• P. Fontaine 2 shared papers
• S. Forrest 2 shared papers
• T. Sturm 2 shared papers
• W.M. Seiler 2 shared papers
• C. Chen 1 shared papers
• D.J. Wilson 1 shared papers