@phdthesis{mahboubi:tel-00117409, TITLE = {{Contributions {\`a} la certification des calculs dans R : th{\'e}orie, preuves, programmation}}, AUTHOR = {Mahboubi, Assia}, URL = {https://theses.hal.science/tel-00117409}, SCHOOL = {{Universit{\'e} Nice Sophia Antipolis}}, YEAR = {2006}, MONTH = Nov, KEYWORDS = {cylindrical algebraic decomposition ; subresultants ; open induction ; formalization ; proof assistants ; decision procedures ; computer algebra ; formalisation ; Coq ; assistants {\`a} la preuve ; proc{\'e}dures de d{\'e}cision ; calcul formel ; d{\'e}composition alg{\'e}brique cylindrique ; sous-r{\'e}sultants ; induction ouverte}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-00117409/file/these_assia_mahboubi.pdf}, HAL_ID = {tel-00117409}, HAL_VERSION = {v1}, }