- Making progress: Reducibility Candidates and Cut Elimination in the Ill-founded Realm Gianluca Curzi Graham E. Leigh Thu 05 February 2026
- A Complexity Bound for Determinisation of Min-Plus Weighted Automata Shaull Almagor Guy Arbel Sarai Sheinvald Thu 05 February 2026
- Calculation of Zero Dynamics for Affine MIMO-Systems using the Ritt Algorithm Håkan Fortell Thu 05 February 2026
- The Klein j-Function is not Pfaffian over the Real Exponential Field Christoph Kesting Thu 05 February 2026
- Not Pfaffian James Freitag Thu 05 February 2026
- Some Model Theory of Hypergeometric and Pfaffian Functions Ricardo Bianconi Thu 05 February 2026
- On Symbolic Approaches to Integro-Differential Equations François Boulier François Lemaire Markus Rosenkranz Rosane Ushirobira Nathalie Verdière Thu 05 February 2026
- Differential algebra for control systems design: Constructive computation of canonical forms Enric Pico-Marco Thu 05 February 2026
- Differential algebra methods for the study of the structural identifiability of rational function state-space models in the biosciences Gabriella Margaria Eva Riccomagno Michael J. Chappell Henry P. Wynn Thu 05 February 2026
- System identifiability based on the power series expansion of the solution H. Pohjanpalo Thu 05 February 2026
- Varieties of formal series on trees and Eilenbergs theorem Symeon Bozapalidis Stavros Ioulidis Tue 03 February 2026
- LeanArchitect: Automating Blueprint Generation for Humans and AI Thomas Zhu Pietro Monticone Jeremy Avigad Sean Welleck Tue 03 February 2026
- Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard Leonid Dorochko Michał Wrona Tue 03 February 2026
- High Rate Efficient Local List Decoding from HDX Yotam Dikstein Max Hopkins Russell Impagliazzo Toniann Pitassi Tue 03 February 2026
- The complexity of downward closures of indexed languages Richard Mandel Corto Mascle Georg Zetzsche Sun 01 February 2026
- A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes Florian Bruse Martin Lange Sun 01 February 2026
- The Latent Space of Equational Theories Luis Berlioz Paul-André Melliès Sun 01 February 2026
- A Program Logic for Abstract (Hyper)Properties Paolo Baldan Roberto Bruni Francesco Ranzato Diletta Rigo Sun 01 February 2026
- How Expressive Are Graph Neural Networks in the Presence of Node Identifiers Arie Soeteman Michael Benedikt Martin Grohe Balder ten Cate Sun 01 February 2026
- The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory Tom de Jong Nicolai Kraus Axel Ljungstrøm Sun 01 February 2026
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
