Automatic proofs in combinatorial game theory

DOI10.1007/S00182-025-00953-3MaRDI QIDQ6917685zbMATH OpenFDO

Authors Bastien Mignoty, Antoine Renard, Michel Rigo, Markus A. Whiteland

Publication date 13 October 2025

Published in International Journal of Game Theory (Search for Journal in Brave)

zbMATH Keywords

first-order logicautomatic theorem provingcombinatorial game theoryWythoff's gamenumeration systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) 2-person games (91A05) Other number representations (11A67) Combinatorial games (91A46) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Automatic proofs in combinatorial game theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6917685)