Une preuve de l'existence d'un relèvement
Jean Pellaumail (1970-1971)
Publications mathématiques et informatique de Rennes
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Cabri-Euclide : un micromonde de preuve intégrant la réfutation Principes didactiques et informatiques Réalisation”
Une preuve de l'existence d'un relèvement
Bibliographie
Breton (1867)
Nouvelles annales de mathématiques : journal des candidats aux écoles polytechnique et normale
Similarity:
Un nouveau type de preuve mathématiques : II - Le théorème des quatre couleurs
K. I. Appel (1979)
Publications du Département de mathématiques (Lyon)
Similarity:
Aide logicielle à la résolution de problème avec preuve
Saddo Ag Almouloud (1990-1991)
Publications mathématiques et informatique de Rennes
Similarity:
Sur l'invention de la preuve par neuf
Paul Tannery (1882)
Bulletin des Sciences Mathématiques et Astronomiques
Similarity:
Comptes rendus et analyses
(1882)
Bulletin des Sciences Mathématiques et Astronomiques
Similarity:
Sur l'authenticité des axiomes d'Euclide
Paul Tannery (1884)
Bulletin des Sciences Mathématiques et Astronomiques
Similarity:
Comptes rendus et analyses
(1880)
Bulletin des Sciences Mathématiques et Astronomiques
Similarity:
Deuxième supplément aux Recherches nouvelles sur les Porismes d'Euclide. Examen et réfutation de l'interprétation donnée par M. Vincent des textes de Pappus et de Proclus relatifs aux Porismes.
Breton (de Champ) (1858)
Journal de Mathématiques Pures et Appliquées
Similarity: