# Ecriture automatique de démonstrations en géométrie

> Fiche œuvre du catalogue https://superlivre.fr/livre/ecriture-automatique-de-demonstrations-en-geometrie-cb350855380 (données du dépôt légal BnF).

- **Auteur** : [Institut de recherche sur l'enseignement des mathématiques. Rouen](https://superlivre.fr/auteur/institut-de-recherche-sur-lenseignement-des-mathematiques-rouen-cb11879251r)
- **Première parution** : 1990
- **Langue** : français
- **Genres** : [Didacticiels](https://superlivre.fr/genre/didacticiels-cb11966572s), [Géométrie](https://superlivre.fr/genre/geometrie-cb119315301), [Étude et enseignement (secondaire)](https://superlivre.fr/genre/etude-et-enseignement-secondaire-cb119757113)
- **Éditions recensées** : 1 (1990–1990)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1990 | [IREM de Rouen](https://superlivre.fr/editeur/irem-de-rouen) | Mont-Saint-Aignan | 22 | 2-86239-026-7 |