摘要：多方面数学软件系统的研究：概念和展望
作者：Katja Bercic, Jacques Carette, William M. Farmer, Michael Kohlhase, Dennis M"uller, Florian Rabe, and Yasmine Sharoda
论文ID：2002.04955
分类：Mathematical Software
分类简称：cs.MS
提交时间：2020-02-13
PDF 下载： 英文版 中文版pdf翻译中