- On the Reachability Problem for One-Dimensional Thin Grammar Vector Addition Systems Chengfeng Xue Yuxi Fu Sat 07 February 2026
- Les calanques provençales - origine et divers types Jean Chardonnet Sat 07 February 2026
- Algebraic differential equations and nonlinear control systems Yuan Wang Fri 06 February 2026
- Algorithmes efficaces pour tester l'identifiabilité locale François Ollivier Alexandre Sedoglavic Fri 06 February 2026
- Identifiability of system: an algorithm based on the equivalence approach L. Denis-Vidal G. Joly-Blanchard C. Noiret Fri 06 February 2026
- Baxter algebras and combinatorial identities. I Gian-Carlo Rota Fri 06 February 2026
- Equivalence and identifiability analysis of uncontrolled nonlinear dynamical systems Lilianne Denis-Vidal Ghislaine Joly-Blanchard Fri 06 February 2026
- An operator identity Glen Baxter Fri 06 February 2026
- Baxter algebras and combinatorial identities. II Gian-Carlo Rota Fri 06 February 2026
- A computer scientist point of view on Hilbert's differential theorem of zeros François Boulier François Lemaire Fri 06 February 2026
- Bounds for D-Algebraic Closure Properties Manuel Kauers Raphael Pages Fri 06 February 2026
- Some theoretical problems in effective differential algebra and their relation to control theory François Ollivier Fri 06 February 2026
- Defining and Testing Identifiability, Illustrated by a HIV model François Ollivier H. V. J. Le Meur Fri 06 February 2026
- Effective formal resolution of systems of algebraic differential equations François Ollivier Fri 06 February 2026
- Generalized standard bases with application to control François Ollivier Fri 06 February 2026
- Flatness, tangent systems and flat outputs E. Fossas J. Franch A. Palau Fri 06 February 2026
- Tests effectifs de nullite dans des extensions d'anneaux differentiels Ariane Péladan-Germa Thu 05 February 2026
- CSLib: The Lean Computer Science Library Clark Barrett Swarat Chaudhuri Fabrizio Montesi Jim Grundy Pushmeet Kohli Leonardo de Moura Alexandre Rademaker Sorrachai Yingchareonthawornchai Thu 05 February 2026
- Layered Modal ML: Syntax and Full Abstraction Haoxuan Yin Andrzej S. Murawski C.-H. Luke Ong Thu 05 February 2026
- Mechanized Undecidability of Higher-order beta-Matching (Extended Version) Andrej Dudenhefner Thu 05 February 2026
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
