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
Number of items: 24.

Bradford, R., Davenport, J. H., England, M., McCallum, S. and Wilson, D., 2016. Truth table invariant cylindrical algebraic decomposition. Journal of Symbolic Computation, 76, pp. 1-35.

England, M. and Wilson, D., 2015. An Implementation of Sub-CAD in Maple. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2015-01)

Huang, Z., England, M., Wilson, D., Davenport, J. H. and Paulson, L. C., 2015. A comparison of three heuristics to choose the variable ordering for CAD. New York, U. S. A.: ACM, pp. 121-123.

Wilson, D., 2014. Advances in Cylindrical Algebraic Decomposition. Thesis (Doctor of Philosophy (PhD)). University of Bath.

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., 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, pp. 92-107. (Lecture Notes in Artificial Intelligence)

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, pp. 45-60. (Lecture Notes in Artificial Intelligence; 8543)

Bradford, R., Chen, C., Davenport, J. H., England, M., Moreno Maza, M. and Wilson, D., 2014. Truth table invariant cylindrical algebraic decomposition by regular chains. In: Gerdt, V. P., Koepf, W., Seiler, W. M. and Vorozhtsov, E. V., eds. Computer Algebra in Scientific Computing.Vol. 8660. Springer, pp. 44-58. (Lecture Notes in Computer Science)

Wilson, D. J. and England, M., 2013. Layered Cylindrical Algebraic Decomposition. 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. 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: SYNASC 2013: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013-09-23 - 2013-09-26. 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 2013: International Symposium on Symbolic and Algebraic Computation, 2013-06-25 - 2013-06-28. 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. Conferences on Intelligent Computer Mathematics: CICM 2013, 2013-07-07 - 2013-07-11. 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. Conferences on Intelligent Computer Mathematics: CICM 2013, 2013-07-07 - 2013-07-11. Berlin: Springer, pp. 136-151. (Lecture Notes in Computer Science; 7961)

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

This list was generated on Mon Jul 25 12:59:54 2016 IST.