#### Filter Results:

#### Publication Year

2008

2014

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

We study locally compact contractive local groups, that is, locally compact local groups with a contractive pseudo-automorphism. We prove that if such an object is locally connected, then it is locally isomorphic to a Lie group. We also prove a related structure theorem for locally compact contractive local groups which are not necessarily locally… (More)

- Svetlana Selivanova, Victor L. Selivanov
- Electr. Notes Theor. Comput. Sci.
- 2008

- Svetlana Selivanova, Victor L. Selivanov
- J. UCS
- 2009

We study the computability properties of symmetric hyperbolic systems of PDE A ∂u ∂t + m i=1 Bi ∂u ∂x i u|t=0 = ϕ(x1,. .. , xm). Such systems first considered by K.O. Friedrichs can be used to describe a wide variety of physical processes. Using the difference equations approach, we prove computability of the operator that sends (for any fixed computable… (More)

- Svetlana Selivanova
- Logic, Computation, Hierarchies
- 2014

- Svetlana Selivanova, Victor L. Selivanov
- ArXiv
- 2013

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 for systems of PDEs. We prove computability of the solution operator for a symmetric hyperbolic system with computable real coefficients and dissipative boundary conditions, and of… (More)

- ‹
- 1
- ›