A probabilistic algorithm to compute the real dimension of a semi-algebraic set

Several typos fixed in Sections 4 and 5. There is an error in Section 5 and thus the complexity result stated does not hold

Data and Resources

Additional Info

Field Value
Source https://inria.hal.science/hal-00808708
Author Safey El Din, Mohab, Tsigaridas, Elias
Maintainer CCSD
Last Updated May 9, 2026, 17:42 (UTC)
Created May 9, 2026, 17:42 (UTC)
Identifier hal-00808708
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Polynomial Systems (PolSys) ; Laboratoire d'Informatique de Paris 6 (LIP6) ; Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Inria Paris-Rocquencourt ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
creator Safey El Din, Mohab
date 2013-05-09T00:00:00
harvest_object_id 293b41c4-cffd-49bc-9baf-8de62a973464
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-02-26T00:00:00
relation info:eu-repo/semantics/altIdentifier/arxiv/1304.1928
set_spec type:UNDEFINED