Uneingeschränkter Zugang

The Differentiable Functions from R into Rn

Keiko Narita
Keiko Narita
, 
Artur Korniłowicz
Artur Korniłowicz
 und 
Yasunari Shidama
Yasunari Shidama
   | 12. Sept. 2012
Formalized Mathematics's Cover Image
Über diesen Artikel
Vorheriger Artikel
Nächster Artikel
Zitieren
Online veröffentlicht: 12. Sept. 2012
Seitenbereich: 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
Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
4 Hefte pro Jahr
Fachgebiete der Zeitschrift:
Informatik, andere, Mathematik, Allgemeines
Zeitschrift RSS Feed