Détermination automatique de relations linéaires vérifiées par les variables d'un programme
Définitions et résultats fondamentaux sur les polyèdres convexes. Opérations sur les polyèdres convexes. contextes abstraits. Système d'équations en avant associe à un programme. Analyse approchée en avant des programmes. Analyse approchée en arrière des programmes. Primitives évoluées. Applica...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1979
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00288805 http://tel.archives-ouvertes.fr/docs/00/28/88/05/PDF/Halbwachs.Nicolas_1979_these.pdf |