Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Bertholon, Guillaume"'
Ultimate Tic-Tac-Toe is a variant of the well known tic-tac-toe (noughts and crosses) board game. Two players compete to win three aligned "fields", each of them being a tic-tac-toe game. Each move determines which field the next player must play in.
Externí odkaz:
http://arxiv.org/abs/2006.02353
Publikováno v:
ITP 2019, Interactive Theorem Proving
ITP 2019, Interactive Theorem Proving, Sep 2019, PORTLAND, United States. ⟨10.4230/LIPIcs.ITP.2019.7⟩
ITP 2019, Interactive Theorem Proving, Sep 2019, PORTLAND, United States. ⟨10.4230/LIPIcs.ITP.2019.7⟩
International audience; Some mathematical proofs involve intensive computations, for instance: the four-color theorem, Hales' theorem on sphere packing (formerly known as the Kepler conjecture) or interval arithmetic. For numerical computations, floa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9f217570d9d4f6debc7e32893d669744
https://hal.archives-ouvertes.fr/hal-02449191/file/DTIS20008.1579256435.pdf
https://hal.archives-ouvertes.fr/hal-02449191/file/DTIS20008.1579256435.pdf