Mathematical events of the twentieth century

Matiyasevich, Y. V. (2006). Mathematical events of the twentieth century. Springer-Verlag.

Type

Book chapter

Intellectual base

Review or monograph

Year

2006

DOI

10.1007/3-540-29462-7_10

Link

https://doi.org/10.1007/3-540-29462-7_10

Cited by

1 citation across 1 artifact.

Domain-specific

• Existential theory of the reals
  • … semialgebraic nonemptiness, reduction model, decision algorithm and complexity bounds, ETR-hardness and completeness and distinction from full first-order theory of real closed fields are explicit. to An applied instance preserves the invariant under changed notation, scale, dataset, jurisdiction, or implementation..

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:4d11d11f3b38 · see in the full table