Keyphrases
- upper bound
- upper and lower bounds
- lower bound
- lower and upper bounds
- spatial reasoning
- linear logic
- average case
- worst case
- error bounds
- mathematical proofs
- databases
- theorem proving
- theorem prover
- temporal reasoning
- multi class
- case study
- contingency tables
- website
- automated theorem proving
- complete axiomatization
- worst case bounds
- relation algebra
- clifford algebra
- artificial intelligence