Research output per year
Research output per year
Research output
- 10 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) -
2019
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) -
2016
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
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
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) -
2013
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)