Zobrazeno 1 - 10
of 206
pro vyhledávání: '"Uncu, Ali"'
Autor:
Mandlmayr, Michael, Uncu, Ali Kemal
We present effective procedures to calculate regular normal cones and other related objects using quantifier elimination. This method of normal cone calculations is complementary to computing Lagrangians and it works best at points where the constrai
Externí odkaz:
http://arxiv.org/abs/2402.05579
The Factorial Basis method, initially designed for quasi-triangular, shift-compatible factorial bases, provides solutions to linear recurrence equations in the form of definite-sums. This paper extends the Factorial Basis method to its q-analog, enab
Externí odkaz:
http://arxiv.org/abs/2402.04392
This paper builds and extends on the authors previous work related to the algorithmic tool, Cylindrical Algebraic Decomposition (CAD), and one of its core applications, Real Quantifier Elimination (QE). These topics are at the heart of symbolic compu
Externí odkaz:
http://arxiv.org/abs/2312.16210
Publikováno v:
Proceedings of the 7th Workshop on Satisfiability Checking and Symbolic Computation (SC2 '22), A. Uncu and H. Barbosa eds. CEUR Workshop Proceedings 3458, pp. 10-24, 2023
This paper accompanies a new dataset of non-linear real arithmetic problems for the SMT-LIB benchmark collection. The problems come from an automated proof procedure of Gerhold--Kauers, which is well suited for solution by SMT. The problems of this t
Externí odkaz:
http://arxiv.org/abs/2307.16761
Cylindrical Algebraic Decomposition (CAD) was the first practical means for doing real quantifier elimination (QE), and is still a major method, with many improvements since Collins' original method. Nevertheless, its complexity is inherently doubly
Externí odkaz:
http://arxiv.org/abs/2302.06814
Publikováno v:
Proceedings of ISSAC'23, 2023
McCallum-style Cylindrical Algebra Decomposition (CAD) is a major improvement on the original Collins version, and has had many subsequent advances, notably for total or partial equational constraints. But it suffers from a problem with nullification
Externí odkaz:
http://arxiv.org/abs/2302.05813
Publikováno v:
ISSAC 2023: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, July 2023, Pages 434-442
In 2013, Pak and Panova proved the strict unimodality property of $q$-binomial coefficients $\binom{\ell+m}{m}_q$ (as polynomials in $q$) based on the combinatorics of Young tableaux and the semigroup property of Kronecker coefficients. They showed i
Externí odkaz:
http://arxiv.org/abs/2302.04067
Autor:
Uncu, Ali Kemal
We present proofs of two new families of sum-product identities arising from the cylindric partitions paradigm. Most of the presented expressions, the related sum-product identities, and the ingredients for the proofs were first conjectured by Kanade
Externí odkaz:
http://arxiv.org/abs/2301.01359
Autor:
Berkovich, Alexander, Uncu, Ali Kemal
We refine Schmidt's problem and a partition identity related to 2-color partitions which we will refer to as Uncu-Andrews-Paule theorem. We will approach the problem using Boulet-Stanley weights and a formula on Rogers-Szeg\H{o} polynomials by Berkov
Externí odkaz:
http://arxiv.org/abs/2205.00527
Autor:
Bridges, Walter, Uncu, Ali
Recently Corteel and Welsh outlined a technique for finding new sum-product identities by using functional relations between generating functions for cylindric partitions and a theorem of Borodin. Here, we extend this framework to include very genera
Externí odkaz:
http://arxiv.org/abs/2201.03047