| 书目名称 | Mathematical Software – ICMS 2024 |
| 副标题 | 8th International Co |
| 编辑 | Kevin Buzzard,Alicia Dickenstein,Yue Ren |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | .This book constitutes the proceedings of the 8th International Conference on Mathematical Software, ICMS 2024, held in Durham, UK, during July 22–25, 2024...The 37 full papers presented were carefully reviewed and selected from 46 submissions. The papers are organized in subject areas as follows: plenary lectures; number theory and related areas; novel formalisations of mathematics in lean; software for the applications of group theory to combinatorics; classical algebraic geometry & modern computer algebra: innovative software design and its applications; advancing computer algebra with massively parallel methods; computer algebra applications in the life sciences; machine learning within computer algebra systems; numerical software for special functions; mathematical research data; symbolic-numeric methods in algebraic geometry; Polyhedral geometry and combinatorics; general session.. |
| 出版日期 | Conference proceedings 2024 |
| 关键词 | graph theory; parallel processing systems; mathematical software; number theory; formalization; group the |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-031-64529-7 |
| isbn_softcover | 978-3-031-64528-0 |
| isbn_ebook | 978-3-031-64529-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
发表于 2025-3-21 19:26:45
