Pub Date : 1993-01-01DOI: 10.1016/S0076-5392(08)62848-9
W. Klein
{"title":"Enclosure Methods for Linear and Nonlinear Systems of Fredholm Integral Equations of the Second Kind","authors":"W. Klein","doi":"10.1016/S0076-5392(08)62848-9","DOIUrl":"https://doi.org/10.1016/S0076-5392(08)62848-9","url":null,"abstract":"","PeriodicalId":52174,"journal":{"name":"Mathematics in Engineering, Science and Aerospace","volume":"115 1","pages":"255-282"},"PeriodicalIF":0.0,"publicationDate":"1993-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74825237","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 : 1993-01-01DOI: 10.1016/S0076-5392(08)62840-4
R. Hammer, M. Neaga, D. Ratz
{"title":"PASCAL-XSC New Concepts for Scientific Computation and Numerical Data Processing","authors":"R. Hammer, M. Neaga, D. Ratz","doi":"10.1016/S0076-5392(08)62840-4","DOIUrl":"https://doi.org/10.1016/S0076-5392(08)62840-4","url":null,"abstract":"","PeriodicalId":52174,"journal":{"name":"Mathematics in Engineering, Science and Aerospace","volume":"99 1","pages":"15-44"},"PeriodicalIF":0.0,"publicationDate":"1993-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74256525","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 : 1993-01-01DOI: 10.1016/S0076-5392(08)62385-1
C. Mcmillan, R. Triggiani
{"title":"Algebraic Riccati Equations Arising in Game Theory and in H∞-Control Problems for a Class of Abstract Systems","authors":"C. Mcmillan, R. Triggiani","doi":"10.1016/S0076-5392(08)62385-1","DOIUrl":"https://doi.org/10.1016/S0076-5392(08)62385-1","url":null,"abstract":"","PeriodicalId":52174,"journal":{"name":"Mathematics in Engineering, Science and Aerospace","volume":"10 1","pages":"239-247"},"PeriodicalIF":0.0,"publicationDate":"1993-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73257637","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 : 1993-01-01DOI: 10.1016/S0076-5392(08)62369-3
S. Bièvre, J. Houard, M. Irac-Astaud
{"title":"Wave packets localized on closed classical trajectories","authors":"S. Bièvre, J. Houard, M. Irac-Astaud","doi":"10.1016/S0076-5392(08)62369-3","DOIUrl":"https://doi.org/10.1016/S0076-5392(08)62369-3","url":null,"abstract":"","PeriodicalId":52174,"journal":{"name":"Mathematics in Engineering, Science and Aerospace","volume":"29 1","pages":"25-32"},"PeriodicalIF":0.0,"publicationDate":"1993-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77222074","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 : 1993-01-01DOI: 10.1016/S0076-5392(08)62842-8
Christian Lawo
{"title":"C-XSC A Programming Environment for Verified Scientific Computing and Numerical Data Processing","authors":"Christian Lawo","doi":"10.1016/S0076-5392(08)62842-8","DOIUrl":"https://doi.org/10.1016/S0076-5392(08)62842-8","url":null,"abstract":"","PeriodicalId":52174,"journal":{"name":"Mathematics in Engineering, Science and Aerospace","volume":"189 1","pages":"71-86"},"PeriodicalIF":0.0,"publicationDate":"1993-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74591210","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 : 1993-01-01DOI: 10.1016/S0076-5392(08)62843-X
G. Bohlender, D. Cordes, A. Knöfel, U. Kulisch, R. Lohner, W. Walter
{"title":"Proposal for Accurate Floating-Point Vector Arithmetic","authors":"G. Bohlender, D. Cordes, A. Knöfel, U. Kulisch, R. Lohner, W. Walter","doi":"10.1016/S0076-5392(08)62843-X","DOIUrl":"https://doi.org/10.1016/S0076-5392(08)62843-X","url":null,"abstract":"","PeriodicalId":52174,"journal":{"name":"Mathematics in Engineering, Science and Aerospace","volume":"1 1","pages":"87-102"},"PeriodicalIF":0.0,"publicationDate":"1993-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83112167","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 : 1993-01-01DOI: 10.1016/S0076-5392(08)62373-5
W. Fitzgibbon, C. Martin
{"title":"Quasilinear Reaction Diffusion Models For Exothermic Reaction","authors":"W. Fitzgibbon, C. Martin","doi":"10.1016/S0076-5392(08)62373-5","DOIUrl":"https://doi.org/10.1016/S0076-5392(08)62373-5","url":null,"abstract":"","PeriodicalId":52174,"journal":{"name":"Mathematics in Engineering, Science and Aerospace","volume":"41 1","pages":"69-78"},"PeriodicalIF":0.0,"publicationDate":"1993-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87899549","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 : 1993-01-01DOI: 10.1016/S0076-5392(08)62852-0
B. Gross
{"title":"Verification of Asymptotic Stability for Interval Matrices and Applications in Control Theory","authors":"B. Gross","doi":"10.1016/S0076-5392(08)62852-0","DOIUrl":"https://doi.org/10.1016/S0076-5392(08)62852-0","url":null,"abstract":"","PeriodicalId":52174,"journal":{"name":"Mathematics in Engineering, Science and Aerospace","volume":"114 1","pages":"357-395"},"PeriodicalIF":0.0,"publicationDate":"1993-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79232916","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 : 1993-01-01DOI: 10.1016/S0076-5392(08)62841-6
W. Walter
{"title":"ACRITH-XSC A Fortran—like Language for Verified Scientific Computing","authors":"W. Walter","doi":"10.1016/S0076-5392(08)62841-6","DOIUrl":"https://doi.org/10.1016/S0076-5392(08)62841-6","url":null,"abstract":"","PeriodicalId":52174,"journal":{"name":"Mathematics in Engineering, Science and Aerospace","volume":"164 1","pages":"45-70"},"PeriodicalIF":0.0,"publicationDate":"1993-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86437654","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 : 1993-01-01DOI: 10.1016/S0076-5392(08)62857-X
G. Bohlender
{"title":"Bibliography on Enclosure Methods and Related Topics","authors":"G. Bohlender","doi":"10.1016/S0076-5392(08)62857-X","DOIUrl":"https://doi.org/10.1016/S0076-5392(08)62857-X","url":null,"abstract":"","PeriodicalId":52174,"journal":{"name":"Mathematics in Engineering, Science and Aerospace","volume":"96 1","pages":"571-608"},"PeriodicalIF":0.0,"publicationDate":"1993-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75657982","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}