Cylindrical Algebraic Sub-Decompositions

Cylindrical algebraic decompositions (CADs) are a key tool in real algebraic geometry, used primarily for eliminating quantifiers over the reals and studying semi-algebraic sets. In this paper we introduce cylindrical algebraic sub-decompositions (sub-CADs), which are subsets of CADs containing all...

Celý popis

Podrobná bibliografie

Vydáno v:	Mathematics in computer science Ročník 8; číslo 2; s. 263 - 288
Hlavní autoři:	Wilson, D. J., Bradford, R. J., Davenport, J. H., England, M.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Basel Springer Basel 01.06.2014
Témata:	Computer Science Mathematics Mathematics and Statistics Cylindrical algebraic decomposition Real algebraic geometry 68W30 (Symbolic Computation and Algebraic Computation) Symbolic computation Computer algebra Equational constraints
ISSN:	1661-8270, 1661-8289
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!