A method of formalizing computer operations for solving nonlinear differential equations
From MaRDI portal
Publication:440669
DOI10.1016/j.amc.2011.09.029zbMath1245.65082arXiv1204.3241OpenAlexW2011529278MaRDI QIDQ440669
Vladimir Aristov, Andrey Stroganov
Publication date: 19 August 2012
Published in: Applied Mathematics and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1204.3241
Cites Work
- Construction of solutions to differential equations by the method of computer analogy
- A new applied approach for executing computations with infinite and infinitesimal quantities
- Direct methods for solving the Boltzmann equation and study of nonequilibrium flows
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A method of formalizing computer operations for solving nonlinear differential equations