发布求助
文献互助 智能选刊 最新文献

Computer Arithmetic and Self-Validating Numerical Methods最新文献

筛选
英文 中文
Periodic Solutions: Enclosure, Verification, and Applications 周期解决方案:附件、验证和应用
Computer Arithmetic and Self-Validating Numerical Methods Pub Date : 1990-11-01 DOI: 10.1016/B978-0-12-708245-5.50016-6
E. Adams
{"title":"Periodic Solutions: Enclosure, Verification, and Applications","authors":"E. Adams","doi":"10.1016/B978-0-12-708245-5.50016-6","DOIUrl":"https://doi.org/10.1016/B978-0-12-708245-5.50016-6","url":null,"abstract":"","PeriodicalId":158696,"journal":{"name":"Computer Arithmetic and Self-Validating Numerical Methods","volume":"334 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116651577","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}
引用次数: 10
Aspects of Self-Validating Numerics in Banach Spaces Banach空间中自验证数值的几个方面
Computer Arithmetic and Self-Validating Numerical Methods Pub Date : 1990-11-01 DOI: 10.1016/B978-0-12-708245-5.50018-X
E. Kaucher, C. Schulz-Rinne
{"title":"Aspects of Self-Validating Numerics in Banach Spaces","authors":"E. Kaucher, C. Schulz-Rinne","doi":"10.1016/B978-0-12-708245-5.50018-X","DOIUrl":"https://doi.org/10.1016/B978-0-12-708245-5.50018-X","url":null,"abstract":"","PeriodicalId":158696,"journal":{"name":"Computer Arithmetic and Self-Validating Numerical Methods","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133926657","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}
引用次数: 3
The Determination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods I 用变分方法确定特征值的保证界1
Computer Arithmetic and Self-Validating Numerical Methods Pub Date : 1990-11-01 DOI: 10.1016/B978-0-12-708245-5.50012-9
F. Goerisch, Zhiqing He
{"title":"The Determination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods I","authors":"F. Goerisch, Zhiqing He","doi":"10.1016/B978-0-12-708245-5.50012-9","DOIUrl":"https://doi.org/10.1016/B978-0-12-708245-5.50012-9","url":null,"abstract":"","PeriodicalId":158696,"journal":{"name":"Computer Arithmetic and Self-Validating Numerical Methods","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131676248","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}
引用次数: 19
Validated Solution of Initial Value Problems for ODE ODE初值问题的验证解
Computer Arithmetic and Self-Validating Numerical Methods Pub Date : 1990-11-01 DOI: 10.1016/B978-0-12-708245-5.50014-2
H. Stetter
{"title":"Validated Solution of Initial Value Problems for ODE","authors":"H. Stetter","doi":"10.1016/B978-0-12-708245-5.50014-2","DOIUrl":"https://doi.org/10.1016/B978-0-12-708245-5.50014-2","url":null,"abstract":"","PeriodicalId":158696,"journal":{"name":"Computer Arithmetic and Self-Validating Numerical Methods","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133616774","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}
引用次数: 32
Guaranteed Inclusions of Solutions of some Types of Boundary Value Problems 一类边值问题解的保包含
Computer Arithmetic and Self-Validating Numerical Methods Pub Date : 1990-11-01 DOI: 10.1016/B978-0-12-708245-5.50015-4
L. Collatz
{"title":"Guaranteed Inclusions of Solutions of some Types of Boundary Value Problems","authors":"L. Collatz","doi":"10.1016/B978-0-12-708245-5.50015-4","DOIUrl":"https://doi.org/10.1016/B978-0-12-708245-5.50015-4","url":null,"abstract":"","PeriodicalId":158696,"journal":{"name":"Computer Arithmetic and Self-Validating Numerical Methods","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114626739","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}
引用次数: 3
Programming Languages for Enclosure Methods 用于封装方法的编程语言
Computer Arithmetic and Self-Validating Numerical Methods Pub Date : 1990-11-01 DOI: 10.1016/B978-0-12-708245-5.50011-7
C. Ullrich
{"title":"Programming Languages for Enclosure Methods","authors":"C. Ullrich","doi":"10.1016/B978-0-12-708245-5.50011-7","DOIUrl":"https://doi.org/10.1016/B978-0-12-708245-5.50011-7","url":null,"abstract":"","PeriodicalId":158696,"journal":{"name":"Computer Arithmetic and Self-Validating Numerical Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129064873","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}
引用次数: 6
Industrial Applications of Interval Techniques 区间技术的工业应用
Computer Arithmetic and Self-Validating Numerical Methods Pub Date : 1990-11-01 DOI: 10.1016/B978-0-12-708245-5.50010-5
G. Corliss
{"title":"Industrial Applications of Interval Techniques","authors":"G. Corliss","doi":"10.1016/B978-0-12-708245-5.50010-5","DOIUrl":"https://doi.org/10.1016/B978-0-12-708245-5.50010-5","url":null,"abstract":"","PeriodicalId":158696,"journal":{"name":"Computer Arithmetic and Self-Validating Numerical Methods","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134471976","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}
引用次数: 23
Numerical Algorithms for Existence Proofs and Error Estimates for Two-Point Boundary Value Problems 两点边值问题存在性证明和误差估计的数值算法
Computer Arithmetic and Self-Validating Numerical Methods Pub Date : 1990-11-01 DOI: 10.1016/B978-0-12-708245-5.50017-8
J. Schröder
{"title":"Numerical Algorithms for Existence Proofs and Error Estimates for Two-Point Boundary Value Problems","authors":"J. Schröder","doi":"10.1016/B978-0-12-708245-5.50017-8","DOIUrl":"https://doi.org/10.1016/B978-0-12-708245-5.50017-8","url":null,"abstract":"","PeriodicalId":158696,"journal":{"name":"Computer Arithmetic and Self-Validating Numerical Methods","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116855312","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}
引用次数: 2
Chips for High Precision Arithmetic 高精度算术芯片
Computer Arithmetic and Self-Validating Numerical Methods Pub Date : 1990-11-01 DOI: 10.1016/B978-0-12-708245-5.50007-5
K. Hafner
{"title":"Chips for High Precision Arithmetic","authors":"K. Hafner","doi":"10.1016/B978-0-12-708245-5.50007-5","DOIUrl":"https://doi.org/10.1016/B978-0-12-708245-5.50007-5","url":null,"abstract":"","PeriodicalId":158696,"journal":{"name":"Computer Arithmetic and Self-Validating Numerical Methods","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116460133","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}
引用次数: 4
What Do We Need Beyond IEEE Arithmetic? 除了IEEE算法，我们还需要什么?
Computer Arithmetic and Self-Validating Numerical Methods Pub Date : 1990-11-01 DOI: 10.1016/B978-0-12-708245-5.50006-3
G. Bohlender
{"title":"What Do We Need Beyond IEEE Arithmetic?","authors":"G. Bohlender","doi":"10.1016/B978-0-12-708245-5.50006-3","DOIUrl":"https://doi.org/10.1016/B978-0-12-708245-5.50006-3","url":null,"abstract":"","PeriodicalId":158696,"journal":{"name":"Computer Arithmetic and Self-Validating Numerical Methods","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129874260","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}
引用次数: 55
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信