A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.
Christoph LangeMarco B. CaminatiManfred KerberTill MossakowskiColin RowatMakarius WenzelWolfgang WindsteigerPublished in: MKM/Calculemus/DML (2013)
Keyphrases
- theorem prover
- computer algebra
- theorem proving
- first order logic
- automated reasoning
- boolean algebra
- automated theorem proving
- inference rules
- higher order logic
- automated deduction
- qualitative and quantitative
- term rewriting
- decision theory
- lower layers
- machine learning
- causal reasoning
- probability theory
- distributed systems