Quantifier Elimination for Real Closed Fields

Marker, D. Quantifier Elimination for Real Closed Fields.

Type

Web resource

Intellectual base

Web

Link

https://homepages.math.uic.edu/~marker/MSRI-2.pdf

Cited by

1 citation across 1 artifact.

Domain-specific

• Real Closed Field
  • Listed in the references but not attached to a specific claim.

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:0628c4e0ce99 · see in the full table