Session Randomised_Social_Choice

View theory dependencies
View document
View outline

Theories

List-Index.List_Index
Order_Predicates
Preference_Profiles
Elections
Lotteries
Utility_Functions
Stochastic_Dominance
SD_Efficiency
Social_Decision_Schemes
SDS_Lowering
Random_Dictatorship
Random_Serial_Dictatorship
Randomised_Social_Choice
Preference_Profile_Cmd
- File ‹preference_profiles.ML›
QSOpt_Exact
SDS_Automation
- File ‹randomised_social_choice.ML›
- File ‹sds_automation.ML›