2 papers
cs.LO2023
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
George Kenison, Klara Nosan, Mahsa Shirmohammadi +1
Hypergeometric sequences are rational-valued sequences that satisfy first-order linear recurrence relations with polynomial coefficients; that is, a hypergeometric sequence $\langl…
cs.LO2023
From Polynomial Invariants to Linear Loops
George Kenison, Laura Kovács, Anton Varonka
Loop invariants are software properties that hold before and after every iteration of a loop. As such, invariants provide inductive arguments that are key in automating the verific…