Hagenberg / Davenport / Sydney / Aachen / Carter / /
Company
Pearson / SourceForge.net / /
Country
Austria / Australia / / /
Facility
Bentley University / University of Scranton / /
IndustryTerm
word processor / natural language processing make / software infrastructure / validation algorithms / free word processor / software learning curve / software development / proof assistance systems / printing / http /
Movie
Work in Progress / /
OperatingSystem
Mac OS X / Linux / Microsoft Windows / GNU / /
Organization
University of Scranton / American Association for Higher Education Bulletin / National Science Foundation / Bentley University / OpenMath Society / National Science Foundation’s Division of Undergraduate Education / /
Person
Van den Bergh / Lurch / using Lurch / / /
Position
first author taught / free word processor / second author / GNU General Public License / author / Word Processor / /
ProgrammingLanguage
JavaScript / C++ / /
ProvinceOrState
North Carolina / /
Technology
Linux / validation algorithms / grading algorithm / html / pdf / natural language processing / free word processor / word processor / /
Lurch: A Word Processor that Can Grade Students’ Proofs Nathan C. Carter1 and Kenneth G. Monks2 1 2