A constructive proof of the ordinal efficiency welfare theorem.

Published in: J. Econ. Theory (2008)

Keyphrases

interactive theorem proving
decision trees
highly efficient
genetic algorithm
image processing
case study
multiscale
relational databases
theorem proving