, Section of the Coq refence manual
Sidi Ould Biha, and Ioana Pas , ca. Canonical Big Operators, TPHOLs, vol.5170, 2008. ,
La quatrième tour de Hanoï, Bull. Belg. Math. Soc. Simon Stevin, vol.21, issue.5, pp.895-912, 2014. ,
A note on the Frame-Stewart conjecture, Discrete Math., Alg. and Appl, vol.11, issue.4, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02343152
What is the least number of moves needed to solve the k-peg Towers of Hanoi problem?, Discrete Math., Alg. and Appl, vol.11, issue.1, 2019. ,
Without loss of generality, TPHOLs, vol.5674, pp.43-59, 2009. ,
Uro? Milutinovi?, and Ciril Petr. The Tower of Hanoi -Myths and Maths, 2013. ,
Mathematical Components ,