Copyright © 2002 Published by Elsevier Science Ltd. All rights reserved.
Learning and using mathematics software the natural way*1
Communicated by N. Cercone
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
We motivate the need for more standard while natural ways of accessing the growing number of internet applications of mathematics software. We then identify a subset of natural language appropriate for this task, and describe an efficient logic programming transformation from this subset of language into the desired commands. We use substructural logic for dealing with different kinds of mathematical anaphora. We exemplify our ideas in the context of Maple, an advanced mathematics software for symbolic computing.
Author Keywords: Mathematics software; Natural language processing; Logic programming; Assumption grammars; Maple







E-mail Article
Add to my Quick Links

Cited By in Scopus (1)




