Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Verifying randomised social choice - MaRDI portal

Verifying randomised social choice

From MaRDI portal

Publication:2180231

Jump to:navigation, search

DOI10.1007/978-3-030-29007-8_14zbMath1435.68375OpenAlexW2969364559MaRDI QIDQ2180231

Manuel Eberl

Publication date: 13 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-29007-8_14

Mathematics Subject Classification ID

Social choice (91B14) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (1)

Voting theory in the Lean theorem prover

Uses Software

This page was built for publication: Verifying randomised social choice

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2180231&oldid=14699818"