Aide à la recherche   Requête : "variable libre"

1	1990 La démonstration mathématique dans l'histoire.
2	1990 La démonstration mathématique dans l'histoire. Démonstration automatique en géométrie : une approche par l'algèbre. p. 251-259.