書目名稱 | Computer Algebra in Scientific Computing |
副標題 | 20th International W |
編輯 | Vladimir P. Gerdt,Wolfram Koepf,Evgenii V. Vorozht |
視頻video | http://file.papertrans.cn/234/233410/233410.mp4 |
叢書名稱 | Lecture Notes in Computer Science |
圖書封面 |  |
描述 | .This book constitutes the proceedings of the 20th International Workshop on Computer Algebra in Scientific Computing, CASC 2018, held in Lille, France, in September 2018...The 24 full papers of this volume presented with an abstract of an invited talk and one paper corresponding to another invited talk were carefully reviewed and selected from 29 submissions. They deal with cutting-edge research in all major disciplines of computer algebra in sciences such as physics, chemistry, life sciences, and engineering..Chapter “Positive Solutions of Systems of Signed Parametric Polynomial Inequalities” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. |
出版日期 | Conference proceedings 2018 |
關鍵詞 | computability and decidability; computer systems, digital; differential equations; decision procedure; f |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-319-99639-4 |
isbn_softcover | 978-3-319-99638-7 |
isbn_ebook | 978-3-319-99639-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer Nature Switzerland AG 2018 |