The Constructive Implicit Function Theorem and Applications in Mechanics (1997)

by Douglas Bridges , Cristian Calude , Boris Pavlov , Doru Stefanescu , D. Bridges , C. Calude , B. Pavlov
Venue:Chaos, Solitons and Fractals
Citations:3 - 0 self

Documents Related by Co-Citation

12 Domain-theoretic solution of differential equations – Abbas Edalat, Dirk Pattinson - 2006
4 The inverse function theorem for Lipschitz maps, www. math.sc.edu/~howard – R Howard
39 Generative Modeling for Computer Graphics and CAD – J M Snyder - 1992
19 Domain theory and differential calculus (functions of one variable – A Edalat, A Lieutier
33 Foundation of a Computable Solid Modelling – Abbas Edalat, André Lieutier - 2002
10 A computational model for multi-variable differential calculus – A. Edalat, A. Lieutier, D. Pattinson - 2005
18 A domain-theoretic account of Picard’s theorem – A. Edalat, D. Pattinson - 2004
11 ImportancePerformance Analysis – J M F - 1977
373 Polygonization of Implicit Surfaces – Jules Bloomenthal - 1988
1 Generative Modeling for ComputerGraphics and CAD – J M Snyder - 1992
959 Optimization and nonsmooth analysis – F H Clarke - 1983
1 Effectively Open Real Functions – Martin Ziegler - 2005
4 Choice principles in constructive and classical set theories – Michael Rathjen - 2002
3 What is continuity, constructively – P Schuster - 2005
1 O.,Analysis 2. Differentialrechnung im R n , gewöhnliche Differentialgleichungen – Forster - 2005
1 A uniformly computable implicit function theorem – T H McNicholl
1 Intuitionism as generalization. Philos – F Richman - 1990
1 Zur Eindeutigkeit impliziter Funktionen – P Schuster
12 The fundamental theorem of algebra: a constructive development without choice – Fred Richman - 2000