Lurch: a word processor built on OpenMath that can check mathematical reasoning.
Nathan C. CarterKenneth G. MonksPublished in: CICM Workshops (2013)
Keyphrases
- human reasoning
- mathematical proofs
- model based reasoning
- spatial reasoning
- knowledge base
- mathematical expressions
- reasoning systems
- reasoning process
- word sense disambiguation
- artificial intelligence
- model based diagnosis
- scientific discovery
- parallel processing
- co occurrence
- computer algebra systems
- automated reasoning
- error detection
- high end
- knowledge representation