The Case Study of Theorema in Education Learning and Application

Tadashi TAKAHASHI, Takeshi SAKAI, Fumiya IWAMA, Tomohiro WASHINO


In mathematics education, understanding the concepts of given domains in terms of conceptual and procedural knowledge is essential. We have developed a framework for case study of children studying mathematical logic and related concepts using the automated theorem proving software Theorema. Theorema allows the user to organize mathematical knowledge as hierarchies of interdependent theories. Here, we present a framework for exploring the different inference processes of children studying mathematical logic using the Theorema software’s automated proof generator.


Mathematics education, ATP, Theorema


Full Text: