Approximation Theorems for the Solution of Fourier's Problem and Dirichlet's Problem.
P.L. Butzer, G. SUNOUCHI (1964)
Mathematische Annalen
Similarity:
P.L. Butzer, G. SUNOUCHI (1964)
Mathematische Annalen
Similarity:
R.S.L. SRIVASTAVA, J.S. GUPTA (1967)
Mathematische Annalen
Similarity:
Jaroslav Lukes, Ivan Netuka (1976)
Mathematische Annalen
Similarity:
V.V. Rane (1983)
Mathematische Annalen
Similarity:
Yasushige Watase (2015)
Formalized Mathematics
Similarity:
In this article we formalize some results of Diophantine approximation, i.e. the approximation of an irrational number by rationals. A typical example is finding an integer solution (x, y) of the inequality |xθ − y| ≤ 1/x, where 0 is a real number. First, we formalize some lemmas about continued fractions. Then we prove that the inequality has infinitely many solutions by continued fractions. Finally, we formalize Dirichlet’s proof (1842) of existence of the solution [12], [1]. ...
A. Peyerimhoff, W.B. Jurkat, W. Kratz (1977)
Mathematische Annalen
Similarity:
W.N. Everitt, M. Giertz (1973)
Mathematische Annalen
Similarity:
W. Kleiner (1966)
Colloquium Mathematicae
Similarity:
S. Albeverio, Z.M Ma, M. Röckner (1993)
Mathematische Annalen
Similarity:
Hideaki Ishikawa (2001)
Acta Arithmetica
Similarity:
Peter Thurnheer (1990)
Acta Arithmetica
Similarity:
A. Clausing, G. Mägerl (1975)
Mathematische Annalen
Similarity:
Mitsuru Nakai, Leo Sario (1971)
Mathematische Zeitschrift
Similarity: