Research

Items by Wilson, David

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: 2014 | 2013 | 2012
Number of items: 21.

2014

Wilson, D., Bradford, R., Davenport, J. H. and England, M., 2014. Cylindrical algebraic sub-decompositions. Mathematics in Computer Science, 8 (2), pp. 263-288.

Huang, Z., England, M., Wilson, D., Davenport, J.H. and Paulson, L., 2014. Forthcoming. A comparison of three heuristics to choose the variable ordering for CAD. In: Proc. ISSAC 2014 (Poster Abstract). .

Huang, Z., England, M., Wilson, D., Davenport, J. H., Paulson, L. and Bridge, J., 2014. Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. In: Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. and Urban, J., eds. Intelligent Computer Mathematics. Vol. 8543. Springer Lecture Notes in Artificial Intelligence, pp. 92-107. (Lecture Notes in Artificial Intelligence)

England, M., Bradford, R.J., Davenport, J.H. and Wilson, D., 2014. Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. In: Mathematical Software – ICMS 2014. Vol. 8592. Springer-Verlag, pp. 450-457.

Davenport, J. H., Wilson, D., Graham, I., Sankaran, G., Spence, A., Blake, J. and Kynaston, S., 2014. Interdisciplinary teaching of computing to mathematics students : Programming and discrete mathematics. MSOR Connections

England, M., Bradford, R. J., Chen, C., Davenport, J. H., Moreno Maza, M. and Wilson, D., 2014. Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. In: Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. and Urban, J., eds. Intelligent Computer Mathematics. Springer International Publishing, pp. 45-60. (Lecture Notes in Artificial Intelligence; 8543)

Bradford, R., Davenport, J.H., England, M., McCallum, S. and Wilson, D., 2014. Truth table invariant cylindrical algebraic decomposition. Unpublished (Submitted)

Bradford, R.J., Chen, C., Davenport, J.H., England, M., Moreno Maza, M. and Wilson, D., 2014. Forthcoming. Truth table invariant cylindrical algebraic decomposition by regular chains.

England, M., Wilson, D., Bradford, R.J. and Davenport, J.H., 2014. Forthcoming. Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting. In: Mathematical Software – ICMS 2014. Vol. 8592. Springer-Verlag, pp. 458-465.

2013

Wilson, D. J. and England, M., 2013. Layered Cylindrical Algebraic Decomposition. Other. Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-05)

Wilson, D., Bradford, R. J., Davenport, J. H. and England, M., 2013. The Piano Mover's Problem Reformulated. Other. Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-03)

Bradford, R., Davenport, J. and Wilson, D., 2013. A repository for CAD Examples. ACM Communications in Computer Algebra, 46 (3), pp. 67-69.

Wilson, D., Davenport, J. H., England, M. and Bradford, R. J., 2013. A "piano movers" problem reformulated. In: Proceedings of SYNASC 2013: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, pp. 53-60.

England, M., Cheb-Terrab, E., Bradford, R., Davenport, J. and Wilson, D., 2013. Branch Cuts in Maple 17. ACM Communications in Computer Algebra, 48 (1), pp. 24-27.

Bradford, R., Davenport, J. H., England, M., McCallum, S. and Wilson, D., 2013. Cylindrical algebraic decompositions for Boolean combinations. In: ISSAC '13: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation. New York: ACM, pp. 125-132.

Bradford, R., Davenport, J. H., England, M. and Wilson, D., 2013. Optimising problem formulation for cylindrical algebraic decomposition. In: Carette, J., Aspinall, D., Lange, C., Sojka, P. and Windsteiger, W., eds. Intelligent Computer Mathematics. Berlin: Springer, pp. 19-34. (Lecture Notes in Computer Science; 7961)

England, M., Bradford, R., Davenport, J. H. and Wilson, D., 2013. Understanding branch cuts of expressions. In: Carette, J., Aspinall, D., Lange, C., Sojka, P. and Windsteiger, W., eds. Intelligent Computer Mathematics. Berlin: Springer, pp. 136-151. (Lecture Notes in Computer Science; 7961)

2012

Wilson, D., 2012. Real Geometry and Connectedness via Triangular Description: CAD Example Bank. [Dataset]

Davenport, J., Bradford, R., England, M. and Wilson, D., 2012. Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition. Working Paper.

Davenport, J., Bradford, R., England, M. and Wilson, D., 2012. Program Verification in the presence of complex numbers, functions with branch cuts etc. In: Proceedings of SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Piscataway: IEEE, pp. 83-88.

Wilson, D. J., Bradford, R. J. and Davenport, J. H., 2012. Speeding up cylindrical algebraic decomposition by Gröebner Bases. In: Jeuring, J., Campbell, J. A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M. and Sorge, V., eds. Intelligent Computer Mathematics. Vol. 7362. Heidelberg: , pp. 280-294. (Lecture Notes in Computer Science; 7362)

This list was generated on Mon Sep 1 17:08:24 2014 IST.