Cylindrical Algebraic Decomposition I: The Basic Algorithm

Collins, G. E., & McCallum, S. (1982). Cylindrical Algebraic Decomposition I: The Basic Algorithm: The Basic Algorithm.

Type

Report

Intellectual base

Grey literature

Year

1982

Link

https://docs.lib.purdue.edu/cstech/351/

Cited by

1 citation across 1 artifact.

Domain-specific

• Cylindrical Algebraic Decomposition
  • The classical projection-and-lifting method recursively derives lower-dimensional projection polynomials, decomposes the real line, and lifts stacks of sections and sectors over lower-dimensional cells.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:39e96cf76898 · see in the full table