Intersection points of planar curves can be computed
Klaus Weihrauch · Computability · 2021
Consider two paths [Formula: see text] in the unit square such that [Formula: see text], [Formula: see text], [Formula: see text] and [Formula: see text]. By continuity of ϕ and ψ there is a point of intersection. We prove that from ϕ and ψ we can compute closed intervals [Formula: see text] such that [Formula: see text].