| 书目名称 | Mathematical Knowledge Management | | 副标题 | 4th International Co | | 编辑 | Michael Kohlhase | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15–17, 2005 at - ternational University Bremen, Germany. Previous conferences have been at the Research Institute for Symbolic Computation (RISC) Linz, Austria (September 2001), at Bertinoro, Italy (March 2003), and Bialowiecze, Poland (September 2004). Mathematical knowledge management (MKM) is a ?eld in the intersection of mathematics and computer science, providing new techniques for managing the enormous volume of mathematical knowledge available in current mathematical sources and making it available through the new developments in information technology. The annual MKM Conference brings together mathematicians, software - velopers, publishing companies, math organizations, math users, and educators to exchange their views and approaches, current activities and new initiatives. For the ?rst time, MKM 2005 chose to have post-conference proceedings, as otherwise the submission deadline would have collided with other conferences and crimped time since MKM 2004 in September 2004. The decision also faci- tatedkeepingtheconferenceopentonewideasaswellask | | 出版日期 | Conference proceedings 2006 | | 关键词 | Algebra; automated theorem proving; e-learning; equation; formal logic; formal mathematics; interactive al | | 版次 | 1 | | doi | https://doi.org/10.1007/11618027 | | isbn_softcover | 978-3-540-31430-1 | | isbn_ebook | 978-3-540-31431-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2006 |
The information of publication is updating
|
|
发表于 2025-3-21 16:38:00
