. . "Théorie de l'approximation." . . "Fehlerkorrekturcode Computersimulation." . . "Aproximación, Teoría de Libros electrónicos." . . "Neittaanmäki, Pekka" . . "Electronic books." . . "Codis correctors d'errors (Teoria de la informació)" . . "Códigos correctores de errores (Teoría de la información) Libros electrónicos." . . "Numerical analysis. Error-correcting codes (Information theory) Approximation theory." . . "Análisis numérico Libros electrónicos." . . "Analyse numérique." . . "Computersimulation." . . "Error-correcting codes (Information theory)" . . "Approximation theory." . . "A-posteriori-Abschätzung." . . "Numerical analysis." . . . . . . . "Recent decades have seen a very rapid success in developing numerical methods based on explicit control over approximation errors. It may be said that nowadays a new direction is forming in numerical analysis, the main goal of which is to develop methods ofreliable computations. In general, a reliable numerical method must solve two basic problems: (a) generate a sequence of approximations that converges to a solution and (b) verify the accuracy of these approximations. A computer code for such a method must consist of two respective blocks: solver and checker. In this book, we are chiefly conc."@en . . . . . . . . "Reliable methods for computer simulation error control and a posteriori estimates"@en . "Reliable methods for computer simulation error control and a posteriori estimates" . . . . . "Reliable methods for computer simulation : error control and a posteriori estimates" . . "Reliable Methods for Computer Simulation Error Control and Posteriori Estimates"@en . . . "Recent decades have seen a very rapid success in developing numerical methods based on explicit control over approximation errors. It may be said that nowadays a new direction is forming in numerical analysis, the main goal of which is to develop methods of reliable computations. In general, a reliable numerical method must solve two basic problems: generate a sequence of approximations that converges to a solution and verify the accuracy of these approximations. A computer code for such a method must consist of two respective blocks: solver and checker. In this book, we are chiefly concerned with the problem and try to present the main approaches developed for a posteriori error estimation in various problems. The authors try to retain a rigorous mathematical style, however, proofs are constructive whenever possible and additional mathematical knowledge is presented when necessary. The book contains a number of new mathematical results and lists a posteriori error estimation methods that have been developed in the very recent time.; It includes computable bounds of approximation, errors checking algorithms, iteration processes, finite element methods, elliptic type problems, nonlinear variational problems, and variational inequalities." . . . . . "Reliable Methods for Computer Simulation" . . . . . "Llibres electrònics" . . . . . . . . . "Recent decades have seen a very rapid success in developing numerical methods based on explicit control over approximation errors. It may be said that nowadays a new direction is forming in numerical analysis, the main goal of which is to develop methods ofreliable computations. In general, a reliable numerical method must solve two basic problems: (a) generate a sequence of approximations that converges to a solution and (b) verify the accuracy of these approximations. A computer code for such a method must consist of two respective blocks: solver and checker. In this book, we are chiefly concerned with the problem (b) and try to present the main approaches developed for a posteriori error estimation in various problems. The authors try to retain a rigorous mathematical style, however, proofs are constructive whenever possible and additional mathematical knowledge is presented when necessary. The book contains a number of new mathematical results and lists a posteriori error estimation methods that have been developed in the very recent time. computable bounds of approximation errors checking algorithms iteration processes finite element methods elliptic type problems nonlinear variational problems variational inequalities." . "Recent decades have seen a very rapid success in developing numerical methods based on explicit control over approximation errors. It may be said that nowadays a new direction is forming in numerical analysis, the main goal of which is to develop methods ofreliable computations. In general, a reliable numerical method must solve two basic problems: (a) generate a sequence of approximations that converges to a solution and (b) verify the accuracy of these approximations. A computer code for such a method must consist of two respective blocks: solver and checker. In this book, we are chiefly concerned with the problem (b) and try to present the main approaches developed for a posteriori error estimation in various problems. The authors try to retain a rigorous mathematical style, however, proofs are constructive whenever possible and additional mathematical knowledge is presented when necessary. The book contains a number of new mathematical results and lists a posteriori error estimation methods that have been developed in the very recent time. computable bounds of approximation errors checking algorithms iteration processes finite element methods elliptic type problems nonlinear variational problems variational inequalities."@en . . . . . . . . . . . "Electronic books"@en . "Recent decades have seen a very rapid success in developing numerical methods based on explicit control over approximation errors. It may be said that nowadays a new direction is forming in numerical analysis, the main goal of which is to develop methods ofreliable computations. In general, a reliable numerical method must solve two basic problems: (a) generate a sequence of approximations that converges to a solution and (b) verify the accuracy of these approximations. A computer code for such a method must consist of two respective blocks: solver and checker. In this book, we are chiefly concerned with the problem (b) and try to present the main approaches developed for a posteriori error estimation in various problems. The authors try to retain a rigorous mathematical style, however, proofs are constructive whenever possible and additional mathematical knowledge is presented when necessary. The book contains a number of new mathematical results and lists a posteriori error estimation methods that have been developed in the very recent time. computable bounds of approximation errors checking algorithms iteration processes finite element methods elliptic type problems nonlinear variational problems variational inequalities.--Résumé de l'éditeur." . "Electronic books" . . . . . . . . "Codes correcteurs d'erreurs (Théorie de l'information)" . . "Codes correcteurs d'erreurs (théorie de l'information)." . "Análisis numérico." . . "Anàlisi matemàtica." . . "COMPUTERS Computer Simulation." . . "Approximation, Théorie de l'." . .