On constructive number fields and computability of solutions of PDEs

DOI10.1134/S1064562417060138MaRDI QIDQ1707150zbMATH OpenOpenAlexFDO

Authors Svetlana V. Selivanova, Victor Selivanov

Publication date 28 March 2018

Published in Doklady Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s1064562417060138

zbMATH Keywords

computable reals

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Initial value problems for first-order hyperbolic systems (35L45)

Recommendations

• scientific article; zbMATH DE number 1377661
• scientific article; zbMATH DE number 749920
• New Computational Paradigms
• scientific article; zbMATH DE number 52566
• Polynomial computability of fields of algebraic numbers

Cites work

• A tutorial on computable analysis
• Computing the solution operators of symmetric hyperbolic systems of PDE
• scientific article; zbMATH DE number 3831173 (Why is no real title available?)
• scientific article; zbMATH DE number 1301617 (Why is no real title available?)
• scientific article; zbMATH DE number 1302869 (Why is no real title available?)
• scientific article; zbMATH DE number 1181255 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 2152342 (Why is no real title available?)
• scientific article; zbMATH DE number 1390022 (Why is no real title available?)
• scientific article; zbMATH DE number 1390542 (Why is no real title available?)
• scientific article; zbMATH DE number 3368125 (Why is no real title available?)
• Symmetric hyperbolic linear differential equations

Cited in

(7)

• Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs (extended abstract)
• Computable scalar fields: A basis for PDE software
• scientific article; zbMATH DE number 1377661 (Why is no real title available?)
• Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision
• Primitive recursive ordered fields and some applications
• On the main scientific achievements of Victor Selivanov
• Recursive analysis of singular ordinary differential equations

This page was built for publication: On constructive number fields and computability of solutions of PDEs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1707150)