Journal of symbolic computation. 2001;32(4):351-364. doi: 10.1006/jsco.2000.0466 Q21.12025
On the Role of OpenMath in Interactive Mathematical Documents
DOI: 10.1006/jsco.2000.0466
摘要 查看摘要
Journal of symbolic computation. 2001;32(4):351-364. doi: 10.1006/jsco.2000.0466 Q21.12025
DOI: 10.1006/jsco.2000.0466
摘要 查看摘要