Galen+Huntington

an American mathematician and computer scientist. He received his Ph.D. in [|computational] [|model theory] at University of California, Berkeley in 2008, where he examined computer-aided methods for solving a class of [|open problems] in [|probability theory]. His recent research interests include chess endgame tablebases considering the fifty-move rule concerning the halfmove clock, dubbed ply count or PC. He has written a tablebase generator and probing code in Haskell to built **DTM50** tablebases for a large spectrum of configurations with as many as six men, and one seven men kqqqqqk for didactic purpose. His work was inspired by posts of //Kronsteen// in the CCRL discussion board. || toc =Selected Publications=
 * Home * People * Galen Huntington**
 * [[image:GalenHuntingtonAtNiagara.jpg width="195" height="209" link="http://galen.metapath.org/personal.html"]] ||~  || **Galen Huntington**,
 * Galen Huntington ||~  ||^   ||
 * Galen Huntington (**2008**). //Towards an efficient decision procedure for the existential theory of the reals//. Ph.D. thesis, University of California, Berkeley
 * Galen Huntington, Guy Haworth (**2015**). //Depth to Mate and the 50-Move Rule//. ICGA Journal, Vol. 38, No. 2

=External Links=
 * [|Galen Huntington's Homepage]
 * [|Endgame tablebases with the fifty-move rule] by Galen Huntington
 * [|galenhuntington (Galen Huntington) · GitHub]
 * [|Galen Huntington | Facebook]

=References= =What links here?= include page="Galen Huntington" component="backlinks" limit="40"
 * Up one level**