Catherine Dubois, Alain Giorgetti, Richard Genestier. Tests and proofs for enumerative combinatorics. TAP 2016: International Conference on Tests and Proofs, Jul 2016, Vienna, Austria. Springer, Proceedings TAP 2016: International Conference on Tests and
HAL Archives-Ouvertes,
Catherine Dubois, Alain Giorgetti, Richard Genestier. Tests and proofs for enumerative combinatorics.