The Differentiable Functions from R into Rn

Keiko Narita, Artur Korniłowicz, Yasunari Shidama
2012 Formalized Mathematics  
In control engineering, differentiable partial functions from R into R n play a very important role. In this article, we formalized basic properties of such functions.
doi:10.2478/v10037-012-0009-x fatcat:gi7cttmpmbgj7iln56ce327iwm