- Decision procedures for real and p-adic fields Paul J. Cohen Fri 01 September 2023
- Fast Probabilistic Algorithms for Verification of Polynomial Identities Jacob T. Schwartz Fri 01 September 2023
- Probabilistic algorithms for verification of polynomial identities Jacob T. Schwartz Fri 01 September 2023
- Approximation de séries formelles par des séries rationnelles Christiane Hespel Fri 01 September 2023
- Dynamic Logics of Dynamical Systems André Platzer Fri 01 September 2023
- Logics of Dynamical Systems André Platzer Fri 01 September 2023
- Non-Linear Loop Invariant Generation Using Grøbner Bases Sriram Sankaranarayanan Henny B. Sipma Zohar Manna Fri 01 September 2023
- Monus semantics in vector addition systems with states Pascal Baumann Khushraj Madnani Filip Mazowiecki Georg Zetzsche Fri 01 September 2023
- The Computational Complexity of Some Problems of Linear Algebra Jonathan F Buss Gudmund S Frandsen Jeffrey O Shallit Fri 01 September 2023
- Semigroup Algebras of the Full Matrix Semigroup Over a Finite Field L. G. Kovács Thu 31 August 2023
- The Characters of the Finite General Linear Groups J. A. Green Thu 31 August 2023
- A Finiteness Condition for Semigroups Generalizing a Theorem of Coudrain and Schutzenberger A. Deluca S. Varricchio Thu 31 August 2023
- The Burnside problem for semigroups Robert McNaughton Yechezkel Zalcstein Thu 31 August 2023
- Accelerating package expansion in Rust through development of a semantic versioning tool Tomasz Nowak Michał Staniewski Mieszko Grodzicki Bartosz Smolarczyk Wed 30 August 2023
- Integer Programming with GCD Constraints Rémy Defossez Christoph Haase Alessio Mansutti Guillermo A. Perez Tue 29 August 2023
- Transcendence of Sturmian Numbers over an Algebraic Base Florian Luca Joel Ouaknine James Worrell Tue 29 August 2023
- An Analysis of On-the-fly Determinization of Finite-state Automata Ivan Baburin Ryan Cotterell Tue 29 August 2023
- Minimal NFA Problems are Hard Tao Jiang B. Ravikumar 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
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
