21 citations · 24 across the 13 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
math.OC2024
Quantifier Elimination for Normal Cone Computations
Michael Mandlmayr, Ali Kemal Uncu
We present effective procedures to calculate regular normal cones and other related objects using quantifier elimination. This method of normal cone calculations is complementary t…
cs.SC2024
Factorial Basis Method for q-Series Applications
Antonio Jiménez-Pastor, Ali Kemal Uncu
The Factorial Basis method, initially designed for quasi-triangular, shift-compatible factorial bases, provides solutions to linear recurrence equations in the form of definite-sum…