10.1145/acmotherconferencesACM Other Conferences000000010.5555/0000000Proceedings of the 6th International Conference on Computability and Complexity in Analysis (CCA'09)CCA 200910.4230/OASIcs.CCA.2009.225911A Constructive Study of Landau's Summability TheoremBergerJosefAuthorBridgesDouglasAuthor251120096170

A summability theorem of Landau, which classically is a simple consequence of the uniform boundedness theorem, is examined constructively.