David John Wilson
David John Wilson
Email verificata su bath.ac.uk - Home page
TitoloCitata daAnno
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
392013
Optimising problem formulation for cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, D Wilson
International Conference on Intelligent Computer Mathematics, 19-34, 2013
362013
Truth table invariant cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Journal of Symbolic Computation 76, 1-35, 2016
352016
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
International Conference on Intelligent Computer Mathematics, 92-107, 2014
322014
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
322012
Eyes in the sky: Remote sensing technology development using small unmanned aircraft systems
MG Wing, J Burnett, J Sessions, J Brungardt, V Cordell, D Dobler, ...
Journal of forestry 111 (5), 341-347, 2013
252013
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
242014
Speeding up cylindrical algebraic decomposition by Gr÷bner bases
DJ Wilson, RJ Bradford, JH Davenport
International Conference on Intelligent Computer Mathematics, 280-294, 2012
212012
Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting
M England, D Wilson, R Bradford, JH Davenport
International Congress on Mathematical Software, 458-465, 2014
202014
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
International Conference on Intelligent Computer Mathematics, 45-60, 2014
202014
A" piano movers" problem reformulated
D Wilson, JH Davenport, M England, R Bradford
2013 15th International Symposium on Symbolic and Numeric Algorithms forá…, 2013
172013
Understanding branch cuts of expressions
M England, R Bradford, JH Davenport, D Wilson
International Conference on Intelligent Computer Mathematics, 136-151, 2013
172013
Cylindrical algebraic sub-decompositions
DJ Wilson, RJ Bradford, JH Davenport, M England
Mathematics in Computer Science 8 (2), 263-288, 2014
162014
A repository for CAD examples
DJ Wilson, RJ Bradford, JH Davenport
ACM Communications in Computer Algebra 46 (3/4), 67-69, 2013
162013
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
112014
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
M England, R Bradford, JH Davenport, D Wilson
International Congress on Mathematical Software, 450-457, 2014
112014
Branch cuts in Maple 17
M England, E Cheb-Terrab, R Bradford, JH Davenport, D Wilson
arXiv preprint arXiv:1308.6523, 2013
102013
Real geometry and connectedness via triangular description: CAD example bank
D Wilson
University of Bath, 2013
92013
Development of the UTA High Reynolds Number Transonic Wind Tunnel
D WILSON, S CHOU
23rd Aerospace Sciences Meeting, 315, 1985
91985
Reviews: Review Essay: The Lonely Hour of the Last Word: Marx, Althusser, and the Critical Critics Dialectical Investigations: Althusser and the Renewal of Marxist Socialá…
N Castree, JS Adams, D Wilson, A Gilbert, WG Hardwick, B Klinkenberg
Environment and Planning A 27 (7), 1163-1178, 1995
71995
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20