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

Wissenschaftliches Rechnen mit Ergebnisverifikation最新文献

筛选
英文 中文
Methoden zur Lösung von Integral und Differentialgleichungen 究竟如何解综合方程和微分方程
Wissenschaftliches Rechnen mit Ergebnisverifikation Pub Date : 1989-12-31 DOI: 10.1515/9783112576229-015
E. Kaucher
{"title":"Methoden zur Lösung von Integral und Differentialgleichungen","authors":"E. Kaucher","doi":"10.1515/9783112576229-015","DOIUrl":"https://doi.org/10.1515/9783112576229-015","url":null,"abstract":"On donne une vue d'ensemble sur les concepts de base pour la solution numerique avec verification du resultat, de problemes dans des espaces de fonctions, comme la solution de systemes d'equations differentielles, d'equations integrales, de systemes lineaires infinis, d'equations dependant de parametres, etc","PeriodicalId":295973,"journal":{"name":"Wissenschaftliches Rechnen mit Ergebnisverifikation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131336792","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
Vom Problem zum Einschließungsalgorit hmus 避难所算法的难题
Wissenschaftliches Rechnen mit Ergebnisverifikation Pub Date : 1989-12-31 DOI: 10.1515/9783112576229-012
D. Cordes, W. Krämer
{"title":"Vom Problem zum Einschließungsalgorit hmus","authors":"D. Cordes, W. Krämer","doi":"10.1515/9783112576229-012","DOIUrl":"https://doi.org/10.1515/9783112576229-012","url":null,"abstract":"","PeriodicalId":295973,"journal":{"name":"Wissenschaftliches Rechnen mit Ergebnisverifikation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133425691","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}
引用次数: 0
Einschließung der Lösung von linearen Gleichungssystemen auf Vektorrechnern 关闭对向量计算机的线性同步系统
Wissenschaftliches Rechnen mit Ergebnisverifikation Pub Date : 1989-12-31 DOI: 10.1515/9783112576229-016
G. Schumacher
{"title":"Einschließung der Lösung von linearen Gleichungssystemen auf Vektorrechnern","authors":"G. Schumacher","doi":"10.1515/9783112576229-016","DOIUrl":"https://doi.org/10.1515/9783112576229-016","url":null,"abstract":"A l'aide d'une implementation prototype d'un solvent avec autoverification de systemes d'equations lineaires, on montre les difficultes principales lors de l'emploi de processeurs vectoriels, en particulier sous l'aspect de la precision","PeriodicalId":295973,"journal":{"name":"Wissenschaftliches Rechnen mit Ergebnisverifikation","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129257147","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
Übersicht über neue Programmiersprachen für wissenschaftliches Rechnen 研究新的计算程序语言
Wissenschaftliches Rechnen mit Ergebnisverifikation Pub Date : 1989-12-31 DOI: 10.1515/9783112576229-003
R. Klatte
{"title":"Übersicht über neue Programmiersprachen für wissenschaftliches Rechnen","authors":"R. Klatte","doi":"10.1515/9783112576229-003","DOIUrl":"https://doi.org/10.1515/9783112576229-003","url":null,"abstract":"","PeriodicalId":295973,"journal":{"name":"Wissenschaftliches Rechnen mit Ergebnisverifikation","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126294870","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}
引用次数: 0
Praktikum „Einschließung bei Differentialgleichungen" 实习"物理微分方程"
Wissenschaftliches Rechnen mit Ergebnisverifikation Pub Date : 1989-12-31 DOI: 10.1515/9783112576229-014
R. Lohner
{"title":"Praktikum „Einschließung bei Differentialgleichungen\"","authors":"R. Lohner","doi":"10.1515/9783112576229-014","DOIUrl":"https://doi.org/10.1515/9783112576229-014","url":null,"abstract":"","PeriodicalId":295973,"journal":{"name":"Wissenschaftliches Rechnen mit Ergebnisverifikation","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128269377","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}
引用次数: 0
Einschließungen bei Anfangs- und Randwertaufgaben gewöhnlicher Differentialgleichungen 基本毫厘方程时都关闭过
Wissenschaftliches Rechnen mit Ergebnisverifikation Pub Date : 1989-12-31 DOI: 10.1515/9783112576229-013
R. Lohner
{"title":"Einschließungen bei Anfangs- und Randwertaufgaben gewöhnlicher Differentialgleichungen","authors":"R. Lohner","doi":"10.1515/9783112576229-013","DOIUrl":"https://doi.org/10.1515/9783112576229-013","url":null,"abstract":"On presente des methodes de calcul automatique de bornes pour la solution de problemes aux valeurs initiales et valeurs limites. Ces bornes sont fiables parce qu'on tient compte de toutes les erreurs possibles. Pour des conditions initiales, on applique des versions en termes d'intervalles de la methode un pas pour des conditions aux limites, on utilise des versions en termes d'intervalles de la methode du tir. Une regularite suffisante est la seule condition pour l'emploi de ces methodes","PeriodicalId":295973,"journal":{"name":"Wissenschaftliches Rechnen mit Ergebnisverifikation","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126368525","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}
引用次数: 7
PASCAL-SC Eine PASCAL-Erweiterung für wissenschaftliches Rechnen 并作为一个科学计算的扩展
Wissenschaftliches Rechnen mit Ergebnisverifikation Pub Date : 1989-12-31 DOI: 10.1515/9783112576229-005
M. Neaga
{"title":"PASCAL-SC Eine PASCAL-Erweiterung für wissenschaftliches Rechnen","authors":"M. Neaga","doi":"10.1515/9783112576229-005","DOIUrl":"https://doi.org/10.1515/9783112576229-005","url":null,"abstract":"","PeriodicalId":295973,"journal":{"name":"Wissenschaftliches Rechnen mit Ergebnisverifikation","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129351878","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
Grundbegriffe der Intervallrechnung 代号符号
Wissenschaftliches Rechnen mit Ergebnisverifikation Pub Date : 1989-12-31 DOI: 10.1515/9783112576229-007
G. Mayer
{"title":"Grundbegriffe der Intervallrechnung","authors":"G. Mayer","doi":"10.1515/9783112576229-007","DOIUrl":"https://doi.org/10.1515/9783112576229-007","url":null,"abstract":"Quelques principes de l'arithmetique des intervalles sont rassembles qui sont importants pour la comprehension de methodes d'encadrement. Des notions auxiliaires comme diametre et distance sont introduites. On applique une methode de Newton, basee sur des intervalles a l'encadrement de l'image d'une fonction reelle. On considere brievement une theorie vectorielle et matricielle ainsi qu'une generalisation au plan complexe","PeriodicalId":295973,"journal":{"name":"Wissenschaftliches Rechnen mit Ergebnisverifikation","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128618708","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}
引用次数: 8
Esprit-Projekt DIAMOND Esprit-Projekt戴蒙德
Wissenschaftliches Rechnen mit Ergebnisverifikation Pub Date : 1989-12-31 DOI: 10.1515/9783112576229-017
J. Wolff von Gudenberg
{"title":"Esprit-Projekt DIAMOND","authors":"J. Wolff von Gudenberg","doi":"10.1515/9783112576229-017","DOIUrl":"https://doi.org/10.1515/9783112576229-017","url":null,"abstract":"","PeriodicalId":295973,"journal":{"name":"Wissenschaftliches Rechnen mit Ergebnisverifikation","volume":"140 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121634660","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}
引用次数: 0
首页 上一页
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学术文献互助群
群 号：604180095
Book学术官方微信
小红书