most citedAdaptive Distributional Extensions to DFR Ranking

1 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2023

On representations of real numbers and the computational complexity of converting between such representations

Amir M. Ben-Amram, Lars Kristiansen, Jakob Grue Simonsen

We study the computational complexity of converting one representation of real numbers into another representation. Typical examples of representations are Cauchy sequences, base-1…