Implicit Definitions with Differential Equations for KeYmaera X - (System Description).

James Gallicchio, Yong Kiam Tan, Stefan Mitsch, Andr Platzer

Browse the full CADE paper archive.