David J. Wilson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2012–2014
Best venue rank
National
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | CASC | Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. | Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson |
| 2014 | SYNASC | Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition. | David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport |
| 2013 | ISSAC | Cylindrical algebraic decompositions for boolean combinations. | Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson |
| 2013 | SYNASC | A "Piano Movers" Problem Reformulated. | David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford |
| 2012 | AISC | Speeding Up Cylindrical Algebraic Decomposition by Grbner Bases. | David J. Wilson, Russell J. Bradford, James H. Davenport |
| 2012 | SYNASC | Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc. | James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson |