2 citations · 3 across the 12 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.LO2022
The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters
George Kenison
Hypergeometric sequences are rational-valued sequences that satisfy first-order linear recurrence relations with polynomial coefficients; that is, $\langle u_n \rangle_{n=0}^\infty…
cs.PL2022
Solving Invariant Generation for Unsolvable Loops
Daneshvar Amrollahi, Ezio Bartocci, George Kenison +3
Automatically generating invariants, key to computer-aided analysis of probabilistic and deterministic programs and compiler optimisation, is a challenging open problem. Whilst the…
math.NT2022★ 1 cited
On the Skolem Problem for Reversible Sequences
George Kenison
Given an integer linear recurrence sequence , the Skolem Problem asks to determine whether there is a natural number such that . Recent work by…