Description: A set of programs and specialized tables of mathematical constants dedicated to the identification of real numbers. One of the main ongoing projects at the Centre for Experimental and Constructive Mathematics (CECM). Introduction, Pi pages, resources, credits, references and bibliography.