David J. Wilson

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 4

Top Venues

CoRR

SYNASC

ACM Commun. Comput. Algebra

MKM/Calculemus/DML

University of Bath, Somerset, UK (PHD)

Education History

University of Bath, Somerset, UK

PHD

Publications

Lara Goscé, Gerard J. Abou Jaoude, David J. 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
Optima TB: A tool to help optimally allocate tuberculosis spending. PLoS Comput. Biol. 17 (9) (2021)
Zongyan Huang, Matthew England, David J. Wilson, James P. Bridge, James H. Davenport, Lawrence C. Paulson
Using Machine Learning to Improve Cylindrical Algebraic Decomposition. Math. Comput. Sci. 13 (4) (2019)
Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson
Using Machine Learning to Improve Cylindrical Algebraic Decomposition. CoRR (2018)
Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
Truth table invariant cylindrical algebraic decomposition. J. Symb. Comput. 76 (2016)
Matthew England, David J. Wilson
An implementation of Sub-CAD in Maple. CoRR (2015)
Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. CoRR (2014)
David J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England
Cylindrical Algebraic Sub-Decompositions. CoRR (2014)
Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson
A comparison of three heuristics to choose the variable ordering for CAD. CoRR (2014)
Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. CASC (2014)
Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
Truth Table Invariant Cylindrical Algebraic Decomposition. CoRR (2014)
Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. ICMS (2014)
Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. CoRR (2014)
David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport
Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition. SYNASC (2014)
Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport
Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting. ICMS (2014)
David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport
Using the distribution of cells by dimension in a cylindrical algebraic decomposition. CoRR (2014)
Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport
Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting. CoRR (2014)
Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson, James P. Bridge
Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition. CICM (2014)
Matthew England, Edgardo S. Cheb-Terrab, Russell J. Bradford, James H. Davenport, David J. Wilson
Branch cuts in maple 17. ACM Commun. Comput. Algebra 48 (1/2) (2014)
Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson
A Comparison of Three Heuristics to Choose the Variable Ordering for Cylindrical Algebraic Decomposition. ACM Commun. Comput. Algebra 48 (3/4) (2014)
Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson
Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. CICM (2014)
Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. CoRR (2014)
Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson, James P. Bridge
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. CoRR (2014)
David J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England
Cylindrical Algebraic Sub-Decompositions. Math. Comput. Sci. 8 (2) (2014)
Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
Cylindrical algebraic decompositions for boolean combinations. ISSAC (2013)
David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford
A "Piano Movers" Problem Reformulated. SYNASC (2013)
Russell J. Bradford, James H. Davenport, Matthew England, David J. Wilson
Optimising Problem Formulation for Cylindrical Algebraic Decomposition CoRR (2013)
Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson
Understanding Branch Cuts of Expressions CoRR (2013)
Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson
Understanding Branch Cuts of Expressions. MKM/Calculemus/DML (2013)
Russell J. Bradford, James H. Davenport, Matthew England, David J. Wilson
Optimising Problem Formulation for Cylindrical Algebraic Decomposition. MKM/Calculemus/DML (2013)
Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
Cylindrical Algebraic Decompositions for Boolean Combinations CoRR (2013)
Matthew England, Edgardo S. Cheb-Terrab, Russell J. Bradford, James Harold Davenport, David J. Wilson
Branch Cuts in Maple 17. CoRR (2013)
David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford
A "Piano Movers" Problem Reformulated. CoRR (2013)
David J. Wilson, Russell J. Bradford, James H. Davenport
Speeding up Cylindrical Algebraic Decomposition by Gröbner Bases CoRR (2012)
James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson
Program Verification in the presence of complex numbers, functions with branch cuts etc CoRR (2012)
David J. Wilson, Russell J. Bradford, James H. Davenport
Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases. AISC/MKM/Calculemus (2012)
David J. Wilson, Russell J. Bradford, James H. Davenport
A repository for CAD examples. ACM Commun. Comput. Algebra 46 (3/4) (2012)
James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson
Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc. SYNASC (2012)

David J. Wilson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David J. Wilson