Solving the Dirichlet problem constructively

DOI10.4115/jla.2013.5.3zbMath1296.03034OpenAlexW2040383495MaRDI QIDQ4907840

Douglas S. Bridges, Maarten McKubre-Jordens

Publication date: 25 February 2013

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4115/jla.2013.5.3

zbMATH Keywords

Dirichlet problemNavier-Stokes equationsMarkov's principleconstructive analysisomniscience principleBrouwerian example

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)

Related Items (2)

On zeros of Martin-Löf random Brownian motion ⋮ On mathematical realism and applicability of hyperreals

Cites Work

• Sets, complements and boundaries
• Constructive foundations of potential theory
• Theoretical Numerical Analysis
• Constructive Weak Solutions of the Dirichlet Problem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Solving the Dirichlet problem constructively