2012
DOI: 10.4204/eptcs.79.6
|View full text |Cite
|
Sign up to set email alerts
|

The GF Mathematics Library

Abstract: 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

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
7
0

Year Published

2014
2014
2016
2016

Publication Types

Select...
6
1

Relationship

0
7

Authors

Journals

citations
Cited by 8 publications
(7 citation statements)
references
References 6 publications
0
7
0
Order By: Relevance
“…Attempts at delivering multilingual interfaces to computer algebra systems are, however, emerging. Saludes and Xambó ( 2012 ) proposed such an approach for Sage. The CATO system proposes a unifi ed user-interface in German for multiple computer algebra systems.…”
Section: Multilingualism In Computation Toolsmentioning
confidence: 99%
“…Attempts at delivering multilingual interfaces to computer algebra systems are, however, emerging. Saludes and Xambó ( 2012 ) proposed such an approach for Sage. The CATO system proposes a unifi ed user-interface in German for multiple computer algebra systems.…”
Section: Multilingualism In Computation Toolsmentioning
confidence: 99%
“…Its architecture permits easily changing the CNL to some other one and also including several CNLs in a single system. At least two experiments are in progress: one with a mathematical grammar library [5], another with the multilingual version of Attempto Controlled English [8].…”
Section: Work In Progressmentioning
confidence: 99%
“…MOLTO also built showcases for a few domains (mathematics (Saludes and Xambó, 2011), paintings (Damova et al, 2014), business models (Davis et al, 2012), and touristic phrases ). But these showcases were all dealing with CNL (controlled natural language), which was defined by the grammar writers and designed to be processable by formal grammars.…”
Section: Introductionmentioning
confidence: 99%