Items by England, Matthew

2013

England, M., 2013. An Implementation of CAD in Maple Utilising McCallum Projection. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; 2013-02)

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.

2012

England, M. and Athorne, C., 2012. Building Abelian Functions with Generalised Baker-Hirota Operators. SIGMA: Symmetry, Integrability and Geometry: Methods and Applications, 8 (037).

England, M. and Athone, C., 2012. Generalised elliptic functions. Central European Journal of Mathematics, 10 (5), pp. 1655-1672.

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.

England, M., Eilbeck, J. C. and Onishi, Y., 2012. Some New Addition Formulae for Weierstrass Elliptic Functions. Submitted paper