We establish upper bounds on bit complexity of computing solution operators for symmetric hyperbolic systems of PDEs, combining symbolic and approximate algorithms to obtain the solutions with guaranteed prescribed precision. Restricting to algebraic real inputs allows us to use the classical ('discrete') bit complexity concept.
Язык оригиналаанглийский
Страницы (с-по)123-140
Число страниц18
ЖурналComputability
Том10
Номер выпуска2
СостояниеОпубликовано - 1 янв 2021

ID: 126991209