29 research outputs found
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