research
∙
10/20/2020
Primitive Recursive Ordered Fields and Some Applications
We establish primitive recursive versions of some known facts about comp...
research
∙
09/23/2018
Representation Theory of Compact Metric Spaces and Computational Complexity of Continuous Data
Choosing an encoding over binary strings for input/output to/by a Turing...
research
∙
09/23/2018
Quantitatively Admissible Representations and the "Main Theorem" of Continuous COMPLEXITY Theory
Choosing an encoding over binary strings for input/output to/by a Turing...
research
∙
09/23/2018
Quantitatively Admissible Representations and the "Main Theorem" of Type-2 COMPLEXITY Theory
Choosing an encoding over binary strings is usually straightforward or i...
research
∙
07/01/2018