Computable planar curves intersect in a computable point
From MaRDI portal
Publication:5211073
DOI10.3233/COM-180102zbMath1480.03034arXiv1708.07460WikidataQ129166328 ScholiaQ129166328MaRDI QIDQ5211073
Publication date: 17 January 2020
Published in: Computability (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1708.07460
03D78: Computation over the reals, computable analysis
Related Items