@inproceedings{lairez:hal-03232068, TITLE = {{Computing the dimension of real algebraic sets}}, AUTHOR = {Lairez, Pierre and Safey El Din, Mohab}, URL = {https://inria.hal.science/hal-03232068}, BOOKTITLE = {{ISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation}}, ADDRESS = {Saint-P{\'e}tersbourg, Russia}, PAGES = {257-264}, YEAR = {2021}, MONTH = Jul, DOI = {10.1145/3452143.3465551}, KEYWORDS = {Computing methodologies ; Algebraic algorithms}, PDF = {https://inria.hal.science/hal-03232068v2/file/real-algebraic-dimension.pdf}, HAL_ID = {hal-03232068}, HAL_VERSION = {v2}, }