https://georgekenison.github.io/publication-type/3/ 2026-03-14T00:00:00+00:00 weekly https://georgekenison.github.io/ 2026-03-14T00:00:00+00:00 weekly https://georgekenison.github.io/tag/matrix-semigroups/ 2026-03-14T00:00:00+00:00 weekly https://georgekenison.github.io/publication/bell-2026-words/ 2026-03-14T00:00:00+00:00 weekly https://georgekenison.github.io/publication_types/ 2026-03-14T00:00:00+00:00 weekly https://georgekenison.github.io/publication/ 2026-03-14T00:00:00+00:00 weekly https://georgekenison.github.io/tag/special-linear-groups/ 2026-03-14T00:00:00+00:00 weekly https://georgekenison.github.io/tags/ 2026-03-14T00:00:00+00:00 weekly https://georgekenison.github.io/tag/word-embeddings/ 2026-03-14T00:00:00+00:00 weekly https://georgekenison.github.io/tag/word-representations/ 2026-03-14T00:00:00+00:00 weekly https://georgekenison.github.io/tag/continued-fractions/ 2026-03-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/decision-problems/ 2026-03-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/holonomic-sequences/ 2026-03-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/minimal-solutions/ 2026-03-01T00:00:00+00:00 weekly https://georgekenison.github.io/publication/kenison-2026-positivity/ 2026-03-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/periods/ 2026-03-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/positivity-problem/ 2026-03-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/recurrence-sequences/ 2026-03-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/special-functions/ 2026-03-01T00:00:00+00:00 weekly https://georgekenison.github.io/publication-type/2/ 2026-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/algebraic-geometry/ 2026-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/computational-complexity/ 2026-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/determination-problems/ 2026-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/publication/aitelmanssour-2024-determination/ 2026-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/loop-synthesis/ 2026-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/orbit-closures/ 2026-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/publication/kenison-2025-membership/ 2025-07-25T00:00:00+00:00 weekly https://georgekenison.github.io/tag/weil-heights/ 2025-07-25T00:00:00+00:00 weekly https://georgekenison.github.io/tag/invariant-generation/ 2025-06-20T00:00:00+00:00 weekly https://georgekenison.github.io/tag/loop-invariants/ 2025-06-20T00:00:00+00:00 weekly https://georgekenison.github.io/post/2025workshop/ 2025-06-20T00:00:00+00:00 weekly https://georgekenison.github.io/tag/loops/ 2025-06-20T00:00:00+00:00 weekly https://georgekenison.github.io/post/ 2025-06-20T00:00:00+00:00 weekly https://georgekenison.github.io/tag/algebraic-invariant/ 2025-01-12T00:00:00+00:00 weekly https://georgekenison.github.io/tag/algebraic-reasoning/ 2025-01-12T00:00:00+00:00 weekly https://georgekenison.github.io/tag/loop-invariant/ 2025-01-12T00:00:00+00:00 weekly https://georgekenison.github.io/tag/polynomial-space/ 2025-01-12T00:00:00+00:00 weekly https://georgekenison.github.io/tag/program-synthesis/ 2025-01-12T00:00:00+00:00 weekly https://georgekenison.github.io/publication/aitelmanssour-2024-loops/ 2025-01-12T00:00:00+00:00 weekly https://georgekenison.github.io/tag/zariski-closure/ 2025-01-12T00:00:00+00:00 weekly https://georgekenison.github.io/tag/algebraic-methods/ 2025-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/invariant-verification/ 2025-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/loopinvariants/ 2025-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/workshop/ 2025-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/publication-type/1/ 2024-07-02T00:00:00+00:00 weekly https://georgekenison.github.io/tag/hypergeometric-sequences/ 2024-07-02T00:00:00+00:00 weekly https://georgekenison.github.io/tag/membership-problem/ 2024-07-02T00:00:00+00:00 weekly https://georgekenison.github.io/publication/kenison-2024-threshold/ 2024-07-02T00:00:00+00:00 weekly https://georgekenison.github.io/tag/threshold-problem/ 2024-07-02T00:00:00+00:00 weekly https://georgekenison.github.io/publication/amrollahi-2023-unsolvable/ 2024-06-11T00:00:00+00:00 weekly https://georgekenison.github.io/tag/probabilistic-programs/ 2024-06-11T00:00:00+00:00 weekly https://georgekenison.github.io/tag/unsolvable-loops/ 2024-06-11T00:00:00+00:00 weekly https://georgekenison.github.io/tag/diophantine-equations/ 2024-03-11T00:00:00+00:00 weekly https://georgekenison.github.io/publication/hitarth-2024-loop/ 2024-03-11T00:00:00+00:00 weekly https://georgekenison.github.io/tag/quadratic-invariants/ 2024-03-11T00:00:00+00:00 weekly https://georgekenison.github.io/tag/verification/ 2024-03-11T00:00:00+00:00 weekly https://georgekenison.github.io/tag/autoboz/ 2023-06-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/automata/ 2023-06-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/games/ 2023-06-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/logic/ 2023-06-01T00:00:00+00:00 weekly https://georgekenison.github.io/post/2023workshops/ 2023-06-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/worrell23/ 2023-06-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/defective-variables/ 2023-05-23T00:00:00+00:00 weekly https://georgekenison.github.io/tag/effective-variables/ 2023-05-23T00:00:00+00:00 weekly https://georgekenison.github.io/tag/program-analysis/ 2023-05-23T00:00:00+00:00 weekly https://georgekenison.github.io/post/2022sastalk/ 2023-05-23T00:00:00+00:00 weekly https://georgekenison.github.io/publication/kenison-2023-reversiblepositivity/ 2023-05-13T00:00:00+00:00 weekly https://georgekenison.github.io/publication/kenison-2023-hypergeometric/ 2023-03-05T00:00:00+00:00 weekly https://georgekenison.github.io/publication/kenison-2023-loop/ 2023-02-14T00:00:00+00:00 weekly https://georgekenison.github.io/tag/polynomial-invariants/ 2023-02-14T00:00:00+00:00 weekly https://georgekenison.github.io/publication/amrollahi-2022-invariant/ 2022-06-15T00:00:00+00:00 weekly https://georgekenison.github.io/tag/decidability/ 2022-04-06T00:00:00+00:00 weekly https://georgekenison.github.io/tag/dynamical-systems/ 2022-04-06T00:00:00+00:00 weekly https://georgekenison.github.io/post/dynamicaltalk/ 2022-04-06T00:00:00+00:00 weekly https://georgekenison.github.io/publication/kenison-2022-reversible/ 2022-03-14T00:00:00+00:00 weekly https://georgekenison.github.io/tag/skolem-problem/ 2022-03-14T00:00:00+00:00 weekly https://georgekenison.github.io/tag/minimality-problem/ 2021-10-01T00:00:00+00:00 weekly https://georgekenison.github.io/post/mfcstalk/ 2021-10-01T00:00:00+00:00 weekly https://georgekenison.github.io/publication/kenison-2021-minimality/ 2021-08-22T00:00:00+00:00 weekly https://georgekenison.github.io/post/holonomictalk/ 2020-12-04T00:00:00+00:00 weekly https://georgekenison.github.io/tag/design/ 2020-08-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/learning-mathematics/ 2020-08-01T00:00:00+00:00 weekly https://georgekenison.github.io/post/designeveryday/ 2020-08-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/teaching-philosophy/ 2020-08-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/algebraic-number-theory/ 2020-07-01T00:00:00+00:00 weekly https://georgekenison.github.io/publication/kenison-2020-skolem/ 2020-07-01T00:00:00+00:00 weekly https://georgekenison.github.io/post/fourcycle/ 2020-05-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/markov-reachability-problem/ 2020-05-01T00:00:00+00:00 weekly https://georgekenison.github.io/slides/ 2019-02-05T00:00:00+00:00 weekly https://georgekenison.github.io/slides/example/ 2019-02-05T00:00:00+00:00 weekly https://georgekenison.github.io/tag/asymptotic-statistics/ 2019-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/central-limit-theorems/ 2019-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/free-groups/ 2019-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/publication/kenison-2019-statistics/ 2019-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/symbolic-dynamics/ 2019-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/thermodynamic-formalism/ 2019-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/reachability/ 2018-06-28T00:00:00+00:00 weekly https://georgekenison.github.io/tag/recurrences/ 2018-06-28T00:00:00+00:00 weekly https://georgekenison.github.io/worrell/ 2018-06-28T00:00:00+00:00 weekly https://georgekenison.github.io/tag/asymptotic-properties-of-groups/ 2017-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/metric-trees/ 2017-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/tag/orbit-counting/ 2017-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/publication/kenison-2015-orbit/ 2017-01-01T00:00:00+00:00 weekly https://georgekenison.github.io/admin/ weekly https://georgekenison.github.io/categories/ weekly https://georgekenison.github.io/event/ weekly