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

Active Bibliography

1 Constructive Aspects of the Dirichlet Problem 1 – Douglas Bridges, Wang Yuchuan
6 Constructive Mathematics, in Theory and Programming Practice – Douglas Bridges, Steve Reeves - 1997
2 Cauchy nets in the constructive theory of apartness spaces – Douglas Bridges - 2002
2 A Constructive Theory of Point-Set Nearness – Luminita Vita, Douglas Bridges - 2001
2 Constructive Order Completeness – Marian Alexandru Baroni - 2004
7 Apartness spaces as framework for constructive topology – Douglas Bridges - 2003
Separatedness in Constructive Topology – Douglas Bridges, et al. - 2003
A Tour with Constructive Real Numbers – Alberto Ciaffaglione, Pietro Di Gianantonio
8 A Constructive Formalization of the Fundamental Theorem of Calculus – Luís Cruz-Filipe
3 Constructive Closed Range and Open Mapping Theorems – Douglas Bridges, Hajime Ishihara - 1998
23 Logical Pluralism – Jc Beall, Greg Restall - 2000
12 The fundamental theorem of algebra: a constructive development without choice – Fred Richman - 2000
13 A certified, corecursive implementation of exact real numbers – Alberto Ciaffaglione - 2006
1 Constructive theory of Banach algebras – Thierry Coquand
1 A constructive proof of Simpson’s Rule – Thierry Coquand
WHITHER MATHEMATICS? – E. B. Davies - 2004
1 Adjoints, absolute values and polar decompositions – Douglas Bridges, Fred Richman, Peter Schuster, Communicated William, B. Arveson
Did Brouwer Really Believe That? – Douglas S. Bridges - 2007
1 Solving the Dirichlet problem constructively – D. S. Bridges, M. Mckubre-jordens