Ali Kemal Uncu

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 22

Top Topics

Constraint Propagation

Quantifier Elimination

Cardinality Constraints

Mathematical Proofs

Top Venues

Math. Comput. Sci.

Publications

Michael Mandlmayr, Ali Kemal Uncu
Quantifier Elimination for Normal Cone Computations. CoRR (2024)
Antonio Jiménez-Pastor, Ali Kemal Uncu
Factorial Basis Method for q-Series Applications. ISSAC (2024)
Antonio Jiménez-Pastor, Ali Kemal Uncu
Factorial Basis Method for q-Series Applications. CoRR (2024)
James H. Davenport, Zak P. Tonks, Ali Kemal Uncu
A Poly-algorithmic Approach to Quantifier Elimination. SYNASC (2023)
James H. Davenport, Akshar S. Nair, Gregory K. Sankaran, Ali Kemal Uncu
Lazard-style CAD and Equational Constraints. CoRR (2023)
James H. Davenport, Zak P. Tonks, Ali Kemal Uncu
A Poly-algorithmic Approach to Quantifier Elimination. CoRR (2023)
Alexander Berkovich, Ali Kemal Uncu
) Occur? Exp. Math. 32 (1) (2023)
Ilias S. Kotsireas, Dimitris E. Simos, Ali Kemal Uncu
Foreword. Math. Comput. Sci. 17 (1) (2023)
Ali Kemal Uncu, James H. Davenport, Matthew England
SMT-Solving Induction Proofs of Inequalities. CoRR (2023)
Ali Kemal Uncu
Rogers-Ramanujan Type Identities. CoRR (2023)
Christoph Koutschan, Ali Kemal Uncu, Elaine Wong
A Unified Approach to Unimodality of Gaussian Polynomials. ISSAC (2023)
James Harold Davenport, Akshar Sajive Nair, Gregory Kumar Sankaran, Ali Kemal Uncu
Lazard-style CAD and Equational Constraints. ISSAC (2023)
James H. Davenport, Matthew England, Scott McCallum, Ali Kemal Uncu
Iterated Resultants and Rational Functions in Real Quantifier Elimination. CoRR (2023)
James H. Davenport, Ali Kemal Uncu
Artificial Conflict Sampling for Real Satisfiability Problems. SYNASC (2022)
Ali Kemal Uncu, James H. Davenport, Matthew England
SMT-Solving Induction Proofs of Inequalities. SC-Square@FLoC (2022)
Jakob Ablinger, Ali Kemal Uncu
-series and partition theory applications. J. Symb. Comput. 107 (2021)
James H. Davenport, Zak Tonks, Ali Kemal Uncu
Practical Evaluation of Quantifier Elimination Methods (short paper). SC-Square@SIAM AG (2021)
Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu
The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition. ACM Commun. Comput. Algebra 55 (3) (2021)
Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu
The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition. CoRR (2021)
Ali Kemal Uncu
On double sum generating functions in connection with some classical partition theorems. Discret. Math. 344 (11) (2021)
Jakob Ablinger, Ali Kemal Uncu
qFunctions - A Mathematica package for q-series and partition theory applications. CoRR (2019)
Ali Kemal Uncu
On a Weighted Spin of the Lebesgue Identity. MACIS (2019)
Alexander Berkovich, Ali Kemal Uncu
A new companion to Capparelli's identities. Adv. Appl. Math. 71 (2015)