E-LIB Suche - Ergebnisse für: Uncu, Ali K.

1

Sequences in overpartitions:

Andrews, George E. ; Uncu, Ali K.
The Ramanujan Journal. 61 (2023) 2 - p. 715-729 , 2023

Link: https://doi.org/10.1007/..

2

A Poly-algorithmic Approach to Quantifier Elimination:

, In: 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),

Davenport, James H. ; Tonks, Zak P. ; Uncu, Ali K. - p. 44-51 , 2023

Link: https://doi.org/10.1109/..

3

Weighted cylindric partitions:

Bridges, Walter ; Uncu, Ali K.
Journal of Algebraic Combinatorics. 56 (2022) 4 - p. 1309-1337 , 2022

Link: https://doi.org/10.1007/..

4

Artificial Conflict Sampling for Real Satisfiability Proble..:

, In: 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),

Davenport, James H. ; Uncu, Ali K. - p. 55-58 , 2022

Link: https://doi.org/10.1109/..

5

Variation on a theme of Nathan Fine. New weighted partition..:

Berkovich, Alexander ; Uncu, Ali K.
Journal of Number Theory. 176 (2017) - p. 226-248 , 2017

Link: https://doi.org/10.1016/..

6

Sequences in overpartitions:

Andrews, George E ; Uncu, Ali K
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC10185600/. , 2023

Link: http://www.ncbi.nlm.nih...

7

SMT-Solving Induction Proofs of Inequalities:

Uncu, Ali K ; Davenport, James H ; England, Matthew
http://arxiv.org/abs/2307.16761. , 2023

Link: http://arxiv.org/abs/230..

8

Iterated Resultants and Rational Functions in Real Quantifi..:

Davenport, James H ; England, Matthew ; McCallum, Scott.
http://arxiv.org/abs/2312.16210. , 2023

Link: http://arxiv.org/abs/231..

9

A Poly-algorithmic Approach to Quantifier Elimination:

Davenport, James H ; Tonks, Zak P ; Uncu, Ali K
http://arxiv.org/abs/2302.06814. , 2023

Link: http://arxiv.org/abs/230..

10

A Unified Approach to Unimodality of Gaussian Polynomials:

Koutschan, Christoph ; Uncu, Ali K ; Wong, Elaine
http://arxiv.org/abs/2302.04067. , 2023

Link: http://arxiv.org/abs/230..

11

Lazard-style CAD and Equational Constraints:

Davenport, James H ; Nair, Akshar S ; Sankaran, Gregory K.
http://arxiv.org/abs/2302.05813. , 2023

Link: http://arxiv.org/abs/230..

12

Weighted cylindric partitions:

Bridges, Walter ; Uncu, Ali K
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC9568468/. , 2022

Link: http://www.ncbi.nlm.nih...

13

Sequences in Overpartitions:

Andrews, George E ; Uncu, Ali K
http://arxiv.org/abs/2111.15003. , 2021

Link: http://arxiv.org/abs/211..

14

Log-concavity results for a biparametric and an elliptic ex..:

Schlosser, Michael J ; Senapati, Koushik ; Uncu, Ali K
http://arxiv.org/abs/2002.07796. , 2020

Link: http://arxiv.org/abs/200..

15

Cylindric partitions and some new $A_2$ Rogers-Ramanujan id..:

Corteel, Sylvie ; Dousse, Jehanne ; Uncu, Ali K
http://arxiv.org/abs/2011.12828. , 2020

Link: http://arxiv.org/abs/201..