- Simple generators of rational function fields Alexander Demin Gleb Pogudin Fri 06 March 2026
- Hilbert's Nullstellensatz is in the Counting Hierarchy Robert Andrews Abhibhav Garg Éric Schost Tue 24 February 2026
- Diagonals and algebraicity modulo p: a sharper degree bound Boris Adamczewski Alin Bostan Xavier Caruso Sun 25 January 2026
- 130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone Josef Urban Thu 08 January 2026
- Computing transcendence and linear relations of 1-periods Emre Can Sertøz Joel Ouaknine James Worrell Sat 31 May 2025
- Bounds for D-Algebraic Closure Properties Manuel Kauers Raphael Pages Tue 20 May 2025
- Integer multiplication is at least as hard as matrix transposition David Harvey Joris van der Hoeven Sat 05 April 2025
- Primes via Zeros: Interactive Proofs for Testing Primality of Natural Classes of Ideals Abhibhav Garg Rafael Oliveira Nitin Saxena Sat 05 April 2025
- Arithmetic of D-algebraic functions Bertrand Teguia Tabuguia Wed 21 August 2024
- Non-Linear Loop Invariant Generation Using Grøbner Bases Sriram Sankaranarayanan Henny B. Sipma Zohar Manna Fri 01 September 2023
- Zero-equivalence in function-fields defined by algebraic differential-equations John Shackell Fri 03 February 2023
- Algebra-Based Reasoning for Loop Synthesis Andreas Humenberger Daneshvar Amrollahi Nikolaj Bjørner Laura Kovács Tue 12 April 2022
- An Algorithm for Deciding Zero Equivalence of Nested Polynomially Recurrent Sequences Manuel Kauers Wed 01 December 2021
Library Size: 13G (13 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
