@inproceedings{46da771580964b608f8980d1e5f9370c,
title = "Curtains in CAD: Why Are They a Problem and How Do We Fix Them?",
abstract = "This paper is part of our ongoing research on the adaptation of Lazard{\textquoteright}s CAD to benefit from equational constraints in formulae. In earlier work we combined the CAD methods of McCallum and Lazard so as to produce an efficient algorithm for decomposing a hypersurface rather than the whole of (exploiting an equational constraint). That method, however, fails if f is nullified (in McCallum{\textquoteright}s terminology): we call the set where this happens a curtain. Here we provide a further modification which, at the cost of a trade off in terms of complexity, is valid for any hypersurface, including one containing curtains.",
author = "Akshar Nair and James Davenport and Gregory Sankaran",
year = "2020",
month = jul,
day = "8",
doi = "10.1007/978-3-030-52200-1_2",
language = "English",
isbn = "9783030521998",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Singapore",
pages = "17--26",
editor = "Bigatti, {Anna Maria} and Jacques Carette and Davenport, {James H.} and Michael Joswig and {de Wolff}, Timo",
booktitle = "Mathematical Software – ICMS 2020 - 7th International Conference, Proceedings",
address = "Singapore",
note = "7th International Congress on Mathematical Software, ICMS 2020 ; Conference date: 13-07-2020 Through 16-07-2020",
}