Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition

Davenport, James (PI)
Bradford, Russell (CoI)

Project: Research council

6 Article
4 Chapter in a published conference proceeding

10 results

2023
Artificial Conflict Sampling for Real Satisfiability Problems
Davenport, J. H. & Uncu, A. K., 25 May 2023, 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). Buchberger, B., Marin, M., Negru, V. & Zaharie, D. (eds.). United States: IEEE, p. 55-58 4 p. (Proceedings of the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing).
Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
A Unified Approach to Unimodality of Gaussian Polynomials
Wong, E., Uncu, A. K. & Koutschan, C., 27 Jul 2023, ISSAC 2023 - Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation. Jeronimo, G. (ed.). U. S. A.: Association for Computing Machinery, p. 434-442 9 p. (ACM International Conference Proceeding Series).
Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Lazard-style CAD and Equational Constraints
Davenport, J. H., Nair, A. S., Sankaran, G. K. & Uncu, A. K., 24 Jul 2023, ISSAC 2023 - Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation. Jeronimo, G. (ed.). Association for Computing Machinery, p. 218-226 9 p. (ACM International Conference Proceeding Series).
Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Open Access
3 Citations (SciVal)
Sequences in overpartitions
Andrews, G. E. & Uncu, A. K., 30 Jun 2023, In: Ramanujan Journal. 61, 2, p. 715-729 15 p.
Research output: Contribution to journal › Article › peer-review

Open Access
6 Citations (SciVal)
2022
New infinite hierarchies of polynomial identities related to the Capparelli partition theorems
Berkovich, A. & Uncu, A. K., 15 Feb 2022, In: Journal of Mathematical Analysis and Applications. 506, 2, 125678.
Research output: Contribution to journal › Article › peer-review
1 Citation (SciVal)
The DEWCAD project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition
Bradford, R., Davenport, J. H., England, M., Sadeghimanesh, A. & Uncu, A., 12 Jan 2022, In: ACM Communications in Computer Algebra. 55, 3, p. 107-111 5 p.
Research output: Contribution to journal › Article › peer-review

Open Access
4 Citations (SciVal)
Weighted cylindric partitions
Bridges, W. & Uncu, A. K., Dec 2022, In: Journal of Algebraic Combinatorics. 56, 4, p. 1309-1337 29 p.
Research output: Contribution to journal › Article › peer-review

Open Access
2 Citations (SciVal)
2021
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
Ábrahám, E., Davenport, J. H., England, M. & Kremer, G., 28 Feb 2021, In: Journal of Logical and Algebraic Methods in Programming. 119, 100633.
Research output: Contribution to journal › Article › peer-review

Open Access
32 Citations (SciVal)
On double sum generating functions in connection with some classical partition theorems
Uncu, A. K., 30 Nov 2021, In: Discrete Mathematics. 344, 11, 112562.
Research output: Contribution to journal › Article › peer-review

Open Access
File
4 Citations (SciVal)

59 Downloads (Pure)
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving
Kremer, G., Abraham, E., England, M. & Davenport, J. H., 2021, Proceedings - 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021. Schneider, C., Marin, M., Negru, V. & Zaharie, D. (eds.). IEEE, p. 37-39 3 p. (Proceedings - 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021).
Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
3 Citations (SciVal)