8 citations · 8 across the 6 of their papers we have counts for
7 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…
Computing Clebsch-Gordan matrices with applications in elasticity theory
Svetlana Selivanova
We provide an algorithm of computing Clebsch-Gordan coefficients for irreducible representations, with integer weights, of the rotation group SO(3) and demonstrate the convenience…
Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs
Svetlana Selivanova, Victor Selivanov
We discuss possibilities of application of Numerical Analysis methods to proving computability, in the sense of the TTE approach, of solution operators of boundary-value problems f…
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…
Algebraic and analytic properties of quasimetric spaces with dilations
Svetlana Selivanova, Sergey Vodopyanov
We provide an axiomatic approach to the theory of local tangent cones of regular sub-Riemannian manifolds and the differentiability of mappings between such spaces. This axiomatic…