Automatic proofs in combinatorial game theory

Unpublished conference/Abstract (Scientific congresses and symposiums)

Renard, Antoine

2025 • PhD Seminar Days 2025

Permalink
https://hdl.handle.net/2268/347034

25-05-21_phd_seminar_days_25.pdf

Author postprint (2.61 MB)

All documents in ORBi are protected by a user license.

Keywords :

Wythoff game; combinatorial game; Walnut; automatic proof; numeration system; game theory; automata

Disciplines :

Mathematics

Author, co-author :

Renard, Antoine ; Université de Liège - ULiège > Mathematics

Language :

English

Title :

Automatic proofs in combinatorial game theory

Publication date :

21 May 2025

Event name :

PhD Seminar Days 2025

Event place :

Belval, Luxembourg

Event date :

19-21 mai 2025

Available on ORBi :

since 07 July 2026

Number of views

14 (1 by ULiège)

Number of downloads

16 (0 by ULiège)