Two simplified proofs for Roberts' theorem.

Ron Lavi Ahuva Mu'alem Noam Nisan

Published in: Soc. Choice Welf. (2009)

Keyphrases

interactive theorem proving
edge detector
theorem prover
database
feature selection
learning environment
relational databases
classical logic
von neumann
formal proof
formal proofs
mathematical proofs