pith. sign in

James H. Davenport

Identifiers

  • name variant James H. Davenport 0.60 · backfill

Papers (26)

  1. Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints cs.SC · 2026 · author #1
  2. Quantifier Elimination for Reasoning in Economics cs.SC · 2018 · author #3
  3. OpenMath and SMT-LIB cs.SC · 2018 · author #1
  4. The Potential and Challenges of CAD with Equational Constraints for SC-Square cs.SC · 2017 · author #1
  5. A Case Study on the Parametric Occurrence of Multiple Steady States cs.SC · 2017 · author #2
  6. Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition cs.SC · 2016 · author #2
  7. Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases cs.SC · 2016 · author #3
  8. Need Polynomial Systems be Doubly-exponential? cs.SC · 2016 · author #1
  9. The complexity of cylindrical algebraic decomposition with respect to polynomial degree cs.SC · 2016 · author #2
  10. Recent Advances in Real Geometric Reasoning cs.SC · 2015 · author #1
  11. Improving the use of equational constraints in cylindrical algebraic decomposition cs.SC · 2015 · author #3
  12. Using the distribution of cells by dimension in a cylindrical algebraic decomposition cs.SC · 2014 · author #4
  13. Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition cs.SC · 2014 · author #3
  14. Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting cs.SC · 2014 · author #4
  15. A comparison of three heuristics to choose the variable ordering for CAD cs.SC · 2014 · author #4
  16. Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition cs.SC · 2014 · author #4
  17. Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition cs.SC · 2014 · author #4
  18. Truth Table Invariant Cylindrical Algebraic Decomposition cs.SC · 2014 · author #2
  19. A "Piano Movers" Problem Reformulated cs.CG · 2013 · author #2
  20. Cylindrical Algebraic Decompositions for Boolean Combinations cs.SC · 2013 · author #2
  21. Understanding Branch Cuts of Expressions cs.MS · 2013 · author #3
  22. Optimising Problem Formulation for Cylindrical Algebraic Decomposition cs.SC · 2013 · author #2
  23. Program Verification in the presence of complex numbers, functions with branch cuts etc cs.SC · 2012 · author #1
  24. Speeding up Cylindrical Algebraic Decomposition by Gr\"obner Bases cs.SC · 2012 · author #3
  25. Triangular Decomposition of Semi-algebraic Systems cs.SC · 2010 · author #2
  26. The Power of Vocabulary: The Case of Cyclotomic Polynomials cs.SC · 2010 · author #2

Mentions

  • 2604.23873 #1 · arxiv_oai · confidence 0.70 James H. Davenport
  • 1504.06484 #1 · backfill · confidence 0.70 James H. Davenport
  • 1501.04466 #3 · backfill · confidence 0.70 James H. Davenport
  • 1409.1781 #4 · backfill · confidence 0.70 James H. Davenport
  • 1405.6094 #3 · backfill · confidence 0.70 James H. Davenport
  • 1405.6090 #4 · backfill · confidence 0.70 James H. Davenport
  • 1405.6082 #4 · backfill · confidence 0.70 James H. Davenport
  • 1404.6371 #4 · backfill · confidence 0.70 James H. Davenport
  • 1404.6369 #4 · backfill · confidence 0.70 James H. Davenport
  • 1401.0645 #2 · backfill · confidence 0.70 James H. Davenport
  • 1309.1588 #2 · backfill · confidence 0.70 James H. Davenport
  • 1304.7603 #2 · backfill · confidence 0.70 James H. Davenport
  • 1304.7223 #3 · backfill · confidence 0.70 James H. Davenport
  • 1304.7222 #2 · backfill · confidence 0.70 James H. Davenport
  • 1212.5417 #1 · backfill · confidence 0.70 James H. Davenport
  • 1205.6285 #3 · backfill · confidence 0.70 James H. Davenport
  • 1002.4784 #2 · backfill · confidence 0.70 James H. Davenport
  • 1002.0012 #2 · backfill · confidence 0.70 James H. Davenport

Frequent Coauthors