- Consistent Initial Condition Calculation for Differential-Algebraic Systems Peter N. Brown Alan C. Hindmarsh Linda R. Petzold Tue 03 March 2026
- Solvability of General Differential Algebraic Equations Stephen L. Campbell E. Griepentrog Tue 03 March 2026
- The Zero Dynamics Form for Nonlinear Differential-Algebraic Systems Thomas Berger Tue 03 March 2026
- Analytic non-linear realizations via E. Cartans third fundamental theorem Michel Fliess Tue 03 March 2026
- Theorem of Poincare-Birkhoff-Witt, logarithm and symmetric group representations of degrees equal to stirling numbers Christophe Reutenauer Tue 03 March 2026
- Formal series and numerical integrators: some history and some new techniques Jesus Maria Sanz-Serna Ander Murua Tue 03 March 2026
- Realizations of Polynomial Systems Zbigniew Bartosiewicz Mon 02 March 2026
- Generating Polynomial Invariants for Hybrid Systems Enric Rodríguez-Carbonell Ashish Tiwari Mon 02 March 2026
- An Until Hierarchy and Other Applications of an EhrenfeuchtFrassé Game for Temporal Logic Kousha Etessami Thomas Wilke Mon 02 March 2026
- One-Clock Synthesis Problems Sławomir Lasota Mathieu Lehaut Julie Parreaux Radosław Pirkowski Mon 02 March 2026
- LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories) Rongge Xu Hui Dai Yiming Fu Jiedong Jiang Tianjiao Nie Hongwei Wang Junkai Wang Holiverse Yang Jiatong Yang Zhi-Hao Zhang Sat 28 February 2026
- TorchLean: Formalizing Neural Networks in Lean Robert Joseph George Jennifer Cruden Xiangru Zhong Huan Zhang Anima Anandkumar Sat 28 February 2026
- Complete Robust Hybrid Systems Reachability Noah Abou El Wafa André Platzer Sat 28 February 2026
- Controllability of Linear Systems on Lie Groups Philippe Jouan Fri 27 February 2026
- Expregular functions Thomas Colcombet Nathan Lhote Pierre Ohlmann Thu 26 February 2026
- Towards A Rosetta Stone of Interactive and Quantitative Semantics (Invited Talk) Pierre Clairambault Thu 26 February 2026
- On R-homomorphisms of power series rings Robert Gilmer Matthew OMalley Wed 25 February 2026
- noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning Tobias Gurtler Benjamin Lucien Kaminski Wed 25 February 2026
- String Diagrams for Monoidal Categories, in Rocq Damien Pous Wed 25 February 2026
- Layered Monoidal Theories I: Diagrammatic Algebra and Applications Leo Lobski Fabio Zanasi Wed 25 February 2026
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
