- The Undecidability of Conditional Affine Information Inequalities and Conditional Independence Implication With a Binary Constraint Cheuk Ting Li Wed 12 March 2025
- Undecidability of Network Coding, Conditional Information Inequalities, and Conditional Independence Implication Cheuk Ting Li Wed 12 March 2025
- Undecidability of Network Coding, Conditional Information Inequalities, and Conditional Independence Implication Cheuk Ting Li Wed 12 March 2025
- On entropic and almost multilinear representability of matroids Lukas Kuhne Geva Yashfe Wed 12 March 2025
- On the Complexity of the Conditional Independence Implication Problem with Bounded Cardinalities Michał Makowski Wed 12 March 2025
- On the Complexity of the Conditional Independence Implication Problem With Bounded Cardinalities Michał Makowski Wed 12 March 2025
- Arithmetic properties related to the shuffle-product Roland Bacher Wed 12 March 2025
- Formal Fliess Operators with Applications to Feedback Interconnections W. Steven Gray Yuan Wang Tue 11 March 2025
- The zero dynamics of a nonlinear system: From the origin to the latest progresses of a long successful story Alberto Isidori Tue 11 March 2025
- Left inversion of analytic nonlinear SISO systems via formal power series methods W. Steven Gray Luis A. Duffaut Espinosa Makhin Thitsa Tue 11 March 2025
- Universal Zero Dynamics: The SISO Case W. Steven Gray Kurusch Ebrahimi-Fard Alexander Schmeding Tue 11 March 2025
- Universal Zero Dynamics Attacks Using Only Input-Output Data W. Steven Gray Luis A. Duffaut Espinosa M. Aminul Haq Tue 11 March 2025
- The Type Theory of Lean Mario Carneiro Tue 11 March 2025
- The Descriptive Complexity of Graph Neural Networks Martin Grohe Tue 11 March 2025
- Borel Determinacy: A Streamlined Proof Thomas Buffard Gabriel Levrel Sam Mayo Mon 10 March 2025
- A formalization of Borel determinacy in Lean Sven Manthe Mon 10 March 2025
- The Borel monadic theory of order is decidable Sven Manthe Mon 10 March 2025
- Mata: A Fast and Simple Finite Automata Library David Chocholatý Tomáš Fiedor Vojtěch Havlena Lukáš Holík Martin Hruška Ondřej Lengál Juraj Síč Mon 10 March 2025
- Decidability of One-Clock Weighted Timed Games with Arbitrary Weights Benjamin Monmege Julie Parreaux Pierre-Alain Reynier Sun 09 March 2025
- First-Order Queries over One Unary Function Arnaud Durand Frédéric Olive Sun 09 March 2025
Library Size: 13G (12945 entries),
Last Updated: Apr 08, 2026, 08:53:29,
Build Time: N/A
