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.
|Title of host publication||Proceedings of the Third Danish Human-Computer Interaction Research Symposium|
|Publication status||Published - 2003|
|Event||3rd Danish Human-Computer Interaction Research Symposium - Roskilde, Denmark|
Duration: 27 Nov 2003 → …
|Conference||3rd Danish Human-Computer Interaction Research Symposium|
|Period||27/11/2003 → …|