Sciweavers

16 search results - page 4 / 4
» mkm 2005
Sort
View
MKM
2005
Springer
13 years 10 months ago
Translating Mathematical Vernacular into Knowledge Repositories
Abstract. Defining functions is a major topic when building mathematical repositories. Though relatively easy in mathematical vernacular, function definitions rise a number of qu...
Adam Grabowski, Christoph Schwarzweller