A Cognitive Dimensions view of the differences between designers and users of theorem proving assistants.
Gada F. KadodaPublished in: PPIG (2000)
Keyphrases
- theorem proving
- end users
- term rewriting
- theorem prover
- automated reasoning
- first order logic
- inference rules
- automated deduction
- automatic programming
- individual differences
- parallel search
- decision procedures
- consequence finding
- combinatorial search
- proof planning
- automated theorem proving
- interface design
- intelligent agents
- logical inference
- geometry theorem proving
- user interface
- proof procedure
- distributed search
- predicate calculus