| 书目名称 | Towards Mechanized Mathematical Assistants |
| 副标题 | 14th Symposium, Calc |
| 编辑 | Manuel Kauers,Manfred Kerber,Wolfgang Windsteiger |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS). MKM 2007 was the sixth International Conference on Mathematical Knowledge Management, an emerging interdisciplinary ?eld of research in the intersection of mathematics, computer science, library s- ence, and scienti?c publishing. Both conferences aimed to provide mechanized mathematical assistants. Although the two conferences have separate communities and separate foci, there is a signi?cant overlap in the interests in building mechanized mathem- ical assistants. For this reason it was decided to collocate the two events in 2007 for the ?rst time, at RISC in Hagenberg, Austria. The number and quality of the submissions show that this was a good decision. While the proceedings are shared, the submission process was separate. The responsibility for acc- tance/rejection rests completely with the two separate Program Committees. By this collocation we made a contribution against the fragmentation of communities which work on di?erent aspects of d |
| 出版日期 | Conference proceedings 2007 |
| 关键词 | Algebra; Arithmetic; Calculation; Homological algebra; automated deduction systems; automated theory form |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-540-73086-6 |
| isbn_softcover | 978-3-540-73083-5 |
| isbn_ebook | 978-3-540-73086-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2007 |
发表于 2025-3-21 17:06:49
