Reliable methods for computer simulation : error control and a posteriori estimates /

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 reliab...

Full description

Bibliographic Details
Main Authors: Neittaanmäki, P (Pekka), Neittaanmäki, P (Pekka)
Other Authors: Repin, Sergeĭ, Repin, Sergey I
Format: Book
Language:English
Published: Amsterdam ; Oxford : Elsevier, 2004
Amsterdam ; San Diego, CA : 2004
Series:Studies in mathematics and its applications ; 33
Studies in mathematics and its applications ; v. 33
Studies in mathematics and its applications v. 33
Subjects:
LEADER 06773nam a22009618a 4500
001 ee7bf60b-c155-4b75-94f7-53f51f0d77e4
005 20240818000000.0
008 040419s2004 ne a b 001 0 eng
010 |a  2006277839 
010 |a 2006277839 
015 |a GBA4-X6279 
015 |a GBA4X6279  |2 bnb 
020 |a 0444513760 
020 |a 9780444513762 
035 |a (MCM)001281752MIT01 
035 |a (NNC)5003457 
035 |a (NcD)003477321DUK01 
035 |a (OCoLC)56463686 
035 |a (OCoLC)ocm56463686 
035 |a (OCoLC-I)275933855 
035 |a (OCoLC-M)56463686 
035 |a (RPB)b36015416-01bu_inst 
035 |a 5003457 
035 |a 56463686 
040 |a UKM  |b eng  |c UKM  |d OHX  |d CUS  |d OCLCQ  |d OCL  |d BAKER  |d DLC  |d YDXCP  |d BTCTA  |d OCLCQ  |d ILU  |d BDX  |d OCLCF  |d OCLCO  |d OCLCQ  |d UA@ 
040 |a UKM  |b eng  |c UKM  |d OHX  |d CUS  |d OCLCQ  |d OCL  |d BAKER 
040 |a UKM  |c UKM  |d OHX  |d CUS  |d MYG  |d OrLoB-B 
040 |a UKM  |c UKM  |d OHX  |d CUS 
040 |a UKM  |c UKM  |d OHX  |d UtOrBLW  |d OrLoB-B 
049 |a CGUA 
049 |a MYGG 
049 |a RBNN 
050 4 |a QA297.5  |b .N45 2004 
072 7 |a QA  |2 lcco 
082 0 4 |a 003.3  |2 22 
090 |a QA268  |b .N45x 2004 
090 |a QA297.5  |b .N45 2004 
090 |a QA297.5.N45 2004 
090 |a QA76.9.C65N458 2004 
100 1 |a Neittaanmäki, P  |q (Pekka)  |1 http://viaf.org/viaf/57779910 
100 1 |a Neittaanmäki, P  |q (Pekka) 
100 1 |a Neittaanmäki, P  |q (Pekka) 
245 1 0 |a Reliable methods for computer simulation :  |b error control and a posteriori estimates /  |c P. Neittaanmäki and S. Repin 
260 |a Amsterdam ;  |a Oxford :  |b Elsevier,  |c 2004 
260 |a Amsterdam ;  |a San Diego, CA :  |b Elsevier,  |c 2004 
300 |a x, 305 p. :  |b fig., tab. ;  |c 24 cm 
300 |a x, 305 p. :  |b ill. ;  |c 24 cm 
300 |a x, 305 pages :  |b illustrations ;  |c 24 cm 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
440 0 |a Studies in mathematics and its applications ;  |v 33 
490 1 |a Studies in mathematics and its applications ;  |v v. 33 
504 |a Includes bibliographical references (p. 281-299) and index 
504 |a Includes bibliographical references (pages 281-299) and index 
504 |a Includes bibliographical references and index 
505 0 0 |g 1  |t Introduction --  |g 2.  |t Mathematical background --  |g 3.  |t A posteriori estimates for iteration methods --  |g 4.  |t A posteriori estimates for finite element approximations --  |g 5.  |t Foundations of duality theory --  |g 6.  |t Two-sided a posteriori estimates for linear elliptic problems --  |g 7.  |t A posteriori estimates for nonlinear variational problems --  |g 8.  |t A posteriori estimates for variational inequalities. 
520 |a 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 
590 |a *bes 20051004 
596 |a 31 
650 0 |a Approximation theory 
650 0 |a Computer simulation 
650 0 |a Error-correcting codes (Information theory) 
650 0 |a Numerical analysis 
650 7 |a Approximation theory  |2 fast 
650 7 |a Error-correcting codes (Information theory)  |2 fast 
650 7 |a Numerical analysis  |2 fast 
700 1 |a Repin, Sergeĭ 
700 1 |a Repin, Sergey I 
830 0 |a Studies in mathematics and its applications ;  |v v. 33 
830 0 |a Studies in mathematics and its applications  |v v. 33 
999 1 0 |i ee7bf60b-c155-4b75-94f7-53f51f0d77e4  |l a5733959  |s US-CST  |m reliable_methods_for_computer_simulationerror_control_and_a_posteriori_____2004_______elseva________________________________________neittaanmaki__p____________________p 
999 1 0 |i ee7bf60b-c155-4b75-94f7-53f51f0d77e4  |l 5514898  |s US-ICU  |m reliable_methods_for_computer_simulationerror_control_and_a_posteriori_____2004_______elseva________________________________________neittaanmaki__p____________________p 
999 1 0 |i ee7bf60b-c155-4b75-94f7-53f51f0d77e4  |l 990012817520106761  |s US-MCM  |m reliable_methods_for_computer_simulationerror_control_and_a_posteriori_____2004_______elseva________________________________________neittaanmaki__p____________________p 
999 1 0 |i ee7bf60b-c155-4b75-94f7-53f51f0d77e4  |l 990034773210108501  |s US-NCD  |m reliable_methods_for_computer_simulationerror_control_and_a_posteriori_____2004_______elseva________________________________________neittaanmaki__p____________________p 
999 1 0 |i ee7bf60b-c155-4b75-94f7-53f51f0d77e4  |l 5003457  |s US-NNC  |m reliable_methods_for_computer_simulationerror_control_and_a_posteriori_____2004_______elseva________________________________________neittaanmaki__p____________________p 
999 1 0 |i ee7bf60b-c155-4b75-94f7-53f51f0d77e4  |l 991040057189706966  |s US-RPB  |m reliable_methods_for_computer_simulationerror_control_and_a_posteriori_____2004_______elseva________________________________________neittaanmaki__p____________________p 
999 1 1 |l a5733959  |s ISIL:US-CST  |t BKS  |a SAL3 STACKS  |b 36105112536284  |c QA297.5 .N45 2004  |d LC  |x STKS-MONO  |y 36105112536284  |p LOANABLE 
999 1 1 |l 5514898  |s ISIL:US-ICU  |t BKS  |a ASR-SciASR  |b 66239587  |c QA76.9.C65N458 2004  |d Library of Congress classification  |y 7772454  |p LOANABLE 
999 1 1 |l 990012817520106761  |s ISIL:US-MCM  |t BKS  |a ENG STACK  |b 39080026641255  |c QA297.5.N45 2004  |d 0  |x BOOK  |y 23524630030006761  |p LOANABLE 
999 1 1 |l 990034773210108501  |s ISIL:US-NCD  |t BKS  |a PERKN PK  |b D02691226S  |c QA297.5 .N45 2004  |d 0  |x BOOK  |y 23685157540008501  |p LOANABLE 
999 1 1 |l 5003457  |s ISIL:US-NNC  |t BKS  |a off,eng  |b CU72192275  |c QA297.5 .N45 2004g  |y 5373674  |p LOANABLE 
999 1 1 |l 991040057189706966  |s ISIL:US-RPB  |t BKS  |a SCIENCE STACKS  |b 31236018513989  |c QA268 .N45x 2004  |d 0  |y 23316753210006966  |p LOANABLE