Master Thesis Online
Élimination des quantificateurs sur un champ réel clos : Principe de Tarski-Seidenberg et Décomposition cylindrique algébrique
Di Zinno, Augustin 
Promoteur(s) :
Mathonet, Pierre
;
Michel, Lucas
Date de soutenance : 26-jui-2025/27-jui-2025 • URL permanente : http://hdl.handle.net/2268.2/22977
Memoire_AugustinDiZinno_s201830.pdfDétails
| Titre : | Élimination des quantificateurs sur un champ réel clos : Principe de Tarski-Seidenberg et Décomposition cylindrique algébrique |
| Auteur : | Di Zinno, Augustin
|
| Date de soutenance : | 26-jui-2025/27-jui-2025 |
| Promoteur(s) : | Mathonet, Pierre
Michel, Lucas
|
| Membre(s) du jury : | Leroy, Julien
Schneiders, Jean-Pierre
Van Messem, Arnout
|
| Langue : | Français |
| Nombre de pages : | 111 |
| Mots-clés : | [fr] Elimination des quantificateurs [fr] Champ réel clos [fr] Décomposition cylindrique algébrique [en] Cylindrical algebraic decomposition [en] Real closed field |
| Discipline(s) : | Physical, chemical, mathematical & earth Sciences > Mathematics |
| Institution(s) : | Université de Liège, Liège, Belgique |
| Diplôme : | Master en sciences mathématiques, à finalité approfondie |
| Faculté : | Mémoires de la Faculté des Sciences |
Résumé
[fr] On s'intéresse à l'élimination des quantificateurs pour des formules formées à partir de polynômes à coefficients dans un champ réel clos. On présente le principe de Tarski-Seidenberg et la décomposition cylindrique algébrique.
Fichier(s)
Document(s)
Citer ce mémoire
Tous les documents disponibles sur MatheO sont protégés par le droit d'auteur et soumis aux règles habituelles de bon usage.
L'Université de Liège ne garantit pas la qualité scientifique de ces travaux d'étudiants ni l'exactitude de l'ensemble des informations qu'ils contiennent.
L'Université de Liège ne garantit pas la qualité scientifique de ces travaux d'étudiants ni l'exactitude de l'ensemble des informations qu'ils contiennent.
