An analysis of errors in interactive proof attempts

The practical utility of interactive, user-guided, theorem proving depends on the design of good interaction environments, the study of which should be grounded in methods of research into human

• Type: Journal
• Year: 2000
• Where: IWC
• Authors: J. Stuart Aitken, Thomas F. Melham
• Keywords: Human­computer Interaction, Interactive Theorem, IWC 2000, Practical Utility