<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml">In control engineering, differentiable partial functions from R into <italic>R</italic><italic>n</italic> play a very important role. In this article, we formalized basic properties of such functions.</abstract>

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.

The Differentiable Functions from R into <italic>R</italic><italic>n</italic>

Institute of Informatics, University of Białystok, Sosnowa 64, 15-887 Białystok, Poland

Formalized Mathematics

The Differentiable Functions from R into 

In control engineering, differentiable partial functions from R into Rn play a very important role. In this article, we formalized basic properties of such...

The Differentiable Functions from R into Rⁿ

Online veröffentlicht: 12. Sept. 2012

Seitenbereich: 65 - 71

DOI: https://doi.org/10.2478/v10037-012-0009-x

This content is open access.

The Differentiable Functions from R into Rn

Online veröffentlicht: 12. Sept. 2012

Seitenbereich: 65 - 71

DOI: https://doi.org/10.2478/v10037-012-0009-x

This content is open access.

The Differentiable Functions from R into Rⁿ