The constructive implicit function theorem and applications in mechanics (Q1125119): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Latest revision as of 03:17, 5 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The constructive implicit function theorem and applications in mechanics |
scientific article |
Statements
The constructive implicit function theorem and applications in mechanics (English)
0 references
29 November 1999
0 references
The main objective of the paper is to provide a constructive proof of the implicit function theorem within the framework of E. Bishop's constructive mathematics. Dieudonné's proof is examined from the constructive standpoint. A new, constructive proof of the theorem is provided. The new proof is based on elementary arguments about continuous functions. Some comments on the application of the Implicit Function Theorem to classical mechanics conclude the paper. The paper is very clear and easy to read.
0 references
application to classical mechanics
0 references
constructive proof of the implicit function theorem
0 references
Bishop's constructive mathematics
0 references
