User Interfaces for Automated Reasoning Systems

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


The ease of use of automated reasoning systems is perhaps lower than for any other type of computing system available! In general, while anyone can use a word processor, almost no one but an expert can use a proof checker to check a difficult theorem. Perhaps this can be explained by the fact that the designers of such systems have had to put so much of their energies and attention into rigor, that they simply did not have enough energy left for good interface design.
Original languageEnglish
Title of host publicationProceedings of the Third Danish Human-Computer Interaction Research Symposium
Publication date2003
Publication statusPublished - 2003
Externally publishedYes
Event3rd Danish Human-Computer Interaction Research Symposium - Roskilde, Denmark
Duration: 27 Nov 2003 → …


Conference3rd Danish Human-Computer Interaction Research Symposium
Period27/11/2003 → …


Dive into the research topics of 'User Interfaces for Automated Reasoning Systems'. Together they form a unique fingerprint.

Cite this