Accesso libero

The Differentiable Functions from R into Rn

Keiko Narita
Keiko Narita
, 
Artur Korniłowicz
Artur Korniłowicz
 e 
Yasunari Shidama
Yasunari Shidama
   | 12 set 2012
Formalized Mathematics's Cover Image
INFORMAZIONI SU QUESTO ARTICOLO
Articolo precedente
Articolo Successivo
Cita
Pubblicato online: 12 set 2012
Pagine: 65 - 71
DOI: https://doi.org/10.2478/v10037-012-0009-x
This content is open access.

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.

eISSN:
1898-9934
ISSN:
1426-2630
Lingua:
Inglese
Frequenza di pubblicazione:
4 volte all'anno
Argomenti della rivista:
Computer Sciences, other, Mathematics, General Mathematics
Feed RSS della rivista