- Complete Symmetry Breaking for Finite Models Marek Dančo Mikoláš Janota Michael Codish João Jorge Araújo Tue 25 February 2025
- A Complete Diagrammatic Calculus for Automata Simulation Thibaut Antoine Robin Piedeleu Alexandra Silva Fabio Zanasi Tue 25 February 2025
- Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Michael Cadilhac Vanessa Flğel Guillermo A. Pérez Shrisha Rao Tue 25 February 2025
- Compositional Taylor expansion in cartesian differential categories Walch Aymeric Tue 25 February 2025
- Recognizing Numbers Pranshu Gaba Arnab Sur Tue 25 February 2025
- A Comprehensive Survey of the Lean 4 Theorem Prover: Architecture, Applications, and Advances Xichen Tang Tue 25 February 2025
- On the complexity of regular languages Corentin Barloy Sat 22 February 2025
- A representation theorem for algebraic and context-free power series in noncommuting variables Eliahu Shamir Fri 21 February 2025
- Functional Itô Calculus Bruno Dupire Fri 21 February 2025
- Continuity of Chen-Fliess Series for Applications in System Identification and Machine Learning Rafael Dahmen W. Steven Gray Alexander Schmeding Fri 21 February 2025
- On Symmetries in Analytic Input-Output Systems W. Steven Gray Erik I. Verriest Fri 21 February 2025
- Nonlinear Control Theory and Differential Algebra: Some Illustrative Examples M. Fliess Fri 21 February 2025
- Nonlinear control theory and differential algebra Michel Fliess Fri 21 February 2025
- On the inversion of nonlinear multivariable systems Michel Fliess Fri 21 February 2025
- On the concept of derivatives and Taylor expansions for nonlinear input-output systems Michel Fliess Fri 21 February 2025
- An Interval Arithmetic Approach to Input-Output Reachability Ivan Perez Avellaneda Luis A. Duffaut Espinosa Fri 21 February 2025
- On Mixed-Monotonicity of Chen-Fliess series Ivan Perez Avellaneda Luis A. Duffaut Espinosa Fri 21 February 2025
- The early days of geometric nonlinear control Roger Brockett Fri 21 February 2025
- Output Reachability of Chen-Fliess series: A Newton-Raphson Approach Ivan Perez Avellaneda Luis A. Duffaut Espinosa Fri 21 February 2025
- Monogamous Mind, Polyamorous Terror Brigitte Vasallo Wed 19 February 2025
Library Size: 13G (12945 entries),
Last Updated: Apr 08, 2026, 08:53:29,
Build Time: N/A
