- Lectures on Condensed Mathematics Peter Scholze Fri 29 April 2022
- Three new algorithms for multivariate polynomial GCD Tateaki Sasaki Masayuki Suzuki Fri 29 April 2022
- The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems Julian D'Costa Toghrul Karimov Joel Ouaknine Mahmoud Salamati James Worrell Fri 29 April 2022
- Skolem Meets Schanuel Yuri Bilu Florian Luca Joris Nieuwveld Joel Ouaknine David Purser James Worrell Fri 29 April 2022
- Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods R. Govind Frédéric Herbreteau B. Srivathsan Igor Walukiewicz Fri 29 April 2022
- A New Primitive for a Diffie-Hellman-like Key Exchange Protocol Based on Multivariate Ore Polynomials Reinhold Burger Albert Heinle Fri 29 April 2022
- MATHEMATICIANS WELCOME COMPUTER-ASSISTED PROOF Davide Castelvecchi Thu 28 April 2022
- Amenability of semigroups and the Ore condition for semigroup rings Victor Guba Thu 28 April 2022
- Embedding semigroups in groups: not as simple as it might seem Christopher Hollings Wed 27 April 2022
- Unboundedness for Recursion Schemes: A Simpler Type System David Barozzini Paweł Parys Jan Wróblewski Wed 27 April 2022
- Parameterized safety verification of round-based shared-memory systems Nathalie Bertrand Nicolas Markey Ocan Sankur Nicolas Waldburger Wed 27 April 2022
- Reachability in Bidirected Pushdown VASS Moses Ganardi Rupak Majumdar Andreas Pavlogiannis Lia Schutze Georg Zetzsche Wed 27 April 2022
- On the size of good-for-games Rabin automata and its link with the memory in Muller games Antonio Casares Thomas Colcombet Karoliina Lehtinen Wed 27 April 2022
- Continuous rational functions are deterministic regular Olivier Carton Gaetan Douéneau-Tabot Wed 27 April 2022
- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in BuChi Automata Complementation Vojtěch Havlena Ondřej Lengál Barbora Šmahlíková Wed 27 April 2022
- Learning Higher-Order Programs without Meta-Interpretive Learning Stanisław J. Purgał David M. Cerna Cezary Kaliszyk Wed 27 April 2022
- Pebble transducers with unary output Gaetan Douéneau-Tabot Wed 27 April 2022
- Ambiguity through the lens of measure theory Olivier Carton Wed 27 April 2022
- On the transcendence of a series related to Sturmian words Florian Luca Joel Ouaknine James Worrell Tue 26 April 2022
- Non-commutative Henselian Rings Masood Aryapoor Sun 24 April 2022
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
