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.

England, M. and Wilson, D., 2015. An Implementation of Sub-CAD in Maple. Other. Bath U.K.: 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. In: Zima, E., Caboara, M., Dumas, J.-G., Gonzalez-Vega, L., Wester, M. and Zhi, L., eds. ACM Communications in Computer Algebra. Vol. 48. 3-4 ed. 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., England, M., Bradford, R.J. and Davenport, J.H., 2014. Using the distribution of cells by dimension in a cylindrical algebraic decomposition. In: Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2014 16th International Symposium on. IEEE, pp. 53-60.

England, M., Wilson, D., Bradford, R. and Davenport, J. H., 2014. Using the regular chains library to build cylindrical algebraic decompositions by projecting and lifting. In: Hong, H. and Yap, C., eds. Mathematical Software – ICMS 2014. Springer, pp. 458-465. (Lecture Notes in Computer Science; 8592)

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)

Warning This item may not be up to date. Please visit http://dx.doi.org/10.15125/BATH-00069 for the maintained version.
Wilson, D., 2012. Real Geometry and Connectedness via Triangular Description: CAD Example Bank. [Dataset]

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 Tue Jul 28 14:36:51 2015 IST.