User Interfaces for Automated Reasoning Systems

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

Abstract

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
Pages95-98
Publication statusPublished - 2003
Externally publishedYes
Event3rd Danish Human-Computer Interaction Research Symposium - Roskilde, Denmark
Duration: 27 Nov 2003 → …

Conference

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

Cite this

Villadsen, J. (2003). User Interfaces for Automated Reasoning Systems. In Proceedings of the Third Danish Human-Computer Interaction Research Symposium (pp. 95-98) http://akira.ruc.dk/~mhz/Research/Publ/DHRS2003_Proceedings.pdf