{"title":"验证数值:算法及其在航空航天中的实际应用","authors":"Mioara Joldes","doi":"10.1145/3476446.3535505","DOIUrl":null,"url":null,"abstract":"My lecture will survey some classical and recent validated computing algorithms based on the theory of set-valued analysis, in suitable functional spaces, as well as by combining symbolic and numerical computations. These techniques are illustrated with some applications which appear in practical space mission analysis and design. This is only a short summary of the talk.","PeriodicalId":130499,"journal":{"name":"Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation","volume":"34 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Validated Numerics: Algorithms and Practical Applications in Aerospace\",\"authors\":\"Mioara Joldes\",\"doi\":\"10.1145/3476446.3535505\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"My lecture will survey some classical and recent validated computing algorithms based on the theory of set-valued analysis, in suitable functional spaces, as well as by combining symbolic and numerical computations. These techniques are illustrated with some applications which appear in practical space mission analysis and design. This is only a short summary of the talk.\",\"PeriodicalId\":130499,\"journal\":{\"name\":\"Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation\",\"volume\":\"34 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-07-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3476446.3535505\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3476446.3535505","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Validated Numerics: Algorithms and Practical Applications in Aerospace
My lecture will survey some classical and recent validated computing algorithms based on the theory of set-valued analysis, in suitable functional spaces, as well as by combining symbolic and numerical computations. These techniques are illustrated with some applications which appear in practical space mission analysis and design. This is only a short summary of the talk.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
