Report - @let@token A Computer-Algebra-Based Formal Proof of the Irrationality of (3)perso.crans.org/cohen/map2014/raw/Chyzak.pdf · 2014-06-17 · 1 / 23 A Computer-Algebra-Based Formal Proof

Please pass captcha verification before submit form