Frédéric Prost

Home * People * Frédéric Prost

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 , and the game-theoretic value of chess variants .

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 . Abstract :

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

Up one level