MathCheck: A Tool for Checking
Math Solutions in Detail
Antti Valmari
& Terhi Kaarakka
Tampere University of Technology
Department of Mathematics
- Motivation
- Four Ways of Using MathCheck
- A Limitation
- How Does It Work Inside?
- Current Capabilities
- Experiences and Conclusions