{"title":"Highly Accurate Verified Error Bounds for Krylov Type Linear System Solvers","authors":"A. Facius","doi":"10.1016/S0168-9274(02)00234-9","DOIUrl":"https://doi.org/10.1016/S0168-9274(02)00234-9","url":null,"abstract":"","PeriodicalId":432305,"journal":{"name":"Perspectives on Enclosure Methods","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127158573","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Comparison of Techniques for Evaluating Centered Forms","authors":"B. Lang","doi":"10.1007/978-3-7091-6282-8_8","DOIUrl":"https://doi.org/10.1007/978-3-7091-6282-8_8","url":null,"abstract":"","PeriodicalId":432305,"journal":{"name":"Perspectives on Enclosure Methods","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128039723","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations","authors":"N. Nedialkov, K. Jackson","doi":"10.1007/978-3-7091-6282-8_13","DOIUrl":"https://doi.org/10.1007/978-3-7091-6282-8_13","url":null,"abstract":"","PeriodicalId":432305,"journal":{"name":"Perspectives on Enclosure Methods","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128295882","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Guaranteed Bound of the Optimal Constant in the Error Estimates for Linear Triangular Elements","authors":"M. Nakao, N. Yamamoto","doi":"10.1007/978-3-7091-6217-0_13","DOIUrl":"https://doi.org/10.1007/978-3-7091-6217-0_13","url":null,"abstract":"","PeriodicalId":432305,"journal":{"name":"Perspectives on Enclosure Methods","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134585239","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Elements of Scientific Computing","authors":"J. Bleher","doi":"10.1007/978-3-7091-6282-8_4","DOIUrl":"https://doi.org/10.1007/978-3-7091-6282-8_4","url":null,"abstract":"","PeriodicalId":432305,"journal":{"name":"Perspectives on Enclosure Methods","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124360302","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Proving Conjectures by Use of Interval Arithmetic","authors":"A. Frommer","doi":"10.1007/978-3-7091-6282-8_1","DOIUrl":"https://doi.org/10.1007/978-3-7091-6282-8_1","url":null,"abstract":"","PeriodicalId":432305,"journal":{"name":"Perspectives on Enclosure Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130677077","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Algorithmic Differencing","authors":"L. B. Rall, T. Reps","doi":"10.1007/978-3-7091-6282-8_7","DOIUrl":"https://doi.org/10.1007/978-3-7091-6282-8_7","url":null,"abstract":"","PeriodicalId":432305,"journal":{"name":"Perspectives on Enclosure Methods","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125828515","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"How Fast can Moore's Interval Integration Method Really be?","authors":"J. Herzberger","doi":"10.1007/978-3-7091-6282-8_10","DOIUrl":"https://doi.org/10.1007/978-3-7091-6282-8_10","url":null,"abstract":"","PeriodicalId":432305,"journal":{"name":"Perspectives on Enclosure Methods","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126463048","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Nonsmooth Global Optimization","authors":"D. Ratz","doi":"10.1007/978-3-7091-6282-8_15","DOIUrl":"https://doi.org/10.1007/978-3-7091-6282-8_15","url":null,"abstract":"","PeriodicalId":432305,"journal":{"name":"Perspectives on Enclosure Methods","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114719137","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}