The GF Mathematics Library

被引：1
作者：
Saludes, Jordi [1 ]
Xambo, Sebastian [2 ]
机构：
[1] Univ Politecn Cataluna, Sistemes Avancats Control, Barcelona, Spain
[2] Univ Politecn Cataluna, MA2, Barcelona, Spain
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2012年 / 79期
关键词：
D O I：
10.4204/EPTCS.79.6
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper is devoted to present the Mathematics Grammar Library, a system for multilingual mathematical text processing. We explain the context in which it originated, its current design and functionality and the current development goals. We also present two prototype services and comment on possible future applications in the area of artificial mathematics assistants.
引用
收藏
页码：102 / 110
页数：9
相关论文
共 18 条
  • [1] [Anonymous], 2012, LEXICAL DATABASE ENG
  • [2] Brodie K, 2010, TEACHING MATHEMATICAL REASONING IN SECONDARY SCHOOL CLASSROOMS, P199, DOI 10.1007/978-0-387-09742-8_12
  • [3] Caprotti O., 2006, P ONL ED BERL 2006
  • [4] Caprotti O., 2006, P SITE 2006
  • [5] Making sense of realistic word problems: portraying working class 'failure' on a division with remainder problem
    Cooper, Barry
    Harries, Tony
    [J]. INTERNATIONAL JOURNAL OF RESEARCH & METHOD IN EDUCATION, 2005, 28 (02) : 147 - 169
  • [6] Hallgren T., 2010, MATH BAR ONLINE
  • [7] Hand V, 2012, EDUC STUD MATH, V79, P149, DOI 10.1007/s10649-011-9344-z
  • [8] Kosan T., 2007, SAGE FOR NEWBIES
  • [9] Libbrecht P., 2010, OPENMATH
  • [10] RANTA A, 2010, GRAMMATICAL FRAMEWOR
12