Prefectures of the Central African Republic - Document - PDFSEARCH.IO

First Page	Meta Content
	A Computer-Algebra-Based Formal Proof of the Irrationality of ζ (3) Frédéric Chyzak Joint work with A. Mahboubi, T. Sibut-Pinote, and E. Tassi May 27, 2014 Add to Reading List Document Date: 2014-06-17 06:14:56 Open Document File Size: 657,78 KB Share Result on Facebook

UPDATE

A Computer-Algebra-Based Formal Proof of the Irrationality of ζ (3) Frédéric Chyzak Joint work with A. Mahboubi, T. Sibut-Pinote, and E. Tassi May 27, 2014Add to Reading List