2014/03/13 by Siddharth G. Chatterjee, Siddharth Chatterjee, Chatterjee, Siddharth +2
Computer Science · Decision Sciences · Economics, Econometrics and Finance · #2000 #Auction Theory and Applications #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Game Theory and Voting Systems #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #cs.GT #cs.LO #msc:2000
paper · pdf · doi:10.48550/arxiv.1403.3391
arxiv created 2014/03/13 · openalex publication_date 2014/03/13 · arxiv updated 2014/03/17 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Our objective in this note is to comment briefly on the newly emerging literature on computer-aided proofs in Social Choice Theory. We shall specifically comment on two papers, one by Tang and Lin (2009) and another by Geist and Endriss (2011). We also provide statements and brief descriptions of the results discussed in this note.