@InCollection｛zbMATH06197195，作者={Rabe，Florian}，标题={The{MMT}{API}：通用{MKM}系统}，BookTitle={智能计算机数学。2013年MKM、Calculemus、DML以及系统和项目，作为2013年CICM的一部分举行，英国巴斯，2013年7月8日至12日。诉讼程序}，国际标准图书编号={978-3-642-39319-8}，页码={339--343}，年份={2013}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-39320-4_25}，关键词={68T30}，zbMATH={6197195}，Zbl={1390.68626}}