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 
Promotor(s) :
Mathonet, Pierre
;
Michel, Lucas
Date of defense : 26-Jun-2025/27-Jun-2025 • Permalink : http://hdl.handle.net/2268.2/22977
Memoire_AugustinDiZinno_s201830.pdfDetails
| Title : | Élimination des quantificateurs sur un champ réel clos : Principe de Tarski-Seidenberg et Décomposition cylindrique algébrique |
| Author : | Di Zinno, Augustin
|
| Date of defense : | 26-Jun-2025/27-Jun-2025 |
| Advisor(s) : | Mathonet, Pierre
Michel, Lucas
|
| Committee's member(s) : | Leroy, Julien
Schneiders, Jean-Pierre
Van Messem, Arnout
|
| Language : | French |
| Number of pages : | 111 |
| Keywords : | [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 |
| Degree: | Master en sciences mathématiques, à finalité approfondie |
| Faculty: | Master thesis of the Faculté des Sciences |
Abstract
[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.
File(s)
Document(s)
Cite this master thesis
All documents available on MatheO are protected by copyright and subject to the usual rules for fair use.
The University of Liège does not guarantee the scientific quality of these students' works or the accuracy of all the information they contain.
The University of Liège does not guarantee the scientific quality of these students' works or the accuracy of all the information they contain.
