A new companion to Capparelli's identities. - Alexander Berkovich; Ali Kemal Uncu (Adv. Appl. Math., 2015)

On a Weighted Spin of the Lebesgue Identity. - Ali Kemal Uncu (MACIS, 2019)

qFunctions - A Mathematica package for q-series and partition theory applications. - Jakob Ablinger; Ali Kemal Uncu (CoRR, 2019)

Practical Evaluation of Quantifier Elimination Methods (short paper). - James H. Davenport; Zak Tonks; Ali Kemal Uncu (SC-Square@SIAM AG, 2021)

The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition. - Russell J. Bradford; James H. Davenport; Matthew England 001; AmirHosein Sadeghimanesh; Ali Kemal Uncu (ACM Commun. Comput. Algebra, 2021)

On double sum generating functions in connection with some classical partition theorems. - Ali Kemal Uncu (Discret. Math., 2021)

qFunctions - A Mathematica package for q-series and partition theory applications. - Jakob Ablinger; Ali Kemal Uncu (J. Symb. Comput., 2021)

SMT-Solving Induction Proofs of Inequalities. - Ali Kemal Uncu; James H. Davenport; Matthew England 001 (SC-Square@FLoC, 2022)

Artificial Conflict Sampling for Real Satisfiability Problems. - James H. Davenport; Ali Kemal Uncu (SYNASC, 2022)

Lazard-style CAD and Equational Constraints. - James Harold Davenport; Akshar Sajive Nair; Gregory Kumar Sankaran; Ali Kemal Uncu (ISSAC, 2023)

A Unified Approach to Unimodality of Gaussian Polynomials. - Christoph Koutschan; Ali Kemal Uncu; Elaine Wong (ISSAC, 2023)

A Poly-algorithmic Approach to Quantifier Elimination. - James H. Davenport; Zak P. Tonks; Ali Kemal Uncu (SYNASC, 2023)

Proofs of Modulo 11 and 13 Cylindric Kanade-Russell Conjectures for A2 Rogers-Ramanujan Type Identities. - Ali Kemal Uncu (CoRR, 2023)

Iterated Resultants and Rational Functions in Real Quantifier Elimination. - James H. Davenport; Matthew England 001; Scott McCallum; Ali Kemal Uncu (CoRR, 2023)

Where Do the Maximum Absolute q-Series Coefficients of (1 - q)(1 - q2)(1 - q3)...(1 - qn - 1)(1 - qn) Occur? - Alexander Berkovich; Ali Kemal Uncu (Exp. Math., 2023)

SMT-Solving Induction Proofs of Inequalities Benchmarking Repository. - Ali Kemal Uncu; James H. Davenport; Matthew England 001 (Zenodo, 2023)

Foreword. - Ilias S. Kotsireas; Dimitris E. Simos; Ali Kemal Uncu (Math. Comput. Sci., 2023)

Factorial Basis Method for q-Series Applications. - Antonio Jiménez-Pastor; Ali Kemal Uncu (ISSAC, 2024)

Quantifier elimination for normal cone computations. - Michael Mandlmayr; Ali Kemal Uncu (J. Symb. Comput., 2025)