10 citations · 33 across the 4 of their papers we have counts for
8 papers
Intersection points of planar curves can be computed
Klaus Weihrauch
Consider two paths in the unit square such that , , and . By continuity of and there is a point of i…
Computable Jordan Decomposition of Linear Continuous Functionals on
Klaus Weihrauch, Tahereh Jafarikhah
By the Riesz representation theorem using the Riemann-Stieltjes integral, linear continuous functionals on the set of continuous functions from the unit interval into the reals can…
Representations of measurable sets in computable measure theory
Klaus Weihrauch, Nazanin Tavana-Roshandel
This article is a fundamental study in computable measure theory. We use the framework of TTE, the representation approach, where computability on an abstract set X is defined by r…
Products of effective topological spaces and a uniformly computable Tychonoff Theorem
Robert Rettinger, Klaus Weihrauch
This article is a fundamental study in computable analysis. In the framework of Type-2 effectivity, TTE, we investigate computability aspects on finite and infinite products of eff…
Computably regular topological spaces
Klaus Weihrauch
This article continues the study of computable elementary topology started by the author and T. Grubba in 2009 and extends the author's 2010 study of axioms of computable separatio…
Computability of the Radon-Nikodym derivative
Mathieu Hoyrup, Cristobal Rojas, Klaus Weihrauch
We study the computational content of the Radon-Nokodym theorem from measure theory in the framework of the representation approach to computable analysis. We define computable mea…