@inproceedings{el-ghali-roussarie-2003-structuration,
    title = "Structuration automatique de preuves math{\'e}matiques : de la logique {\`a} la rh{\'e}torique",
    author = "El Ghali, Adil  and
      Roussarie, Laurent",
    editor = "Daille, B{\'e}atrice  and
      Morin, Emmanuel",
    booktitle = "Actes de la 10{\`e}me conf{\'e}rence sur le Traitement Automatique des Langues Naturelles. Posters",
    month = jun,
    year = "2003",
    address = "Batz-sur-Mer, France",
    publisher = "ATALA",
    url = "https://preview.aclanthology.org/fix-sig-urls/2003.jeptalnrecital-poster.7/",
    pages = "333--338",
    language = "fra",
    abstract = "Nous pr{\'e}sentons dans ses grandes lignes un mod{\`e}le de structuration de documents pour la g{\'e}n{\'e}ration automatique de preuves math{\'e}matiques. Le mod{\`e}le prend en entr{\'e}e des sorties d{'}un prouveur automatique et vise {\`a} produire des textes dont le style s{'}approche le plus possible des d{\'e}monstrations r{\'e}dig{\'e}es par des humains. Cela implique la mise au point d{'}une strat{\'e}gie de planification de document capable de s'{\'e}carter de la structure purement logique de la preuve. La solution que nous proposons consiste {\`a} int{\'e}grer de mani{\`e}re simple des informations de type intentionnel afin d{'}enrichir la structure rh{\'e}torique finale du texte."
}