The constructive implicit function theorem and applications in mechanics

Authors
Bridges, D Calude, C Pavlov, B Stefanescu, D
Citation
D. Bridges et al., The constructive implicit function theorem and applications in mechanics, CHAOS SOL F, 10(6), 1999, pp. 927-934
Citations number
17
Categorie Soggetti
Multidisciplinary
Journal title
CHAOS SOLITONS & FRACTALS
ISSN journal
09600779 → ACNP
Volume
10
Issue
6
Year of publication
1999
Pages
927 - 934
Database
ISI
SICI code
0960-0779(199906)10:6<927:TCIFTA>2.0.ZU;2-S
Abstract
We examine some ways of proving the Implicit Function Theorem and the Inver se Function Theorem within Bishop's constructive mathematics. Section 2 con tains a new, entirely constructive proof of the Implicit Function Theorem. The paper ends with some comments on the application of the Implicit Functi on Theorem in classical mechanics. (C) 1999 Elsevier Science Ltd. All right s reserved.