David Henneaux, Pierre Schrooyen, Philippe Chatelain, Thierry Magin
{"title":"符号生成满足规定条件的人造解的一般方法:两相流方程的应用","authors":"David Henneaux, Pierre Schrooyen, Philippe Chatelain, Thierry Magin","doi":"10.1007/s11786-024-00584-z","DOIUrl":null,"url":null,"abstract":"","PeriodicalId":45105,"journal":{"name":"Mathematics in Computer Science","volume":null,"pages":null},"PeriodicalIF":1.1000,"publicationDate":"2024-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A General Methodology for Symbolically Generating Manufactured Solutions Satisfying Prescribed Conditions: Application to Two-phase Flows Equations\",\"authors\":\"David Henneaux, Pierre Schrooyen, Philippe Chatelain, Thierry Magin\",\"doi\":\"10.1007/s11786-024-00584-z\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"\",\"PeriodicalId\":45105,\"journal\":{\"name\":\"Mathematics in Computer Science\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":1.1000,\"publicationDate\":\"2024-05-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Mathematics in Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1007/s11786-024-00584-z\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS, APPLIED\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematics in Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s11786-024-00584-z","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
期刊介绍:
Mathematics in Computer Science publishes high-quality original research papers on the development of theories and methods for computer and information sciences, the design, implementation, and analysis of algorithms and software tools for mathematical computation and reasoning, and the integration of mathematics and computer science for scientific and engineering applications. Insightful survey articles may be submitted for publication by invitation. As one of its distinct features, the journal publishes mainly special issues on carefully selected topics, reflecting the trends of research and development in the broad area of mathematics in computer science. Submission of proposals for special issues is welcome.