- Algebraic Structures in Nonlinear Systems over Rings Obtained by Immersion Toshiyuki Ohtsuka Sat 04 April 2026
- D-Finiteness: A Success Story Manuel Kauers Fri 03 April 2026
- Calculating Invariant Rings of Finite Groups over Arbitrary Fields Gregor Kemper Fri 03 April 2026
- Beyond Bits: An Introduction to Computation over the Reals Tillmann Miltzow Thu 02 April 2026
- An Unconditional Barrier for Proving Multilinear Algebraic Branching Program Lower Bounds Deepanshu Kush Thu 02 April 2026
- The Mystery Deepens: On the Query Complexity of Tarski Fixed Points Xi Chen Yuhao Li Mihalis Yannakakis Thu 02 April 2026
- Nonlinear System Identification: A User-Oriented Road Map Johan Schoukens Lennart Ljung Wed 01 April 2026
- Perspectives on system identification Lennart Ljung Wed 01 April 2026
- Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control Dylan Bellier Gregory Faraut Yan Monier Philipp Schlehuber-Caissier Tue 31 March 2026
- Verification of timed systems Patricia Bouyer Tue 31 March 2026
- Shuffles of Context-Free Languages along Regular Trajectories Corentin Barloy Michael Cadilhac Kyle Ockerlund Tue 31 March 2026
- Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics Giorgi Japaridze Tue 31 March 2026
- Intrinsically Correct Algorithms and Recursive Coalgebras Cass Alexandru Henning Urbat Thorsten Wißmann Tue 31 March 2026
- Nominal Automata with Name Deallocation Simon Prucker Stefan Milius Lutz Schrøder Tue 31 March 2026
- A formalization of System I with type Top in Agda Agustín Séttimo Cristian Sottile Cecilia Manzino Tue 31 March 2026
- Information-Based Complexity vs Computational Complexity in Phaseless Polynomial Interpolation Michał R. Przybyłek Paweł Siedlecki Tue 31 March 2026
- Higher-Order Bialgebraic Semantics Sergey Goncharov Stefan Milius Lutz Schrøder Stelios Tsampas Henning Urbat Tue 31 March 2026
- Ideals, Macaulay Bases, and PCPs Prashanth Amireddy Amik Raj Behera Srikanth Srinivasan Madhu Sudan Sophus Valentin Willumsgaard Tue 31 March 2026
- Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP Guillaume Baudart Marc Lelarge Tristan Stérin Jules Viennot Tue 31 March 2026
- SOS rule formats for idempotent terms and idempotent unary operators Luca Aceto Anna Ingolfsdottir Eugen-Ioan Goriac Mon 30 March 2026
Library Size: 13G (12940 entries),
Last Updated: Apr 04, 2026, 16:45:53,
Build Time: N/A