- The Klein j-Function is not Pfaffian over the Real Exponential Field Christoph Kesting Thu 05 February 2026
- Not Pfaffian James Freitag Thu 05 February 2026
- Axiomatizing the existential theory of Fq((t)) Sylvy Anscombe Philip Dittmann Arno Fehm Mon 12 May 2025
- On the existential theory of the completions of a global field Philip Dittmann Arno Fehm Mon 12 May 2025
- Undecidability of expansions of Laurent series fields by cyclic discrete subgroups Leo Gitin Mon 12 May 2025
- Submonoid Membership in n-dimensional lamplighter groups and S-unit equations Ruiwen Dong Mon 05 May 2025
- Formalizing zeta and L-functions in Lean David Loeffler Michael Stoll Sun 09 March 2025
- Completing the picture for the Skolem Problem on order-4 linear recurrence sequences Piotr Bacik Wed 29 January 2025
- Certifying rings of integers in number fields Anne Baanen Alain Chavarri Villarello Sander R. Dahmen Sat 12 October 2024
- Algebraic power series and their automatic complexity II: modulo prime powers Eric Rowland Reem Yassawi Tue 24 September 2024
- Factoring formal power series over principal ideal domains Jesse Elliott Fri 14 June 2024
- Decidability of the theory of addition and the Frobenius map in rings of rational functions Dimitra Chompitaki Manos Kamarianakis Thanases Pheidas Fri 17 May 2024
- On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words Pavol Kebis Florian Luca Joel Ouaknine Andrew Scoones James Worrell Thu 16 May 2024
- Mahler equations for Zeckendorf numeration Olivier Carton Reem Yassawi Thu 09 May 2024
- Periods, Power Series, and Integrated Algebraic Numbers Tobias Kaiser Mon 29 April 2024
- Bounds for rational points on algebraic curves, optimal in the degree, and dimension growth Gal Binyamini Raf Cluckers Dmitry Novikov Thu 18 April 2024
- Decidability of extensions of Presburger arithmetic by generalised polynomials Jakub Konieczny Tue 02 April 2024
- Linear Loop Synthesis for Quadratic Invariants S. Hitarth George Kenison Laura Kovács Anton Varonka Thu 29 February 2024
- Twisted rational zeros of linear recurrence sequences Yuri Bilu Florian Luca Joris Nieuwveld Joel Ouaknine James Worrell Sat 27 January 2024
- In Memory of Martin Davis Wesley Calvert Valentina Harizanov Eugenio G. Omodeo Alberto Policriti Alexandra Shlapentokh Sat 20 January 2024
- A Formalization of Complete Discrete Valuation Rings and Local Fields María Inés de Frutos-Fernández Filippo Alberto Edoardo Nuccio Mortarino Majno Di Capriglio Thu 05 October 2023
- A note on the power sums of the number of Fibonacci partitions Carlo Sanna Wed 27 September 2023
- The Membership and Threshold Problems for Hypergeometric Sequences with Quadratic Parameters George Kenison Wed 27 September 2023
- Integer Programming with GCD Constraints Rémy Defossez Christoph Haase Alessio Mansutti Guillermo A. Perez Tue 29 August 2023
- Automatic Sequences and Curves over Finite Fields Andrew Bridy Mon 28 August 2023
- A sharper multivariate Christol's theorem with applications to diagonals and Hadamard products Boris Adamczewski Alin Bostan Xavier Caruso Mon 28 August 2023
- A note on Christol's theorem Boris Adamczewski Reem Yassawi Mon 28 August 2023
- Diagonalization and Rationalization of algebraic Laurent series Boris Adamczewski Jason P. Bell Mon 28 August 2023
- Algebraic power series and their automatic complexity I: finite fields Eric Rowland Manon Stipulanti Reem Yassawi Mon 28 August 2023
- On asymptotically automatic sequences Jakub Konieczny Thu 22 June 2023
- Fermat's Last Theorem for regular primes Alex J. Best Christopher Birkbeck Riccardo Brasca Eric Rodriguez Boidi Wed 24 May 2023
- Quantitative estimates for the size of an intersection of sparse automatic sets Seda Albayrak Jason Bell Fri 28 April 2023
- Rudin-Shapiro Sums Via Automata Theory and Logic Narad Rampersad Jeffrey Shallit Tue 07 February 2023
- Alien Coding Thibault Gauthier Miroslav Olšák Josef Urban Tue 07 February 2023
- Counterexamples to a Conjecture of Dombi in Additive Number Theory Jason P. Bell Jeffrey Shallit Sat 07 January 2023
- Automata and automatic sequences Jean-Paul Allouche Michel Mendès France Sat 24 December 2022
- Explicit degree bounds for right factors of linear differential operators Alin Bostan Tanguy Rivoal Bruno Salvy Tue 20 December 2022
- Minimization of differential equations and algebraic values of E-functions Alin Bostan Tanguy Rivoal Bruno Salvy Tue 20 December 2022
- On the algebraic dependence of holonomic functions Julien Roques Michael F. Singer Mon 05 December 2022
- On the p-adic zeros of the Tribonacci sequence Yuri Bilu Florian Luca Joris Nieuwveld Jøel Ouaknine James Worrell Thu 03 November 2022
- Formalising the Krull Topology in Lean Sebastian Monnet Fri 16 September 2022
- Differential transcendence of Bell numbers and relatives: a Galois theoretic approach Alin Bostan Lucia Di Vizio Kilian Raschel Tue 24 May 2022
- Skolem Meets Schanuel Yuri Bilu Florian Luca Joris Nieuwveld Joel Ouaknine David Purser James Worrell Fri 29 April 2022
- On the transcendence of a series related to Sturmian words Florian Luca Joel Ouaknine James Worrell Tue 26 April 2022
- On a Class of Hypergeometric Diagonals Alin Bostan Sergey Yurkevich Thu 14 April 2022
- Computing the Density of the Positivity Set for Linear Recurrence Sequences Edon Kelmendi Fri 28 January 2022
- The Many Faces of the Subspace Theorem (after Adamczewski, Bugeaud, Corvaja, Zannier...) Yuri Bilu Tue 14 December 2021
- Variants of Schanuel's conjecture Jonathan Kirby Wed 12 May 2021
- Invariant varieties for polynomial dynamical systems Alice Medvedev Thomas Scanlon Wed 20 January 2021
- On the Skolem problem and some related questions for parametric families of linear recurrence sequences Alina Ostafe Igor Shparlinski Tue 29 December 2020
- Formalizing the Ring of Witt Vectors Johan Commelin Robert Y. Lewis Sun 27 December 2020
- A method for obtaining the algebraic generating function from a series Simon Plouffe Sun 18 October 2020
- On Positivity and Minimality for Second-Order Holonomic Sequences George Kenison Oleksiy Klurman Engel Lefaucheux Florian Luca Pieter Moree Joel Ouaknine Markus A. Whiteland James Worrell Sun 11 October 2020
- A New Upper Bound for Separating Words Zachary Chase Sat 25 July 2020
- On the Skolem Problem and Prime Powers George Kenison Richard Lipton Joel Ouaknine James Worrell Mon 22 June 2020
- Formalising perfectoid spaces Kevin Buzzard Johan Commelin Patrick Massot Fri 29 May 2020
- Effective results on the Skolem Problem for linear recurrence sequences Min Sha Sat 25 April 2020
- Some transcendental functions with an empty exceptional set D. Marques F. M. S. Lima Fri 10 August 2018
Library Size: 13G (58 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
