Research output per year
Research output per year
Research output
Search results
-
2022
A Combined VTS/Lazard Quantifier Elimination Method
Davenport, J. H., Tonks, Z. P. & Uncu, A. K., 23 Oct 2022, In: CEUR Workshop Proceedings. 3273, p. 41-49 9 p.Research output: Contribution to journal › Conference article › peer-review
Open Access1 Citation (SciVal) -
Equational Constraints, the Lazard Projection and the Curtain Problem
Nair, A. S., Davenport, J. H. & Sankaran, G., 12 Oct 2022, In: CEUR Workshop Proceedings. 3273, p. 50-58 9 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
SMT-Solving Induction Proofs of Inequalities
Uncu, A. K., Davenport, J. H. & England, M., 19 Aug 2022, In: CEUR Workshop Proceedings. 3458, p. 10-24 15 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile1 Citation (SciVal)134 Downloads (Pure) -
Varieties of Doubly-Exponential Behaviour in Cylindrical Algebraic Decomposition
Davenport, J. H., 20 Aug 2022, In: CEUR Workshop Proceedings. 3273, p. 31-40 10 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
2020
New opportunities for the formal proof of computational real geometry? (Extended Abstract)
Ábrahám, E., Davenport, J. H., England, M., Kremer, G. & Tonks, Z., 31 Dec 2020, In: CEUR Workshop Proceedings. 2752, p. 178-188 11 p.Research output: Contribution to journal › Conference article › peer-review
Open Access6 Citations (SciVal) -
2018
Non-linear real arithmetic benchmarks derived from automated reasoning in economics
Mulligan, C. B., Bradford, R., Davenport, J. H., England, M. & Tonks, Z., 11 Jul 2018, In: CEUR Workshop Proceedings. 2189, p. 48-60 13 p., 2.Research output: Contribution to journal › Conference article › peer-review
Open Access9 Citations (SciVal)