Ali Kemal Uncu

27 papers B 3Misc 2Journal 18Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Iterated Resultants and Rational Functions in Real Quantifier Elimination.
Math. Comput. Sci.
James H. Davenport, Matthew England, Scott McCallum, Ali Kemal Uncu
2025 J jnl
Quantifier elimination for normal cone computations.
J. Symb. Comput.
Michael Mandlmayr, Ali Kemal Uncu
2024 B conf
Factorial Basis Method for q-Series Applications.
ISSAC
Antonio Jiménez-Pastor, Ali Kemal Uncu
2024 J jnl
Factorial Basis Method for q-Series Applications.
CoRR
Antonio Jiménez-Pastor, Ali Kemal Uncu
2024 J jnl
Quantifier Elimination for Normal Cone Computations.
CoRR
Michael Mandlmayr, Ali Kemal Uncu
2023 Misc conf
A Poly-algorithmic Approach to Quantifier Elimination.
SYNASC
James H. Davenport, Zak P. Tonks, Ali Kemal Uncu
2023 J jnl
A Poly-algorithmic Approach to Quantifier Elimination.
CoRR
James H. Davenport, Zak P. Tonks, Ali Kemal Uncu
2023 B conf
A Unified Approach to Unimodality of Gaussian Polynomials.
ISSAC
Christoph Koutschan, Ali Kemal Uncu, Elaine Wong
2023 J jnl
A Unified Approach to Unimodality of Gaussian Polynomials.
CoRR
Christoph Koutschan, Ali Kemal Uncu, Elaine Wong
2023 J jnl
Foreword.
Math. Comput. Sci.
Ilias S. Kotsireas, Dimitris E. Simos, Ali Kemal Uncu
2023 J jnl
Iterated Resultants and Rational Functions in Real Quantifier Elimination.
CoRR
James H. Davenport, Matthew England, Scott McCallum, Ali Kemal Uncu
2023 B conf
Lazard-style CAD and Equational Constraints.
ISSAC
James Harold Davenport, Akshar Sajive Nair, Gregory Kumar Sankaran, Ali Kemal Uncu
2023 J jnl
Lazard-style CAD and Equational Constraints.
CoRR
James H. Davenport, Akshar S. Nair, Gregory K. Sankaran, Ali Kemal Uncu
2023 — ed.
Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022.
SC-Square@FLoC
Ali Kemal Uncu, Haniel Barbosa
2023 J jnl
Proofs of Modulo 11 and 13 Cylindric Kanade-Russell Conjectures for A
CoRR
Ali Kemal Uncu
2023 J jnl
SMT-Solving Induction Proofs of Inequalities.
CoRR
Ali Kemal Uncu, James H. Davenport, Matthew England
2023 J jnl
Where Do the Maximum Absolute
Exp. Math.
Alexander Berkovich, Ali Kemal Uncu
2022 Misc conf
Artificial Conflict Sampling for Real Satisfiability Problems.
SYNASC
James H. Davenport, Ali Kemal Uncu
2022 — conf
SMT-Solving Induction Proofs of Inequalities.
SC-Square@FLoC
Ali Kemal Uncu, James H. Davenport, Matthew England
2021 J jnl
On double sum generating functions in connection with some classical partition theorems.
Discret. Math.
Ali Kemal Uncu
2021 — conf
Practical Evaluation of Quantifier Elimination Methods (short paper).
SC-Square@SIAM AG
James H. Davenport, Zak Tonks, Ali Kemal Uncu
2021 J jnl
The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition.
CoRR
Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu
2021 J jnl
The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition.
ACM Commun. Comput. Algebra
Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu
2021 J jnl
qFunctions - A Mathematica package for
J. Symb. Comput.
Jakob Ablinger, Ali Kemal Uncu
2019 — conf
On a Weighted Spin of the Lebesgue Identity.
MACIS
Ali Kemal Uncu
2019 J jnl
qFunctions - A Mathematica package for q-series and partition theory applications.
CoRR
Jakob Ablinger, Ali Kemal Uncu
2015 J jnl
A new companion to Capparelli's identities.
Adv. Appl. Math.
Alexander Berkovich, Ali Kemal Uncu