pith. sign in

David Wilson

Identifiers

  • name variant David Wilson 0.60 · backfill

Papers (20)

  1. A Critical UV Legacy: A Hubble Roadmap for HWO Science Readiness astro-ph.IM · 2026 · author #16
  2. White dwarf planetary systems in the ultraviolet astro-ph.IM · 2026 · author #11
  3. Astro 2020 Science White Paper: Evolved Planetary Systems around White Dwarfs astro-ph.EP · 2019 · author #26
  4. Equivalence of OEIS A007729 and A174868 math.CO · 2018 · author #2
  5. A Scalable, Low-Overhead Finite-State Machine Overlay for Rapid FPGA Application Development cs.AR · 2017 · author #1
  6. Stellar archaeology with Gaia: the Galactic white dwarf population astro-ph.SR · 2015 · author #26
  7. An implementation of Sub-CAD in Maple cs.SC · 2015 · author #2
  8. Using the distribution of cells by dimension in a cylindrical algebraic decomposition cs.SC · 2014 · author #1
  9. Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition cs.SC · 2014 · author #4
  10. Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting cs.SC · 2014 · author #2
  11. A comparison of three heuristics to choose the variable ordering for CAD cs.SC · 2014 · author #3
  12. Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition cs.SC · 2014 · author #6
  13. Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition cs.SC · 2014 · author #3
  14. Sliding window and compressive sensing for low-field dynamic magnetic resonance imaging cs.CE · 2014 · author #4
  15. Truth Table Invariant Cylindrical Algebraic Decomposition cs.SC · 2014 · author #5
  16. A "Piano Movers" Problem Reformulated cs.CG · 2013 · author #1
  17. Cylindrical Algebraic Decompositions for Boolean Combinations cs.SC · 2013 · author #5
  18. Understanding Branch Cuts of Expressions cs.MS · 2013 · author #4
  19. Optimising Problem Formulation for Cylindrical Algebraic Decomposition cs.SC · 2013 · author #4
  20. Program Verification in the presence of complex numbers, functions with branch cuts etc cs.SC · 2012 · author #4

Mentions

  • 2606.05364 #16 · arxiv_oai · confidence 0.70 David Wilson
  • 1506.02653 #26 · backfill · confidence 0.70 David Wilson
  • 1503.06599 #2 · backfill · confidence 0.70 David Wilson
  • 1409.1781 #1 · backfill · confidence 0.70 David Wilson
  • 1405.6094 #4 · backfill · confidence 0.70 David Wilson
  • 1405.6090 #2 · backfill · confidence 0.70 David Wilson
  • 1405.6082 #3 · backfill · confidence 0.70 David Wilson
  • 1404.6371 #6 · backfill · confidence 0.70 David Wilson
  • 1404.6369 #3 · backfill · confidence 0.70 David Wilson
  • 1402.2453 #4 · backfill · confidence 0.70 David Wilson
  • 1401.0645 #5 · backfill · confidence 0.70 David Wilson
  • 1309.1588 #1 · backfill · confidence 0.70 David Wilson
  • 2605.26152 #11 · arxiv_oai · confidence 0.70 David Wilson
  • 1304.7603 #5 · backfill · confidence 0.70 David Wilson
  • 1304.7223 #4 · backfill · confidence 0.70 David Wilson
  • 1304.7222 #4 · backfill · confidence 0.70 David Wilson
  • 1212.5417 #4 · backfill · confidence 0.70 David Wilson

Frequent Coauthors