research
∙
04/14/2023
On representations of real numbers and the computational complexity of converting between such representations
We study the computational complexity of converting one representation o...
share
research
∙
06/24/2019
Tight Polynomial Worst-Case Bounds for Loop Programs
In 2008, Ben-Amram, Jones and Kristiansen showed that for a simple progr...
research
∙
11/18/2018
