We establish upper bounds of bit complexity of computing solution operators for symmetric hyperbolic systems of PDEs. Here we continue the research started in our papers of 2009 and 2017, where computability, in the rigorous sense of computable analysis, has been established for solution operators of Cauchy and dissipative boundary-value problems for such systems.
Original languageEnglish
Title of host publicationSailing Routes in the World of Computation
Pages376-385
Number of pages10
DOIs
StatePublished - 1 Jan 2018
Eventcomputability in europe, 2018 -
Duration: 30 Jul 2018 → …

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Nature
Volume10936
ISSN (Print)0302-9743

Conference

Conferencecomputability in europe, 2018
Period30/07/18 → …

    Research areas

  • Algebraic real, Bit complexity, Difference scheme, Eigenvalue, Eigenvector, Guaranteed precision, Solution operator, Symbolic computations, Symmetric hyperbolic system, Symmetric matrix

ID: 126994848