Skip to main navigation Skip to search Skip to main content

Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition

Project: Research council

  • 7 Chapter in a published conference proceeding
  • 7 Article

Search results

  • 2025

    Quantifier elimination for normal cone computations

    Mandlmayr, M. & Uncu, A. K., 1 Nov 2025, In: Journal of Symbolic Computation. 131, 102456.

    Research output: Contribution to journal › Article › peer-review

  • 2024

    Exploring Alternative Machine Learning Models for Variable Ordering in Cylindrical Algebraic Decomposition

    John, R. & Davenport, J., 17 Jul 2024, Mathematical Software – ICMS 2024 - 8th International Conference, Proceedings. Buzzard, K., Dickenstein, A., Eick, B., Leykin, A. & Ren, Y. (eds.). Cham, Switzerland: Springer, Cham, p. 176-185 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14749 LNCS).

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

    1   Link opens in a new tab Citation (SciVal)

  • So the problem has poor complexity: what next?

    Davenport, J. H., 10 May 2024, Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023. Stratulat, S., Marin, M., Negru, V. & Zaharie, D. (eds.). U. S. A.: IEEE, p. 5-10 6 p. (Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023).

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

  • 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

    1   Link opens in a new tab Citation (SciVal)

  • 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
    4   Link opens in a new tab Citations (SciVal)

  • Proving an Execution of an Algorithm Correct?

    Davenport, J. H., 28 Aug 2023, Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Proceedings. Dubois, C. & Kerber, M. (eds.). Cham, Switzerland: Springer Science and Business Media Deutschland GmbH, p. 255-269 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14101 LNAI).

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

    2   Link opens in a new tab 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
    11   Link opens in a new tab 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, 18 p., 125678.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    4   Link opens in a new tab Citations (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
    5   Link opens in a new tab 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
    5   Link opens in a new tab 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, 32 p., 100633.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    44   Link opens in a new tab 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
    5   Link opens in a new tab Citations (SciVal)
    120 Downloads (Pure)

  • On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving

    Kremer, G., Abraham, E., England, M. & Davenport, J. H., 10 Dec 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

    5   Link opens in a new tab Citations (SciVal)