The constructive implicit function theorem and applications in mechanics (Q1125119)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The constructive implicit function theorem and applications in mechanics |
scientific article; zbMATH DE number 1371645
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The constructive implicit function theorem and applications in mechanics |
scientific article; zbMATH DE number 1371645 |
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
0.8845216
0 references
0.88398695
0 references
0.87680215
0 references
0 references
0.8684514
0 references
0.8669547
0 references
0.86560655
0 references
0.8637998
0 references
