Work

Mechanizing Proof Step Evaluation for Mathematics Tutoring - The Case of Granularity

Year: 2007

Type: dissertation

Author: Marvin Schiller

Institution: Saarland University

Language: English

Topic: Intelligent Tutoring Systems and Adaptive Learning

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W193349290

Cites: 34

Cited by: 6

Related to: 10