Svetlana Selivanova | DeepAI

DeepAI AI Chat

Featured Co-authors

Martin Ziegler
12 publications
Donghyun Lim
6 publications
Victor Selivanov
6 publications
Akitoshi Kawamura
4 publications

∙ 10/20/2020

Primitive Recursive Ordered Fields and Some Applications

We establish primitive recursive versions of some known facts about comp...

0 Victor Selivanov, et al. ∙

∙ 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...

0 Akitoshi Kawamura, et al. ∙

∙ 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...

0 Akitoshi Kawamura, et al. ∙

∙ 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...

0 Akitoshi Kawamura, et al. ∙

∙ 07/01/2018

Bit Complexity of Computing Solutions for Symmetric Hyperbolic Systems of PDEs with Guaranteed Precision

We establish upper bounds of bit complexity of computing solution operat...

0 Svetlana Selivanova, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world