Research

Items by England, Matthew

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: 28.

England, M., Bradford, R. and Davenport, J., 2015. Improving the use of equational constraints in cylindrical algebraic decomposition. In: ISSAC '15 - 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015-07-06 - 2015-07-09, Bath.

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.

Davenport, J. H. and England, M., 2015. Recent advances in real geometric reasoning. In: Automated Deduction in Geometry.Vol. 9201. Switerland: Springer, pp. 37-52. (Lecture Notes in Computer Science)

England, M., Eilbeck, J. C. and Onishi, Y., 2014. Some new addition formulae for Weierstrass elliptic functions. Proceedings of the Royal Society of London Series A - Mathematical Physical and Engineering Sciences, 470 (2171), 20140051.

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., 2014. CICM-WS-WiP 2014 preface. CEUR Workshop Proceedings, 1186.

England, M., 2014. Formulating problems for real algebraic geometry. In: Proceedings of XIV Encuentro de Álgebra Computacional y Aplicaciones. , pp. 107-110.

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)

England, M., 2013. An Implementation of CAD in Maple Utilising Problem Formulation, Equational Constraints and Truth-Table Invariance. Other. Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-04)

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

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)

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

This list was generated on Fri Sep 4 22:04:29 2015 IST.