George Kenison

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Positivity problems for reversible linear recurrence sequences	2024-11-14	Paper
On the Skolem problem for reversible sequences	2024-08-06	Paper
From Polynomial Invariants to Linear Loops Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation	2023-11-03	Paper
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation	2023-11-03	Paper
scientific article; zbMATH DE number 7724240 (Why is no real title available?) (available as arXiv preprint)	2023-08-08	Paper
Solving invariant generation for unsolvable loops Static Analysis	2023-07-28	Paper
The Membership and Threshold Problems for Hypergeometric Sequences with Quadratic Parameters	2022-11-04	Paper
On the Skolem Problem for Reversible Sequences	2022-03-14	Paper
On the Skolem Problem and Prime Powers (available as arXiv preprint)	2020-06-12	Paper
Statistics in conjugacy classes in free groups Geometriae Dedicata	2019-04-23	Paper
Orbit counting in conjugacy classes for free groups acting on trees Journal of Topology and Analysis	2017-09-26	Paper
Statistics in conjugacy classes in free groups (available as arXiv preprint)	2017-08-15	Paper
Linear Loop Synthesis for Quadratic Invariants (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: George Kenison