4 papers
Primitive Recursive Ordered Fields and Some Applications
Victor Selivanov, Svetlana Selivanova
We establish primitive recursive versions of some known facts about computable ordered fields of reals and computable reals, and then apply them to proving primitive recursiveness…
Representation Theory of Compact Metric Spaces and Computational Complexity of Continuous Data
Akitoshi Kawamura, Donghyun Lim, Svetlana Selivanova +1
Choosing an encoding over binary strings for input/output to/by a Turing Machine is usually straightforward and/or inessential for discrete data (like graphs), but delicate -- heav…
Bit Complexity of Computing Solutions for Symmetric Hyperbolic Systems of PDEs with Guaranteed Precision
Svetlana Selivanova, Victor Selivanov
We establish upper bounds of bit complexity of computing solution operators for symmetric hyperbolic systems of PDEs. Here we continue the research started in in our revious public…
Metric geometry of nonregular weighted Carnot-Carathéodory spaces
Svetlana Selivanova
We investigate local and metric geometry of weighted Carnot-Carathéodory spaces which are a wide generalization of sub-Riemannian manifolds and arise in nonlinear control theory, s…