The geometry of manipulation - A quantitative proof of the Gibbard-Satterthwaite theorem.
Marcus IsakssonGuy KindlerElchanan MosselPublished in: Comb. (2012)
Keyphrases
- interactive theorem proving
- geometry theorem proving
- theorem proving
- three dimensional
- qualitative and quantitative
- euclidean geometry
- quantitative and qualitative
- proof theory
- geometric structure
- theorem prover
- natural deduction
- von neumann
- geometric information
- data sets
- single image
- logic programming
- medical images
- special case
- knowledge base