Simple CAD construction and its applications (Q5938543): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2097474455 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4232513 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4079605 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Partial cylindrical algebraic decomposition for quantifier elimination / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simplification of quantifier-free formulae over ordered fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4198056 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4234240 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4391223 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4234321 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantifier elimination for real algebra -- the quadratic case and beyond / rank | |||
Normal rank |
Latest revision as of 18:34, 3 June 2024
scientific article; zbMATH DE number 1622577
Language | Label | Description | Also known as |
---|---|---|---|
English | Simple CAD construction and its applications |
scientific article; zbMATH DE number 1622577 |
Statements
Simple CAD construction and its applications (English)
0 references
22 July 2001
0 references
The method of quantifier elimination by cylindrical algebraic decomposition (CAD) takes a formula from the theory of real closed fields as input, and constructs a CAD of the space of unquantified variables. CAD \(B\) is ``simpler'' than CAD \(A\), if each cell in \(B\) is the union of some cells of \(A\). The author presents two algorithms for simplifying the so called truth-invariant CAD algorithm introduced by \textit{G. E. Collins} and \textit{H. Hong} [ibid. 12, No. 3, 299-328 (1991; Zbl 0754.68063)]. Examples are presented which show the performance of this new very fast method.
0 references
quantifier elimination
0 references
cylindrical algebraic decomposition
0 references
algorithms
0 references
performance
0 references