{"title":"5. Qualitative Computing","authors":"F. Chaitin-Chatelin, Elisabeth Traviesas-Cassan","doi":"10.1137/1.9780898718157.ch5","DOIUrl":"https://doi.org/10.1137/1.9780898718157.ch5","url":null,"abstract":"","PeriodicalId":422759,"journal":{"name":"Accuracy and Reliability in Scientific Computing","volume":"6 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":"132940732","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":"7. Tools for the Verification of Approximate Solutions to Differential Equations","authors":"W. Enright","doi":"10.1137/1.9780898718157.CH7","DOIUrl":"https://doi.org/10.1137/1.9780898718157.CH7","url":null,"abstract":"","PeriodicalId":422759,"journal":{"name":"Accuracy and Reliability in Scientific Computing","volume":"40 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":"116284713","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":"13. Software-Reliability Engineering of Numerical Systems","authors":"M. Vouk","doi":"10.1137/1.9780898718157.CH13","DOIUrl":"https://doi.org/10.1137/1.9780898718157.CH13","url":null,"abstract":"","PeriodicalId":422759,"journal":{"name":"Accuracy and Reliability in Scientific Computing","volume":"3 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":"121524603","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}