- On the theorem of Amitsur--Levitzki Claudio Procesi Thu 15 January 2026
- Trace identities of full matrix algebras over a field of characteristic zero Ju P Razmyslov Thu 15 January 2026
- On the transcendence of a series related to Sturmian words Florian Luca Joël Ouaknine James Worrell Tue 13 January 2026
- Polynomial Identity Testing for Depth 3 Circuits Neeraj Kayal Nitin Saxena Mon 12 January 2026
- The Beauty of Predicate Automata Azadeh Farzan Zachary Kincaid Mon 12 January 2026
- Generalised Quantifiers Based on Rabin-Mostowski Index Denis Kuperberg Damian Niwiński Paweł Parys Michał Skrzypczak Mon 12 January 2026
- The asymptotic size of finite irreducible semigroups of rational matrices Stefan Kiefer Andrew Ryzhikov Sat 10 January 2026
- A short proof of a bound on the size of finite irreducible semigroups of rational matrices Benjamin Steinberg Sat 10 January 2026
- General Decidability Results for Systems with Continuous Counters A. R. Balasubramanian Matthew Hague Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche Fri 09 January 2026
- Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages Davide Barbarossa Paolo Pistone Fri 09 January 2026
- Parametrised Verification of Intel-x86 Programs Parosh Aziz Abdulla Mohamed Faouzi Atig Ahmed Bouajjani K. Narayan Kumar Prakash Saivasan Fri 09 January 2026
- Context-Free-Language Reachability for Almost-Commuting Transition Systems Nikhil Pimpalkhare Zachary Kincaid Thomas Reps Fri 09 January 2026
- Determination Problems for Orbit Closures and Matrix Groups Rida Ait El Manssour George Kenison Mahsa Shirmohammadi Anton Varonka James Worrell Fri 09 January 2026
- Parameterized Verification of Quantum Circuits Parosh Aziz Abdulla Yu-Fang Chen Michal Hečko Lukáš Holík Ondřej Lengál Jyun-Ao Lin Ramanathan S. Thinniyam Fri 09 January 2026
- Bounded Treewidth, Multiple Context-Free Grammars, and Downward Closures C. Aiswarya Pascal Baumann Prakash Saivasan Lia Schutze Georg Zetzsche Fri 09 January 2026
- Oriented Metrics for Bottom-Up Enumerative Synthesis Roland Meyer Jakob Tepe Fri 09 January 2026
- Counting and Sampling Traces in Regular Languages Alexis de Colnet Kuldeep S. Meel Umang Mathur Fri 09 January 2026
- What Is a Monoid Paul Blain Levy Morgan Rogers Fri 09 January 2026
- A pumping-like lemma for languages over infinite alphabets Yoav Danieli Fri 09 January 2026
- 130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone Josef Urban Thu 08 January 2026
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
