Abstract
Using ideas developed recently in the theory of understanding language, an analysis is given of the process of understanding mathematical concepts. An analysis also is given of procedural knowledge in mathematics, based on recently developed theories of problem solving including production systems and automaton models. A suggestion is made as to how these theories might be synthesized to provide an analysis of performance of mathematical skills with understanding. Two examples of such performance are described, in the form of theories that are realized as computer programs, and there is discussion of ways in which these theories succeed and fail in representing procedural knowledge with understanding.