- Complete First-Order Game Logic Noah Abou El Wafa André Platzer Fri 11 April 2025
- Axiomatization of Compact Initial Value Problems: Open Properties André Platzer Long Qian Fri 18 October 2024
- Quasi-optimal multiplication of linear differential operators Alexandre Benoit Alin Bostan Joris van der Hoeven Thu 02 February 2023
- Deductive Stability Proofs for Ordinary Differential Equations Yong Kiam Tan André Platzer Fri 30 October 2020
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
