works on
computable analysis 1coq formalization 1exact real computation 1fractal generation 1hyperspaces 1polish spaces 1

From the 1 of 2 linked papers with an AI index.

collaborators
Showing math.NAShow all

1 paper · 1 filter

math.NA2026

Algorithmic Cost in "Exact Real Computation"

Jihoon Hyun, Holger Thies, Martin Ziegler

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-ti…