C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A topological proof of Eliaz's unified theorem of social choice theory.
Yasuhito Tanaka
Published in:
Appl. Math. Comput. (2006)
Keyphrases
</>
social choice theory
interactive theorem proving
digital topology
unified model
theorem proving
decision making
theorem prover
topology preservation
data sets
artificial intelligence
connected components
topological properties
topological features
natural deduction
mathematical proofs