- Products, Polynomials and Differential Equations in the Stream Calculus Michele Boreale Luisa Collodi Daniele Gorla Fri 19 April 2024
- An Axiomatic Approach to Existence and Liveness for Differential Equations Yong Kiam Tan André Platzer Thu 06 April 2023
- Linear relations among algebraic solutions of differential equations John Michael Nahay Sun 18 October 2020
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
