CONSISTANCES LOCALES ET TRANSFORMATIONS SYMBOLIQUES DE CONTRAINTES D'INTERVALLES

CETTE THESE EST CONSACREE AU CALCUL DE SOLUTIONS NUMERIQUES (RESOLUTION) DE SYSTEMES DE FORMULES ARITHMETIQUES NON-LINEAIRES SUR LES REELS (CONTRAINTES), AU MOYEN DE CONTRAINTES D'INTERVALLES. CE TERME GENERIQUE DESIGNE UN ENSEMBLE DE METHODES DE RESOLUTION COUPLANT DES TECHNIQUES ISSUES DE L&#...

Volledige beschrijving

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Granvilliers, Laurent
Andere auteurs: Ferrand, Gérard, 19..-...., professeur d'informatique (Thesis begeleider)
Formaat: Thèse et Mémoire papier
Taal:Français
Gepubliceerd in: [S.l.] : [s.n.] 1998.
Onderwerpen:
Opmerking: 1998ORLE2044
Autres localisations: Voir dans le Sudoc

Gelijkaardige items