Mathematics/Games and economics

Subject Classification

AMS: Game theory, economics, finance, and other social and behavioral sciences

2026

Nash Equilibria for Finite Games in Isabelle/HOL

by Arthur Freitas Ramos, David Barros Hulak and Ruy Jose Guerra Barretto de Queiroz

May 07

The Impossibility of Strategyproof Rank Aggregation

by Manuel Eberl and Patrick Lederer

Jan 22

Arbitrage Opportunities Correspond to Probability Inequality Identities

by Matthew Doty

Jan 12

2025

The Weak Spectroscopy Game to Characterize Behavioral Equivalences

by Lisa A. Barthel, Leonard M. Hübner, Caroline Lemke, Karl P. P. Mattes, Lenard Mollenkopf and Benjamin Bisping

Nov 17

Galois Energy Games

by Caroline Lemke

May 23

2024

Alpha-Beta Pruning

by Tobias Nipkow

Jun 13

Actuarial Mathematics

by Yosuke Ito

Apr 07

2023

Coupled Similarity and Contrasimilarity, and How to Compute Them

by Benjamin Bisping and Luisa Montanari

Aug 18

2022

The Incompatibility of Strategy-Proofness and Representation in Party-Approval Multi-Winner Elections

by Théo Delemazure, Tom Demeulemeester, Manuel Eberl, Jonas Israel and Patrick Lederer

Nov 10

Risk-Free Lending

by Matthew Doty

Sep 18

2021

Gale-Shapley Algorithm

by Tobias Nipkow

Dec 29

Gale-Stewart Games

by Sebastiaan J. C. Joosten

Apr 23

2018

Pricing in discrete financial models

by Mnacho Echenim

Jul 16

Von-Neumann-Morgenstern Utility Theorem

by Julian Parsert and Cezary Kaliszyk

Jul 04

The Incompatibility of Fishburn-Strategyproofness and Pareto-Efficiency

by Felix Brandt, Manuel Eberl, Christian Saile and Christian Stricker

Mar 22

2017

Microeconomics and the First Welfare Theorem

by Julian Parsert and Cezary Kaliszyk

Sep 01

2016

Stable Matching

by Peter Gammie

Oct 24

Randomised Social Choice Theory

by Manuel Eberl

May 05

The Incompatibility of SD-Efficiency and SD-Strategy-Proofness

by Manuel Eberl

May 04

2015

Positional Determinacy of Parity Games

by Christoph Dittmann

Nov 02

VCG - Combinatorial Vickrey-Clarke-Groves Auctions

by Marco B. Caminati, Manfred Kerber, Christoph Lange and Colin Rowat

Apr 30

2008

Some classical results in Social Choice Theory

by Peter Gammie

Nov 09

Arrow and Gibbard-Satterthwaite

by Tobias Nipkow

Sep 01