Follow
David John Wilson
David John Wilson
Verified email at bath.ac.uk - Homepage
Title
Cited by
Cited by
Year
Truth table invariant cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Journal of Symbolic Computation 76, 1-35, 2016
542016
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
Z Huang, M England, D Wilson, JH Davenport, LC Paulson, J Bridge
Intelligent Computer Mathematics: International Conference, CICM 2014 …, 2014
512014
Optimising problem formulation for cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, D Wilson
Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and …, 2013
442013
Cylindrical algebraic decompositions for boolean combinations
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Proceedings of the 38th International Symposium on Symbolic and Algebraic …, 2013
402013
Program verification in the presence of complex numbers, functions with branch cuts etc
JH Davenport, R Bradford, M England, D Wilson
2012 14th International Symposium on Symbolic and Numeric Algorithms for …, 2012
352012
Truth table invariant cylindrical algebraic decomposition by regular chains
R Bradford, C Chen, JH Davenport, M England, MM Maza, D Wilson
International Workshop on Computer Algebra in Scientific Computing, 44-58, 2014
282014
A" piano movers" problem reformulated
D Wilson, JH Davenport, M England, R Bradford
2013 15th International Symposium on Symbolic and Numeric Algorithms for …, 2013
272013
Speeding up cylindrical algebraic decomposition by Gröbner bases
DJ Wilson, RJ Bradford, JH Davenport
Intelligent Computer Mathematics: 11th International Conference, AISC 2012 …, 2012
262012
Cylindrical algebraic sub-decompositions
DJ Wilson, RJ Bradford, JH Davenport, M England
Mathematics in Computer Science 8, 263-288, 2014
252014
Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting
M England, D Wilson, R Bradford, JH Davenport
Mathematical Software–ICMS 2014: 4th International Congress, Seoul, South …, 2014
252014
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
M England, R Bradford, C Chen, JH Davenport, MM Maza, D Wilson
Intelligent Computer Mathematics: International Conference, CICM 2014 …, 2014
232014
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
M England, R Bradford, JH Davenport, D Wilson
Mathematical Software–ICMS 2014: 4th International Congress, Seoul, South …, 2014
212014
Using machine learning to improve cylindrical algebraic decomposition
Z Huang, M England, DJ Wilson, J Bridge, JH Davenport, LC Paulson
Mathematics in Computer Science 13, 461-488, 2019
172019
A repository for CAD examples
DJ Wilson, RJ Bradford, JH Davenport
ACM Communications in Computer Algebra 46 (3/4), 67-69, 2013
172013
Understanding branch cuts of expressions
M England, R Bradford, JH Davenport, D Wilson
Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and …, 2013
172013
Branch cuts in Maple 17
M England, E Cheb-Terrab, R Bradford, JH Davenport, D Wilson
ACM Communications in Computer Algebra 48 (1/2), 24-27, 2014
142014
Using the distribution of cells by dimension in a cylindrical algebraic decomposition
D Wilson, M England, R Bradford, JH Davenport
2014 16th International Symposium on Symbolic and Numeric Algorithms for …, 2014
122014
Real geometry and connectedness via triangular description: Cad example bank
D Wilson
University of Bath, 2013
102013
Interdisciplinary teaching of computing to mathematics students: Programming and discrete mathematics
JH Davenport, D Wilson, I Graham, G Sankaran, A Spence, J Blake, ...
MSOR Connections 14 (1), 1-8, 2014
62014
Truth table invariant cylindrical algebraic decomposition. Submitted
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Preprint: http://opus. bath. ac. uk/38146, 2014
62014
The system can't perform the operation now. Try again later.
Articles 1–20