%0 Journal Article
%T The Differentiable Functions from R into Rn
%A Keiko Narita
%A Artur Korni owicz
%A Yasunari Shidama
%J Formalized Mathematics
%@ 1898-9934
%D 2012
%I 
%R 10.2478/v10037-012-0009-x
%X In control engineering, differentiable partial functions from R into Rn play a very important role. In this article, we formalized basic properties of such functions.
%U http://versita.metapress.com/content/63xh224344646522/?p=430716bb19384440aaea6ce45ed7408d&pi=8