Ali Uncu

View Scopus Profile

Ali Uncu

Dr

 https://orcid.org/0000-0001-5631-6424

  • 1 WEST 3.59

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
View full fingerprint

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
Explore network further
  • 5 Chapter in a published conference proceeding
  • 5 Article
  • 2 Conference article
  • 1 Editorial

  • A Poly-algorithmic Approach to Quantifier Elimination

    Davenport, J. H., Tonks, Z. P. & Uncu, A. K., 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. 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 proceeding › Chapter in a published conference proceeding

  • Factorial Basis Method for q-Series Applications: To the memory of an inspirational mathematician, Marko Petkovšek

    Jiménez-Pastor, A. & Uncu, A. K., 16 Jul 2024, ISSAC 2024 - Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation. Chen, S. (ed.). New York, U. S. A: Association for Computing Machinery, p. 382-390 9 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

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

    Open Access

  • 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

  • Foreword

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

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

View all 13 research outputs