Interpolation und Gleichverteilung in Bohr's Kompaktifizierung
S. Hartman (1968)
Colloquium Mathematicae
Similarity:
S. Hartman (1968)
Colloquium Mathematicae
Similarity:
Ljubiša M. Kocić, Alba Chiara Simoncelli (2000)
Visual Mathematics
Similarity:
R. Taberski (1972)
Colloquium Mathematicae
Similarity:
R. Taberski (1971)
Colloquium Mathematicae
Similarity:
R. Taberski (1974)
Colloquium Mathematicae
Similarity:
Paolo Maffezioli, Eugenio Orlandelli (2019)
Bulletin of the Section of Logic
Similarity:
In previous work by Baaz and Iemhoff, a Gentzen calculus for intuitionistic logic with existence predicate is presented that satisfies partial cut elimination and Craig's interpolation property; it is also conjectured that interpolation fails for the implication-free fragment. In this paper an equivalent calculus is introduced that satisfies full cut elimination and allows a direct proof of interpolation via Maehara's lemma. In this way, it is possible to obtain much simpler interpolants...
Branga, Adrian (1998)
General Mathematics
Similarity:
Šolín, Pavel, Segeth, Karel
Similarity:
Interpolation on finite elements usually occurs in a Hilbert space setting, which means that interpolation techniques involving orthogonal projection are an alternative for the traditional Lagrange nodal interpolation schemes. In addition to the Lagrange interpolation, this paper discusses the global orthogonal projection and the projection-based interpolation. These techniques are compared from the point of view of quality, efficiency, sensitivity to input parameters and other aspects....
Milman, Mario (1998)
Annales Academiae Scientiarum Fennicae. Mathematica
Similarity:
Zofia Kostrzycka (2016)
Bulletin of the Section of Logic
Similarity:
The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.
Alessandra Lunardi (1982)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
Similarity:
Si calcolano alcuni spazi di interpolazione fra spazi di funzioni hölderiane.
S. Ugniewski (1977)
Applicationes Mathematicae
Similarity:
S. Hartman (1972)
Colloquium Mathematicae
Similarity:
Tadeusz Iwaniec (2011)
Banach Center Publications
Similarity:
Mieczysław Mastylo (1991)
Studia Mathematica
Similarity:
Pustylnik, Evgeniy (1996)
Abstract and Applied Analysis
Similarity: