Ali Kemal Uncu
Research Scientist
Symbolic Computation
Contact
Email: AliKemal.Uncu(at)oeaw.ac.at
Telephone: 0043 732 2468 5227
Publications
Journal Publication (10)
- Berkovich, Alexander; Uncu, Ali Kemal (2023) On Finite Analogs of Schmidt’s Problem and Its Variants. Seminaire Lotharingien de Combinatoire, Bd. B88b, S. 18.
- Kotsireas, Ilias; Simos, Dimitris; Uncu, Ali Kemal (2023) The Foreword. Mathematics in Computer Science, Bd. 17 (1), S. 1-2.
- George Andrews, Ali Kemal Uncu (2023) Sequences in Overpartitions. Ramanujan Journal, Bd. 61, S. 715–729.
- Bridges, Walter; Uncu, Ali K. (2022) Weighted cylindric partitions. J. Algebr. Comb.
- Berkovich, Alexander; Uncu, Ali Kemal (2022) New infinite hierarchies of polynomial identities related to the Capparelli partition theorems. J. Math. Anal. Appl., Bd. 506 (2), S. ARTN 125678.
- Corteel, Sylvie; Dousse, Jehanne; Uncu, Ali Kemal (2022) CYLINDRIC PARTITIONS AND SOME NEW A(2) ROGERS-RAMANUJAN IDENTITIES. Proc. Amer. Math. Soc., Bd. 150 (2), S. 481-497.
- Ablinger, Jakob; Uncu, Ali Kemal (2021) qFunctions - A Mathematica package for q-series and partition theory applications. J. Symb. Comput., Bd. 107, S. 145-166.
- Uncu, Ali Kemal (2020) A POLYNOMIAL IDENTITY IMPLYING SCHUR'S PARTITION THEOREM. Proc. Amer. Math. Soc., Bd. 148 (8), S. 3307-3324.
- Berkovich, Alexander; Uncu, Ali Kemal (2020) Where Do the Maximum Absolute q-Series Coefficients of (1-q)(1-q(2))(1-q(3))..(1-q^(n-1))(1-q(n)) Occur?. Exp. Math.
- Berkovich, Alexander; Uncu, Ali Kemal (2019) Elementary Polynomial Identities Involving q-Trinomial Coefficients. Ann. Comb.
Conference Contribution: Publication in Proceedings (8)
- Koutschan, Christoph; Uncu, Ali; Wong, Elaine (2023) A unified approach to unimodality of Gaussian polynomials., Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2023); New York: ACM, S. 434-442.
- Davenport, James H.; Nair, Akshar; Sankaran, Gregory; Uncu, Ali (2023) Lazard-style CAD and Equational Constraints., Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2023); New York: ACM, S. 218–226.
- James H. Davenport, Zak P. Tonks, Ali Kemal Uncu (2022) Practical Evaluation of Quantifier Elimination Methods. (6th International Satisfiability Checking and Symbolic Computation 2021), S. 9 <'https://ceur-ws.org/'>.
- James H. Davenport, Ali Kemal Uncu (2022) Artificial Conflict Sampling for Real Satisfiability Problems. (24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) 2022), S. 4 <'IEEE'>.
- Michael Schlosser, Koushik Senapati, Ali Kemal Uncu (2020) Logconcavity results for a biparametric and an elliptic extension of the q-binomial coefficients., Bd. n/a, S. 17.
- Berkovich, Alexander; Uncu, Ali Kemal (2020) Refined q-Trinomial Coefficients and Two Infinite Hierarchies of q-Series Identities. In: Pillwein, Veronika; Schneider, Carsten (Hrsg.), Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra In Reihe: Texts & Monographs in Symbolic Computation, S. 47-61.
- Uncu, Ali Kemal (2020) On a weighted spin of the Lebesgue Identity. In: Slamanig, Daniel; Tsigaridas, Elias; Zafeirakopoulos, Zafeirakis (Hrsg.), MACIS 2019: Mathematical Aspects of Computer and Information Sciences (8th International Conference of Mathematical Aspects of Computer and Information Sciences 2019) In Reihe: Lecture Notes in Computer Science: Springer, Cham, S. 273-279.
- Davenport, James H; Tonks, Zak P; Uncu, Ali A Poly-algorithmic Approach to Quantifier Elimination., 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (SYNASC 2023); Nancy: IEEE, S. 10-24.
Editorship (2)
- Uncu, Ali Kemal; Barbosa, Haniel (Hrsg.) (2023) Proceedings of the 7th Satisfiability Checking and Symbolic Computation Workshop (SC-Square). .
- Kotsireas, Ilias; Simos, Dimitris; Uncu, Ali Kemal (Hrsg.) (2023) Mathematics in Computer Science Vol 17., Bd. 17: Birkhaeuser.
Research Report (3)
- Davenport, James H; England, Matthew; McCallum, Scott; Uncu, Ali Kemal (2023) Iterated Resultants and Rational Functions in Real Quantifier Elimination. Linz.
- Koutschan, Christoph; Uncu, Ali; Wong, Elaine (2023) A unified approach to unimodality of Gaussian polynomials. Bericht-Nr. 2023-03; RICAM: Linz.
- Uncu, Ali Kemal (2023) Proofs of Modulo 11 and 13 Cylindric Kanade-Russell Conjectures for A2 Rogers-Ramanujan Type Identities. Linz.