The constructive implicit function theorem and applications in mechanics (Q1125119)

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.