Pub Date : 2009-04-29DOI: 10.1007/978-3-642-01591-5_8
E. Dyllong
{"title":"Some Applications of Interval Arithmetic in Hierarchical Solid Modeling","authors":"E. Dyllong","doi":"10.1007/978-3-642-01591-5_8","DOIUrl":"https://doi.org/10.1007/978-3-642-01591-5_8","url":null,"abstract":"","PeriodicalId":413962,"journal":{"name":"Numerical Validation in Current Hardware Architectures","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127260847","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}
Pub Date : 2009-04-29DOI: 10.1007/978-3-642-01591-5_16
M. Kolberg, W. Krämer, M. Zimmer
{"title":"A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC","authors":"M. Kolberg, W. Krämer, M. Zimmer","doi":"10.1007/978-3-642-01591-5_16","DOIUrl":"https://doi.org/10.1007/978-3-642-01591-5_16","url":null,"abstract":"","PeriodicalId":413962,"journal":{"name":"Numerical Validation in Current Hardware Architectures","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126124146","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}
Pub Date : 2009-04-29DOI: 10.1007/978-3-642-01591-5_10
D. Jiang, N. F. Stewart
{"title":"Robustness of Boolean Operations on Subdivision-Surface Models","authors":"D. Jiang, N. F. Stewart","doi":"10.1007/978-3-642-01591-5_10","DOIUrl":"https://doi.org/10.1007/978-3-642-01591-5_10","url":null,"abstract":"","PeriodicalId":413962,"journal":{"name":"Numerical Validation in Current Hardware Architectures","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134241206","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}
Pub Date : 2009-04-29DOI: 10.1007/978-3-642-01591-5_3
A. Cuyt, Franky Backeljauw, S. Becuwe, M. Colman, Tom Docx, J. Deun
{"title":"Continued Fractions for Special Functions: Handbook and Software","authors":"A. Cuyt, Franky Backeljauw, S. Becuwe, M. Colman, Tom Docx, J. Deun","doi":"10.1007/978-3-642-01591-5_3","DOIUrl":"https://doi.org/10.1007/978-3-642-01591-5_3","url":null,"abstract":"","PeriodicalId":413962,"journal":{"name":"Numerical Validation in Current Hardware Architectures","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134576217","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}
Pub Date : 2009-04-29DOI: 10.1007/978-3-642-01591-5_9
E. Auer, W. Luther
{"title":"Numerical Verification Assessment in Computational Biomechanics","authors":"E. Auer, W. Luther","doi":"10.1007/978-3-642-01591-5_9","DOIUrl":"https://doi.org/10.1007/978-3-642-01591-5_9","url":null,"abstract":"","PeriodicalId":413962,"journal":{"name":"Numerical Validation in Current Hardware Architectures","volume":"121 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131312441","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}
Pub Date : 2009-04-29DOI: 10.1007/978-3-642-01591-5_11
A. Rauh, J. Minisini, E. Hofer
{"title":"Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering","authors":"A. Rauh, J. Minisini, E. Hofer","doi":"10.1007/978-3-642-01591-5_11","DOIUrl":"https://doi.org/10.1007/978-3-642-01591-5_11","url":null,"abstract":"","PeriodicalId":413962,"journal":{"name":"Numerical Validation in Current Hardware Architectures","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121225201","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}
Pub Date : 2009-04-29DOI: 10.1007/978-3-642-01591-5_7
E. Popova
{"title":"Mathematica Connectivity to Interval Libraries filib++ and C-XSC","authors":"E. Popova","doi":"10.1007/978-3-642-01591-5_7","DOIUrl":"https://doi.org/10.1007/978-3-642-01591-5_7","url":null,"abstract":"","PeriodicalId":413962,"journal":{"name":"Numerical Validation in Current Hardware Architectures","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122582213","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}
Pub Date : 2009-04-29DOI: 10.1007/978-3-642-01591-5_1
R. B. Kearfott, J. Pryce, N. Revol
{"title":"Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021","authors":"R. B. Kearfott, J. Pryce, N. Revol","doi":"10.1007/978-3-642-01591-5_1","DOIUrl":"https://doi.org/10.1007/978-3-642-01591-5_1","url":null,"abstract":"","PeriodicalId":413962,"journal":{"name":"Numerical Validation in Current Hardware Architectures","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130764991","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}
Pub Date : 2009-04-29DOI: 10.1007/978-3-642-01591-5_2
U. Kulisch
{"title":"Complete Interval Arithmetic and Its Implementation on the Computer","authors":"U. Kulisch","doi":"10.1007/978-3-642-01591-5_2","DOIUrl":"https://doi.org/10.1007/978-3-642-01591-5_2","url":null,"abstract":"","PeriodicalId":413962,"journal":{"name":"Numerical Validation in Current Hardware Architectures","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114777863","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}
Pub Date : 2009-04-29DOI: 10.1007/978-3-642-01591-5_14
S. Graillat, J. Lamotte, Diep Nguyen Hong
{"title":"Error-Free Transformation in Rounding Mode toward Zero","authors":"S. Graillat, J. Lamotte, Diep Nguyen Hong","doi":"10.1007/978-3-642-01591-5_14","DOIUrl":"https://doi.org/10.1007/978-3-642-01591-5_14","url":null,"abstract":"","PeriodicalId":413962,"journal":{"name":"Numerical Validation in Current Hardware Architectures","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116879240","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：