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
642016
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
602014
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
502013
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
422013
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
A" piano movers" problem reformulated
D Wilson, JH Davenport, M England, R Bradford
2013 15th International Symposium on Symbolic and Numeric Algorithms for …, 2013
322013
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
312014
Speeding up cylindrical algebraic decomposition by Gröbner bases
DJ Wilson, RJ Bradford, JH Davenport
International Conference on Intelligent Computer Mathematics, 280-294, 2012
302012
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
262014
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
252019
Cylindrical algebraic sub-decompositions
DJ Wilson, RJ Bradford, JH Davenport, M England
Mathematics in Computer Science 8, 263-288, 2014
252014
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
232014
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
222014
Understanding branch cuts of expressions
M England, R Bradford, JH Davenport, D Wilson
Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and …, 2013
192013
A repository for CAD examples
DJ Wilson, RJ Bradford, JH Davenport
ACM Communications in Computer Algebra 46 (3/4), 67-69, 2013
172013
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
162014
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
152014
Real geometry and connectedness via triangular description: Cad example bank
D Wilson
University of Bath, 2013
112013
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, 1-8, 2014
72014
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