Kenison, George
- On Positivity and Minimality for Second-Order Holonomic Sequences
2020/07/23 by Kenison, George, Klurman, Oleksiy, Lefaucheux, Engel +5 · 2 citations
#11B37 #11Y65 #68R99 #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #G.2.1 #Number Theory (math.NT)
- The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters
2022/11/04 by George Kenison, Kenison, George · 3 citations
Computer Science · Engineering · #Advanced Numerical Analysis Techniques #Coding theory and cryptography #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Number Theory (math.NT) #Polynomial and algebraic computation
- From Polynomial Invariants to Linear Loops
2023/02/13 by George Kenison, Laura Kovács, Kenison, George +3 · 1 citation
Computer Science · #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Software Testing and Debugging Techniques
- Simple Linear Loops: Algebraic Invariants and Applications
2024/07/12 by Manssour, Rida Ait El, Kenison, George, Shirmohammadi, Mahsa +1 · 2 citations
#Algebraic Geometry (math.AG) #Computational Complexity (cs.CC) #FOS: Computer and information sciences #FOS: Mathematics
- Linear Loop Synthesis for Quadratic Invariants
2023/10/08 by S. Hitarth, Hitarth, S., George Kenison +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Number Theory (math.NT)