Fingerprint

Dive into the research topics where Ali Uncu is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • A Poly-algorithmic Approach to Quantifier Elimination

    Davenport, J. H., Tonks, Z. P. & Uncu, A. K., 11 Sept 2023, (E-pub ahead of print) 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. 44-51 8 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 proceedingChapter in a published conference proceeding

  • 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 proceedingChapter in a published conference proceeding

  • A Unified Approach to Unimodality of Gaussian Polynomials

    Wong, E., Uncu, A. K. & Koutschan, C., 24 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 proceedingChapter in a published conference proceeding

  • Foreword

    Kotsireas, I., Simos, D. & Uncu, A. K., 13 Apr 2023, In: Mathematics in Computer Science. 17, 1, 7.

    Research output: Contribution to journalEditorialpeer-review

  • 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 proceedingChapter in a published conference proceeding

    Open Access
    2 Citations (SciVal)