DeduceIt: A Tool for Representing and Evaluating Student Derivations
Abstract/Contents
- Abstract
- Almost all automated online grading systems today are currently limited to multiple-choice problems or fill-in-the-blank answers. DeduceIt is a system directed at university-level math and engineering education that aims to allow students to enter substantial formal derivations which are then automatically checked. Current theorem-proving technologies are generally intended to support one expert in writing a potentially long and complex derivation; online education, however, requires a system that can be used without expertise in a field, and that can be effectively used by tens of thousands of students attempting to do the same exercise in many different ways. While DeduceIt borrows heavily from existing theorem-providing techniques, the special constraints of online education lead to unique challenges and a substantially different overall design.
Description
| Type of resource | text |
|---|---|
| Date created | 2012 |
Creators/Contributors
| Author | Lee, Colleen | |
|---|---|---|
| Advisor | Stanford University, Program in Engineering Physics, 2012 | |
| Advisor | Koller, Daphne | |
| Primary advisor | Aiken, Alex |
Subjects
| Subject | DeduceIt |
|---|---|
| Subject | theorem-proving technologies |
| Genre | Thesis |
Bibliographic information
| Related item | |
|---|---|
| Location | https://purl.stanford.edu/bg823wn2892 |
Access conditions
- Use and reproduction
- User agrees that, where applicable, content will not be used to identify or to otherwise infringe the privacy or confidentiality rights of individuals. Content distributed via the Stanford Digital Repository may be subject to additional license and use restrictions applied by the depositor.
- License
- This work is licensed under a Creative Commons Attribution Non Commercial 3.0 Unported license (CC BY-NC).
Preferred citation
- Preferred Citation
- Lee, Colleen (2012). DeduceIt: a tool for representing and evaluating student derivations. Stanford Digital Repository. Available at http://purl.stanford.edu/bg823wn2892.
Collection
Undergraduate Theses, Program in Engineering Physics
View other items in this collection in SearchWorksContact information
- Contact
- skota@stanford.edu
Also listed in
Loading usage metrics...