Research output per year
Research output per year
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
Research output
-
Iterated Resultants and Rational Functions in Real Quantifier Elimination
Davenport, J., England, M., McCallum, S. & Uncu, A. K., 28 Feb 2025, (Acceptance date) In: Mathematics in Computer Science.Research output: Contribution to journal › Article › peer-review
-
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
-
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 Access1 Citation (SciVal) -
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 Citation (SciVal)