Real Geometry and Connectedness via Triangular Description

Project: Research council

Filter
Chapter or section

Search results

  • 2016

    Need Polynomial Systems be Doubly-exponential?

    Davenport, J. & England, M., 2016, Mathematical Software – ICMS, 2016. Greuel, G. M., Koch, T., Paule, P. & Sommese, A. (eds.). Switzerland: Springer Verlag, p. 157-164 (Lecture Notes in Computer Science; vol. 9725).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    8 Citations (SciVal)
  • 2015

    Recent advances in real geometric reasoning

    Davenport, J. H. & England, M., 31 Aug 2015, Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers. Botana, F. & Quaresma, P. (eds.). Springer, p. 37-52 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9201).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    File
    2 Citations (SciVal)
    144 Downloads (Pure)
  • 2014

    Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition

    Huang, Z., England, M., Wilson, D., Davenport, J. H., Paulson, L. & Bridge, J., 2014, Intelligent Computer Mathematics. Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. & Urban, J. (eds.). Springer, Vol. 8543. p. 92-107 16 p. (Lecture Notes in Artificial Intelligence).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    Open Access
    File
    43 Citations (SciVal)
    161 Downloads (Pure)

  • Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition

    England, M., Bradford, R. J., Chen, C., Davenport, J. H., Moreno Maza, M. & Wilson, D., 2014, Intelligent Computer Mathematics. Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. & Urban, J. (eds.). Springer, p. 45-60 15 p. (Lecture Notes in Artificial Intelligence; vol. 8543).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    Open Access
    File
    17 Citations (SciVal)
    170 Downloads (Pure)

  • Truth table invariant cylindrical algebraic decomposition by regular chains

    Bradford, R., Chen, C., Davenport, J. H., England, M., Moreno Maza, M. & Wilson, D., 2014, Computer Algebra in Scientific Computing: Proceedings of the16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Gerdt, V. P., Koepf, W., Seiler, W. M. & Vorozhtsov, E. V. (eds.). Springer, Vol. 8660. p. 44-58 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    Open Access
    File
    21 Citations (SciVal)
    382 Downloads (Pure)