迈向机械化数学助理：第 14 届研讨会，Calculemus 2007，第六届国际会议，MKM 2007，奥地利哈根贝格，2007 年 6 月 27-30 日。 电子书下载

原名:Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
作品简介:本书包含了 Calcumus2007 和 MKM2007 这两个会议的贡献。 Calculemus2007 是致力于计算机代数系统 (CAS) 和自动演绎系统 (ADS) 集成的 14 个系列会议。 MKM 2007是第六届国际数学会议……