Learning and using mathematics software the natural way

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.