Examines various aspects of mathematics, including an extensive overview of computational mathematics. The book includes definitions of predictable phenomena, theory of models and of groups, programming models, introduction to formal computer-aided proof, theory of the demonstration, working group on core courses, and more.