@inproceedings{sturm:hal-01889817, TITLE = {{Thirty Years of Virtual Substitution}}, AUTHOR = {Sturm, Thomas}, URL = {https://inria.hal.science/hal-01889817}, BOOKTITLE = {{ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation}}, ADDRESS = {New York, United States}, VOLUME = {18}, YEAR = {2018}, MONTH = Jul, DOI = {10.1145/3208976.3209030}, KEYWORDS = {Real quantifier elimination ; Virtual substitution}, PDF = {https://inria.hal.science/hal-01889817/file/p11-sturm.pdf}, HAL_ID = {hal-01889817}, HAL_VERSION = {v1}, }