Research output per year
Research output per year
Research output
- 39 results
Search results
-
2020
Cylindrical algebraic decomposition with equational constraints
England, M., Bradford, R. & Davenport, J. H., 30 Sept 2020, In: Journal of Symbolic Computation. 100, p. 38-71 34 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile19 Citations (SciVal)71 Downloads (Pure) -
Identifying the parametric occurrence of multiple steady states for some biological networks
Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T. & Weber, A., 1 May 2020, In: Journal of Symbolic Computation. 98, p. 84-119 36 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile21 Citations (SciVal)51 Downloads (Pure) -
Regular cylindrical algebraic decomposition
Davenport, J., Locatelli, A. & Sankaran, G., 25 Feb 2020, In: Journal of the London Mathematical Society. 101, 1, p. 43-59 17 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Citation (SciVal)74 Downloads (Pure) -
Symbolic computation and satisfiability checking
Davenport, J. H., England, M., Griggio, A., Sturm, T. & Tinelli, C., 30 Sept 2020, In: Journal of Symbolic Computation. 100, p. 1-10Research output: Contribution to journal › Editorial › peer-review
Open AccessFile10 Citations (SciVal)60 Downloads (Pure) -
2019
Intelligent Geometry Tools
Davenport, J., Fleuriot, J., Quaresma, P., Recio, T. & Wang, D., 26 Aug 2019, Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE). EasyChair Publications, p. 51-52 2 p. (Electronic Proceedings in Theoretical Computer Science; vol. 311).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open AccessFile1 Citation (SciVal)93 Downloads (Pure) -
Using Machine Learning to Improve Cylindrical Algebraic Decomposition
Huang, Z., England, M., Wilson, D., Bridge, J., Davenport, J. & Paulson, L., 1 Dec 2019, In: Mathematics in Computer Science. 13, 4, p. 461-488 28 p.Research output: Contribution to journal › Article › peer-review
Open Access18 Citations (SciVal) -
2018
TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics
Mulligan, C. B., Davenport, J. H. & England, M., 2018, Mathematical Software – ICMS 2018 - 6th International Conference, Proceedings. Davenport, J., Kauers, M., Labahn, G. & Urban, J. (eds.). Cham, Switzerland: Springer International Publishing, p. 369-378 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10931 ).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open AccessFile14 Citations (SciVal)79 Downloads (Pure) -
2017
A case study on the parametric occurrence of multiple steady states
Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T. & Weber, A., 23 Jul 2017, ISSAC 2017 - Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation: Part F129312. Association for Computing Machinery, p. 45-52 8 p.Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
23 Citations (SciVal) -
The potential and challenges of CAD with equational constraints for SC-square
Davenport, J. H. & England, M., 2017, Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Proceedings. Germany: Springer Verlag, p. 280-285 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10693 ).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
2 Citations (SciVal) -
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases
Huang, Z., England, M., Davenport, J. & Paulson, L., 26 Jan 2017, Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016. Davenport, J. (ed.). IEEE, p. 45-52 7829592Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open AccessFile17 Citations (SciVal)158 Downloads (Pure) -
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) -
The complexity of cylindrical algebraic decomposition with respect to polynomial degree
England, M. & Davenport, J. H., 9 Sept 2016, Computer Algebra in Scientific Computing: 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings. Gerdt, V. P., Koepf, W., Seiler, W. M. & Vorozhtsov, E. V. (eds.). Springer Verlag, p. 172-192 21 p. (Lecture Notes in Computer Science; vol. 9890).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open AccessFile18 Citations (SciVal)106 Downloads (Pure) -
Truth table invariant cylindrical algebraic decomposition
Bradford, R., Davenport, J. H., England, M., McCallum, S. & Wilson, D., 1 Sept 2016, In: Journal of Symbolic Computation. 76, p. 1-35 35 p.Research output: Contribution to journal › Article › peer-review
Open Access39 Citations (SciVal)58 Downloads (Pure) -
2015
A comparison of three heuristics to choose the variable ordering for CAD
Huang, Z., England, M., Wilson, D., Davenport, J. H. & Paulson, L. C., Feb 2015, ACM Communications in Computer Algebra. Zima, E., Caboara, M., Dumas, J.-G., Gonzalez-Vega, L., Wester, M. & Zhi, L. (eds.). 3-4 ed. New York, U. S. A.: Association for Computing Machinery, Vol. 48. p. 121-123 3 p.Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open AccessFile1 Citation (SciVal)137 Downloads (Pure) -
An Implementation of Sub-CAD in Maple
England, M. & Wilson, D., Mar 2015, Bath U.K.: Department of Computer Science, University of Bath. 11 p. (Department of Computer Science Technical Report Series; no. CSBU-2015-01)Research output: Book/Report › Other report
Open AccessFile300 Downloads (Pure) -
Improving the use of equational constraints in cylindrical algebraic decomposition
England, M., Bradford, R. & Davenport, J. H., Jul 2015, p. 165-172. 8 p.Research output: Contribution to conference › Paper
Open Access25 Citations (SciVal)84 Downloads (Pure) -
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
File2 Citations (SciVal)144 Downloads (Pure) -
Solving computational problems in real algebra/geometry
Davenport, J. H., 2015, In: Annales Mathematicae et Informaticae. 44, p. 35-46 12 p.Research output: Contribution to journal › Article › peer-review
1 Citation (SciVal) -
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 AccessFile43 Citations (SciVal)161 Downloads (Pure) -
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
England, M., Bradford, R. J., Davenport, J. H. & Wilson, D., 2014, Mathematical Software – ICMS 2014: 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings. Springer, Vol. 8592. p. 450-457 8 p.Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open AccessFile16 Citations (SciVal)162 Downloads (Pure) -
CICM-WS-WiP 2014 preface
England, M., Jul 2014, In: CEUR Workshop Proceedings. 1186, 1 p.Research output: Contribution to journal › Article › peer-review
-
Cylindrical algebraic sub-decompositions
Wilson, D., Bradford, R., Davenport, J. H. & England, M., 13 Jun 2014, In: Mathematics in Computer Science. 8, 2, p. 263-288 26 p.Research output: Contribution to journal › Article › peer-review
Open Access17 Citations (SciVal)85 Downloads (Pure) -
Formulating problems for real algebraic geometry
England, M., 2014, Proceedings of XIV Encuentro de Álgebra Computacional y Aplicaciones : Barcelona, June 18-20 2014. p. 107-110Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open AccessFile51 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 AccessFile17 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 AccessFile21 Citations (SciVal)382 Downloads (Pure) -
Using the distribution of cells by dimension in a cylindrical algebraic decomposition
Wilson, D., England, M., Bradford, R. J. & Davenport, J. H., 2014, Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2014 16th International Symposium on. IEEE, p. 53-60 8 p.Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open AccessFile12 Citations (SciVal)182 Downloads (Pure) -
Using the regular chains library to build cylindrical algebraic decompositions by projecting and lifting
England, M., Wilson, D., Bradford, R. & Davenport, J. H., 2014, Mathematical Software – ICMS 2014: 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings. Hong, H. & Yap, C. (eds.). Springer, p. 458-465 8 p. (Lecture Notes in Computer Science; vol. 8592).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open AccessFile20 Citations (SciVal)169 Downloads (Pure) -
2013
An Implementation of CAD in Maple Utilising McCallum Projection
England, M., Jan 2013, Bath, U. K.: Department of Computer Science, University of Bath. 11 p. (Department of Computer Science Technical Report Series; no. CSBU-2013-02)Research output: Book/Report › Other report
Open AccessFile327 Downloads (Pure) -
An Implementation of CAD in Maple Utilising Problem Formulation, Equational Constraints and Truth-Table Invariance
England, M., May 2013, Bath, U. K.: Department of Computer Science, University of Bath. 14 p. (Department of Computer Science Technical Report Series; no. CSBU-2013-04)Research output: Book/Report › Other report
Open AccessFile299 Downloads (Pure) -
A "piano movers" problem reformulated
Wilson, D., Davenport, J. H., England, M. & Bradford, R. J., 2013, Proceedings of SYNASC 2013: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, p. 53-60 8 p.Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open AccessFile18 Citations (SciVal)190 Downloads (Pure) -
A repository for CAD Examples
Bradford, R., Davenport, J. & Wilson, D., Jan 2013, In: ACM Communications in Computer Algebra. 46, 3, p. 67-69 2 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile11 Citations (SciVal)218 Downloads (Pure) -
Branch Cuts in Maple 17
England, M., Cheb-Terrab, E., Bradford, R., Davenport, J. & Wilson, D., 2013, In: ACM Communications in Computer Algebra. 48, 1, p. 24-27 4 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile6 Citations (SciVal)205 Downloads (Pure) -
Cylindrical algebraic decompositions for Boolean combinations
Bradford, R., Davenport, J. H., England, M., McCallum, S. & Wilson, D., 2013, ISSAC '13: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation. New York: Association for Computing Machinery, p. 125-132Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open AccessFile20 Citations (SciVal)163 Downloads (Pure) -
Layered Cylindrical Algebraic Decomposition
Wilson, D. J. & England, M., Aug 2013, Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; no. CSBU-2013-05)Research output: Book/Report › Other report
Open AccessFile65 Downloads (Pure) -
Optimising problem formulation for cylindrical algebraic decomposition
Bradford, R., Davenport, J. H., England, M. & Wilson, D., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Berlin: Springer, p. 19-34 15 p. (Lecture Notes in Computer Science; vol. 7961).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open AccessFile37 Citations (SciVal)174 Downloads (Pure) -
Understanding branch cuts of expressions
England, M., Bradford, R., Davenport, J. H. & Wilson, D., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Berlin: Springer, p. 136-151 16 p. (Lecture Notes in Computer Science; vol. 7961).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open AccessFile12 Citations (SciVal)629 Downloads (Pure) -
2012
Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition
Davenport, J., Bradford, R., England, M. & Wilson, D., 2012, (In preparation).Research output: Working paper / Preprint › Working paper
File57 Downloads (Pure) -
Program Verification in the presence of complex numbers, functions with branch cuts etc
Davenport, J., Bradford, R., England, M. & Wilson, D., 2012, Proceedings of SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Piscataway: IEEE, p. 83-88 6 p.Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open AccessFile26 Citations (SciVal)202 Downloads (Pure) -
Speeding up cylindrical algebraic decomposition by Gröebner Bases
Wilson, D. J., Bradford, R. J. & Davenport, J. H., 2012, Intelligent Computer Mathematics. Jeuring, J., Campbell, J. A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M. & Sorge, V. (eds.). Heidelberg, Vol. 7362. p. 280-294 15 p. (Lecture Notes in Computer Science; vol. 7362).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open AccessFile13 Citations (SciVal)163 Downloads (Pure)