Items by Wilson, David

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

Bradford, R., Davenport, J., England, M., McCallum, S. and Wilson, D., 2013. Forthcoming. Cylindrical algebraic decompositions for Boolean combinations. In: ISSAC 2013: International Symposium on Symbolic and Algebraic Computation, 2013-06-25 - 2013-06-28, Boston.

Bradford, R., Davenport, J., England, M. and Wilson, D., 2013. Forthcoming. Optimising problem formulation for cylindrical algebraic decomposition. In: Conferences on Intelligent Computer Mathematics: CICM 2013, 2013-07-07 - 2013-07-11, Bath.

England, M., Bradford, R., Davenport, J. H. and Wilson, D., 2013. Forthcoming. Understanding branch cuts of expressions. In: Conferences on Intelligent Computer Mathematics: CICM 2013, 2013-07-07 - 2013-07-11, Bath.

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. Forthcoming. 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. IEEE.

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: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, J. , pp. 280-294. (Lecture Notes in Computer Science; 7362)