Items by England, Matthew

Book Sections

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.

Articles

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.

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

Reports/Papers

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)

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

Conference or Workshop Items

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.