| 書(shū)目名稱 | Towards Mechanized Mathematical Assistants | | 副標(biāo)題 | 14th Symposium, Calc | | 編輯 | Manuel Kauers,Manfred Kerber,Wolfgang Windsteiger | | 視頻video | http://file.papertrans.cn/927/926970/926970.mp4 | | 叢書(shū)名稱 | Lecture Notes in Computer Science | | 圖書(shū)封面 |  | | 描述 | 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 | | 關(guān)鍵詞 | 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 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-6 22:47
發(fā)表于 2025-3-21 17:06:49
