Showing cs.SCShow all
2 papers · 1 filter
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…
cs.SC2023
SMT-Solving Induction Proofs of Inequalities
Ali K. Uncu, James H. Davenport, Matthew England
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--Ka…