delibere.fr
Tours infernales
Transposer une preuve mathématique en programme informatique ? Tout sauf évident, nous raconte Yannick Cras dans sa chronique mathématique