Towards an Intelligent Tutor for Mathematical Proofs

Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook-style mathematical proofs. We characterize the particularities of the domain and discuss common ITS design models. Our approach is motivated by phenomena found in a corpus of tutorial dialogs that were collected in a Wizard-of-Oz experiment. We show how an intelligent tutor for textbook-style mathematical proofs can be built on top of an adapted assertion-level proof assistant by reusing representations and proof search strategies originally developed for automated and interactive theorem proving. The resulting prototype was successfully evaluated on a corpus of tutorial dialogs and yields good results.Comment: In Proceedings THedu'11, arXiv:1202.453

Cobalt Occurrence in Soils and Forages in Relation to a Nutritional Disorder in Ruminants: A Review of the Literature

Excerpt from the report Introduction: The importance of cobalt as a limiting factor in the nutrition of sheep and cattle in the United States has resulted in several investigations of its occurrence in the vegetation and soils in trouble areas. Much of the pertinent literature is found in foreign journals and is not readily available to those engaged in field work. Furthermore, the volume of the cobalt literature suggests the need for a summary and evaluation of those reports dealing with the cobalt content of vegetation and its relationship to soil. In this review the purpose has been to present a critical and comprehensive survey of the literature rather than a series of abstracts of individual papers

The mineral composition of crops with particular reference to the soils in which they were grown : a review and compilation /

no.36