An analysis of errors in interactive proof attempts

13 years 4 months ago

Download www.sci.brooklyn.cuny.edu

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

J. Stuart Aitken, Thomas F. Melham

Real-time Traffic

Humancomputer Interaction | Interactive Theorem | IWC 2000 | Practical Utility |

claim paper

Related Content

» Stochastic Differential Equations

» A parallel repetition theorem

» Efficiently tracking application interactions using lightweight virtualization

» Model Checking Programs

» The moderating role of human capital management practices on employee capabilities

» Packet combining in sensor networks

Post Info
More Details (n/a)

Added	18 Dec 2010
Updated	18 Dec 2010
Type	Journal
Year	2000
Where	IWC
Authors	J. Stuart Aitken, Thomas F. Melham

Comments (0)

Sciweavers

An analysis of errors in interactive proof attempts

Humancomputer Interaction | Interactive Theorem | IWC 2000 | Practical Utility |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers

Sciweavers

An analysis of errors in interactive proof attempts

Human­computer Interaction | Interactive Theorem | IWC 2000 | Practical Utility |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers

Humancomputer Interaction | Interactive Theorem | IWC 2000 | Practical Utility |