Frédéric Prost
Revision as of 10:08, 5 October 2019 by GerdIsenberg (talk | contribs) (Created page with "'''Home * People * Frédéric Prost''' FILE:fredericprost.jpg|border|right|thumb|link=http://membres-lig.imag.fr/prost/| Frédéric Prost <ref>[http://me...")
Home * People * Frédéric Prost
Frédéric Prost,
a French mathematician, chess player, computer scientist and associate professor at Laboratoire d’Informatique de Grenoble and Joseph Fourier University Grenoble.
His research interests include quantum programming, IT security, non-interference analyses, anonymity, and in artificial intelligence, his chess variant proposal Twilight Chess and engines playing it [2], and the game-theoretic value of chess variants [3].
Contents
Gardner's Minichess Solved
Along with Mehdi Mhalla, Frédéric Prost weakly solved Gardner's 5x5 Minichess as published in 2013. They modified Stockfish in order to make it play Gardner Chess [4]. Abstract [5] [6]:
A 5×5 board is the smallest board on which one can set up all types of chess pieces as a start position. We consider Gardner’s minichess variant in which all pieces are set as in a standard chessboard (from Rook to King). This game has roughly 9×10^18 legal positions and is comparable in this respect with checkers. We weakly solve this game: we prove its game-theoretic value and give a strategy to draw against best play for White and Black sides. Our approach requires surprisingly little computing power. We give a human readable proof. The way the result is obtained is generic and could be generalized to bigger chess settings or to other games.
Selected Publications
2000 ...
- Frédéric Prost (2000). A Static Calculus of Dependencies for the lambda-Cube. LICS 2000
- Dominique Duval, Rachid Echahed, Frédéric Prost (2005). Data-Structure Rewriting. arXiv:cs/0503065
- Dominique Duval, Rachid Echahed, Frédéric Prost (2007). Adjunction for Garbage Collection with Application to Graph Rewriting. RTA 2007
- Dominique Duval, Rachid Echahed, Frédéric Prost (2007). Modeling Pointer Redirection as Cyclic Term-graph Rewriting. Electronic Notes in Theoretical Computer Science, Vol. 176, No. 1
- Dominique Duval, Rachid Echahed, Frédéric Prost (2009). Graph rewriting with polarized cloning. arXiv:0911.3786
- Frédéric Prost (2009). Twilight Chess. A Chess Variant Designed to Rehabilitate Human vs. Computer Challenge. ICGA Journal, Vol. 32, No. 2
2010 ...
- Dominique Duval, Rachid Echahed, Frédéric Prost (2011). Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation . arXiv:1101.3417
- Frédéric Prost (2012). On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess. arXiv:1203.3434 » Turing-100, Turing Year 2012
- Mehdi Mhalla, Frédéric Prost (2013). Gardner’s Minichess Variant is Solved. ICGA Journal, Vol. 36, No. 4, arXiv:1307.7118
- Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro (2017). The Pullback-Pushout Approach to Algebraic Graph Transformation. ICGT 2017
External Links
- Frederic Prost homepage - Page personnelle de Frederic Prost
- Frederic Prost | LinkedIn
- The Mathematics Genealogy Project - Frédéric Prost
- Prost, Frederic FIDE Chess Profile
- Frederic Prost chess games - 365Chess.com
References
- ↑ Frederic Prost homepage - Page personnelle de Frederic Prost
- ↑ Twilight Chess
- ↑ Mini Chess Resolution
- ↑ Gardner Chess Engine based on Stockfish
- ↑ Mehdi Mhalla, Frédéric Prost (2013). Gardner’s Minichess Variant is Solved. ICGA Journal, Vol. 36, No. 4
- ↑ Gardner's minichess solved by BB+, OpenChess Forum, August 29, 2013
- ↑ Frédéric Prost - Bibliographie personnelle
- ↑ dblp: Frédéric Prost