{"id":"arxiv/2608.23603","url":"https://arxiv.org/abs/2608.23603","tags":["math.NA","cs.LO","cs.PL"],"score":0,"title":"Algorithmic Cost in \"Exact Real Computation\"","domain":"math.NA","source":"arxiv","authors":["Jihoon Hyun","Holger Thies","Martin Ziegler"],"reviews":0,"subject":"math.NA","summary":"Turing completeness of a programming language or system characterizes its expressive power; and the strong Church-Turing hypo-/thesis refines such from qualitative to polynomial-time equivalence. Exact Real Computation (ERC) is a novel numerical programming language paradigm: for the imperative processing of continuous data as entities appearing as exact, i.e. devoid of rounding errors [doi:10.1007/978-3-662-44199-2_107]. ERC has been designed [doi:10.46298/lmcs-20(2:17)2024] as convenient and practical alternative, namely proven qualitatively equivalent, to the Turing machines originally…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-20","reactions":{}}