Formalization of computations at numerical solution of boundary value problems
From MaRDI portal
Recommendations
Cited in
(6)- Formalisation of the multigrid computations
- Robust Multigrid Technique for Black Box Software
- Robust multi-grid technique
- A method of formalizing computer operations for solving nonlinear differential equations
- scientific article; zbMATH DE number 2009875 (Why is no real title available?)
- scientific article; zbMATH DE number 1878147 (Why is no real title available?)
This page was built for publication: Formalization of computations at numerical solution of boundary value problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3655994)