×

Found 48 Documents (Results 1–48)

A constructive study of Landau’s summability theorem. (English) Zbl 1247.03125

Bauer, Andrej (ed.) et al., 6th international conference on computability and complexity in analysis (CCA’09). Proceedings of the international conference, August 18–22, 2009, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-12-5). OASIcs – OpenAccess Series in Informatics 11, 10 p., electronic only (2009).
MSC:  03F60 40D05 47S30
PDFBibTeX XMLCite
Full Text: DOI

Computability on non-separable Banach spaces and Landau’s theorem. (English) Zbl 1089.03054

Crosilla, Laura (ed.) et al., From sets and types to topology and analysis. Towards practicable foundations for constructive mathematics. Based on the workshop, Venice, Italy, May 12–16, 2003. Oxford: Oxford University Press (ISBN 0-19-856651-4/hbk). Oxford Logic Guides 48, 316-333 (2005).
MSC:  03F60 03D80 46S30
PDFBibTeX XMLCite

A result on tournaments deduced from a marriage theorem. (English) Zbl 0915.05002

Halic, Gheorghe (ed.) et al., Proceedings of the scientific communications meeting of “Aurel Vlaicu” University, Arad, Romania, May 16–17, 1996. Edition III. Volume 14A. Arad: “Aurel Vlaicu” Univ. of Arad Publishing Centre. 9-12 (1997).
MSC:  05A05 05C20
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Year of Publication

all top 3

Main Field

Software