GF数学图书馆

标题GF数学图书馆
出版物类型会议文献
出版年份2011
作者萨尔德斯，J,萨姆博
编辑器夸雷斯马，P,背面，R-J
会议名称教育软件CTP组件第一次研讨会论文集（THedu'11）
体积理论计算机科学中的电子论文集
编号79
分页102–110
发布日期02/2012
出版商理论计算机科学中的电子论文集
发布地点波兰Wrocław
关键词MOLTO传播,工作包6
摘要

本文致力于介绍数学文法库，这是一个多语言数学文本处理系统。我们解释了它产生的背景、当前的设计和功能以及当前的开发目标。我们还提供了两个原型服务，并评论了人工数学助手领域未来可能的应用。
统一资源定位地址http://cgi.cse.unsw.edu.au/~rvg/eptcs/Published/THedu11/Papers/22/arXiv.pdf
内政部http://dx.doi.org/10.4204/EPTCS.79.6
推荐人名称推荐

这里有什么链接

未找到反向链接。