Found 1 document(s)
Page 1 of 1
-
This article presents an axiomatization of linear differential equations that is complete for topologically open properties with compact initial conditions and time horizons by proving them deductively via a sound reduct...