A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
The Differentiable Functions from R into Rn
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