A Constructive Study of Landau's Summability Theorem

Authors Josef Berger, Douglas Bridges



PDF
Thumbnail PDF

File

OASIcs.CCA.2009.2259.pdf
  • Filesize: 328 kB
  • 10 pages

Document Identifiers

Author Details

Josef Berger
Douglas Bridges

Cite AsGet BibTex

Josef Berger and Douglas Bridges. A Constructive Study of Landau's Summability Theorem. In 6th International Conference on Computability and Complexity in Analysis (CCA'09). Open Access Series in Informatics (OASIcs), Volume 11, pp. 61-70, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
https://doi.org/10.4230/OASIcs.CCA.2009.2259

Abstract

A summability theorem of Landau, which classically is a simple consequence of the uniform boundedness theorem, is examined constructively.
Keywords
  • Constructive analysis
  • Landau's theorem
  • uniform boundedness theorem Constructive analysis
  • Landau's theorem
  • uniform boundedness theorem

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail