research
∙
06/02/2023
(Un)Solvable Loop Analysis
Automatically generating invariants, key to computer-aided analysis of p...
share
research
∙
03/16/2023
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
Hypergeometric sequences are rational-valued sequences that satisfy firs...
research
∙
02/13/2023
From Polynomial Invariants to Linear Loops
Loop invariants are software properties that hold before and after every...
research
∙
11/04/2022
Applications of transcendental number theory to decision problems for hypergeometric sequences
A rational-valued sequence is hypergeometric if it satisfies a first-ord...
research
∙
06/14/2022
Solving Invariant Generation for Unsolvable Loops
Automatically generating invariants, key to computer-aided analysis of p...
research
∙
03/14/2022
On the Skolem Problem for Reversible Sequences
Given an integer linear recurrence sequence ⟨ X_n ⟩_n, the Skolem Proble...
research
∙
07/23/2020
On Positivity and Minimality for Second-Order Holonomic Sequences
An infinite sequence ⟨u_n⟩_n∈ℕ of real numbers is holonomic (also known ...
research
∙
06/12/2020