Contents of MU Learning Mathematics Task MU's Architecture Examples Formal Expression Language Learning Defns & Theorems Checking Proofs Solving Problems Learning by Experience

First, we look at the task of learning mathematics and what is required. Then we consider MU's architecture. Next, we look at examples of input and output. Then we examine the Formal Expression Language which is the language used by MU for input. In the next section we see how MU learns definitions and theorems from texts. Then in a longer section we see how MU checks proofs, and also how MU solves problems. Finally, we see how MU needs to learn by experience in order to do mathematics.