David J. Wilson

According to our database, David J. Wilson authored at least 23 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Optima TB: A tool to help optimally allocate tuberculosis spending.

Lara Goscé, Gerard J. Abou Jaoude, David Jacob Kedziora, Clemens Benedikt, Azfar Hussain, Sarah Jarvis, Alena Skrahina, Dzmitry Klimuk, Henadz Hurevich, Feng Zhao, Nicole Fraser-Hurt, Nejma Cheikh, Marelize Gorgens, David J. Wilson, Romesh G. Abeysuriya, Rowan Martin-Hughes, Sherrie L. Kelly, Anna Roberts, Robyn M. Stuart, Tom Palmer, Jasmina Panovska-Griffiths, Cliff C. Kerr, David P. Wilson, Hassan Haghparast-Bidgoli, Jolene Skordis, Ibrahim Abubakar

PLoS Comput. Biol., 2021

2019

Using Machine Learning to Improve Cylindrical Algebraic Decomposition.

Zongyan Huang, Matthew England, David J. Wilson, James P. Bridge, James H. Davenport, Lawrence C. Paulson

Math. Comput. Sci., 2019

2018

Using Machine Learning to Improve Cylindrical Algebraic Decomposition.

Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson

CoRR, 2018

2016

Truth table invariant cylindrical algebraic decomposition.

Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson

J. Symb. Comput., 2016

2015

An implementation of Sub-CAD in Maple.

Matthew England, David J. Wilson

CoRR, 2015

2014

Advances in cylindrical algebraic decomposition.

David J. Wilson

PhD thesis, 2014

Cylindrical Algebraic Sub-Decompositions.

David J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England

Math. Comput. Sci., 2014

A comparison of three heuristics to choose the variable ordering for CAD.

Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson

CoRR, 2014

A Comparison of Three Heuristics to Choose the Variable Ordering for Cylindrical Algebraic Decomposition.

Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson

ACM Commun. Comput. Algebra, 2014

Branch cuts in maple 17.

Matthew England, Edgardo S. Cheb-Terrab, Russell J. Bradford, James H. Davenport, David J. Wilson

ACM Commun. Comput. Algebra, 2014

Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition.

David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

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

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition.

Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting.

Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport

Proceedings of the Mathematical Software - ICMS 2014, 2014

Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition.

Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson

Proceedings of the Mathematical Software - ICMS 2014, 2014

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

Proceedings of the Computer Algebra in Scientific Computing - 16th International Workshop, 2014

2013

A "Piano Movers" Problem Reformulated.

David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

Understanding Branch Cuts of Expressions.

Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson

Proceedings of the Intelligent Computer Mathematics, 2013

Optimising Problem Formulation for Cylindrical Algebraic Decomposition.

Russell J. Bradford, James H. Davenport, Matthew England, David J. Wilson

Proceedings of the Intelligent Computer Mathematics, 2013

Cylindrical algebraic decompositions for boolean combinations.

Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

2012

A repository for CAD examples.

David J. Wilson, Russell J. Bradford, James H. Davenport

ACM Commun. Comput. Algebra, 2012

Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc.

James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases.

David J. Wilson, Russell J. Bradford, James H. Davenport

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012