Dominique Michelucci, Sebti Foufou. Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method. In Francisco Botana, Tomás Recio, editors, Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers. Volume 4869 of Lecture Notes in Computer Science, pages 98-112, Springer, 2006. [doi]
@inproceedings{MichelucciF06,
title = {Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method},
author = {Dominique Michelucci and Sebti Foufou},
year = {2006},
doi = {10.1007/978-3-540-77356-6_7},
url = {http://dx.doi.org/10.1007/978-3-540-77356-6_7},
tags = {constraints},
researchr = {https://researchr.org/publication/MichelucciF06},
cites = {0},
citedby = {0},
pages = {98-112},
booktitle = {Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
editor = {Francisco Botana and Tomás Recio},
volume = {4869},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-77355-9},
}