A uniformly computable Implicit Function Theorem
From MaRDI portal
Publication:3506324
DOI10.1002/malq.200710040zbMath1166.03034MaRDI QIDQ3506324
Publication date: 12 June 2008
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200710040
03F60: Constructive and recursive analysis
Related Items
Computability aspects for 1st-order partial differential equations via characteristics, Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations, Use of the global implicit function theorem to induce singular conditional distributions on surfaces in n dimensions: Part I
Cites Work