Previous:
List of Figures
Up:
Viewing and Touching the
Next:
Bibliography
Contents
1 Introduction
1.1 Proving is to convince a computer
1.2 Reusing our former knowledge ****
1.3 Notations
2 Apexes and pencils
3 Orthogonality
4 Some constructions
5 The south plane
6 Inversion
7 Apollonius problem
A. Old pieces
A..1 Digression (was in introduction)
List of Figures
Bibliography
douillet@ensait.fr
2009-03-13