- Polynomial Recurrences and Cyclic Resultants Christopher J. Hillar Lionel Levine Wed 16 April 2025
- Hilbert series of symmetric ideals in infinite polynomial rings via formal languages Robert Krone Anton Leykin Andrew Snowden Wed 16 April 2025
- Noetherianity up to Symmetry Jan Draisma Wed 16 April 2025
- Noetherianity up to symmetry Jan Draisma Wed 16 April 2025
- Codd's Theorem for Databases over Semirings Guillermo Badia Phokion G. Kolaitis Carles Noguera Wed 16 April 2025
- Commutativity in Automated Verification Azadeh Farzan Wed 16 April 2025
- Commutativity Simplifies Proofs of Parameterized Programs Azadeh Farzan Dominik Klumpp Andreas Podelski Wed 16 April 2025
- An algorithm to decide whether a rational subset of Nk is recognizable Philippe Gohon Wed 16 April 2025
- Equivariant Gröbner bases Christopher J. Hillar Robert Krone Anton Leykin Tue 15 April 2025
- Complete First-Order Game Logic Noah Abou El Wafa André Platzer Fri 11 April 2025
- Vanishing of Schubert coefficients is in sf AMąp sf coAM assuming the GRH Igor Pak Colleen Robichaux Fri 11 April 2025
- Separating domains from algebraic domains Xiaodong Jia Qingguo Li Wei Luan Fri 11 April 2025
- Polynomial-Time PIT from (Almost) Necessary Assumptions Robert Andrews Deepanshu Kush Roei Tell Fri 11 April 2025
- Thin Coalgebraic Behaviours Are Inductive Anton Chernev Corina Cîrstea Helle Hvid Hansen Clemens Kupke Fri 11 April 2025
- The Probability Spaces of QuickSort George Nadareishvili Jonas Oberhauser Wolfgang J. Paul Fri 11 April 2025
- Well-quasi-ordering and Embeddability of Relational Structures Maurice Pouzet Fri 11 April 2025
- An algorithm for finding symmetric Grobner bases in infinite dimensional rings Matthias Aschenbrenner Christopher J. Hillar Fri 11 April 2025
- An Algorithm for Finding Symmetric Grøbner Bases in Infinite Dimensional Rings Matthias Aschenbrenner Christopher J. Hillar Fri 11 April 2025
- Orbit-finite Linear Programming Arka Ghosh Piotr Hofman Sławomir Lasota Thu 10 April 2025
- PVASS Reachability is Decidable Roland Guttenberg Eren Keskin Roland Meyer Thu 10 April 2025
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
