Ali Kemal Uncu

According to our database, Ali Kemal Uncu authored at least 18 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Quantifier Elimination for Normal Cone Computations.

Michael Mandlmayr, Ali Kemal Uncu

CoRR, 2024

Factorial Basis Method for q-Series Applications.

Antonio Jiménez-Pastor, Ali Kemal Uncu

CoRR, 2024

2023

Foreword.

Ilias S. Kotsireas, Dimitris E. Simos, Ali Kemal Uncu

Math. Comput. Sci., March, 2023

Where Do the Maximum Absolute <i>q</i>-Series Coefficients of (1 - <i>q</i>)(1 - <i>q</i>²)(1 - <i>q</i>³)...(1 - <i>q</i>^{<i>n</i> - 1})(1 - <i>q</i>^<i>n</i>) Occur?

Alexander Berkovich, Ali Kemal Uncu

Exp. Math., January, 2023

Iterated Resultants and Rational Functions in Real Quantifier Elimination.

James H. Davenport, Matthew England, Scott McCallum, Ali Kemal Uncu

CoRR, 2023

A Poly-algorithmic Approach to Quantifier Elimination.

James H. Davenport, Zak P. Tonks, Ali Kemal Uncu

CoRR, 2023

Proofs of Modulo 11 and 13 Cylindric Kanade-Russell Conjectures for A₂ Rogers-Ramanujan Type Identities.

Ali Kemal Uncu

CoRR, 2023

A Unified Approach to Unimodality of Gaussian Polynomials.

Christoph Koutschan, Ali Kemal Uncu, Elaine Wong

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

Lazard-style CAD and Equational Constraints.

James Harold Davenport, Akshar Sajive Nair, Gregory Kumar Sankaran, Ali Kemal Uncu

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

2022

Artificial Conflict Sampling for Real Satisfiability Problems.

James H. Davenport, Ali Kemal Uncu

Proceedings of the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2022

SMT-Solving Induction Proofs of Inequalities.

Ali Kemal Uncu, James H. Davenport, Matthew England

Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, 2022

2021

qFunctions - A Mathematica package for <i>q</i>-series and partition theory applications.

Jakob Ablinger, Ali Kemal Uncu

J. Symb. Comput., 2021

On double sum generating functions in connection with some classical partition theorems.

Ali Kemal Uncu

Discret. Math., 2021

The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition.

Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu

ACM Commun. Comput. Algebra, 2021

Practical Evaluation of Quantifier Elimination Methods (short paper).

James H. Davenport, Zak Tonks, Ali Kemal Uncu

Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2021

2019

qFunctions - A Mathematica package for q-series and partition theory applications.

Jakob Ablinger, Ali Kemal Uncu

CoRR, 2019

On a Weighted Spin of the Lebesgue Identity.

Ali Kemal Uncu

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2019

2015

A new companion to Capparelli's identities.

Alexander Berkovich, Ali Kemal Uncu

Adv. Appl. Math., 2015