David J. Wilson

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