No label defined (Q4401019)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1182922
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1182922 |
Statements
30 September 1998
0 references
algorithmic real algebraic geometry
0 references
decision problems
0 references
quantifier elimination
0 references
semialgebraic sets
0 references
geometric theorem
0 references
0.8572109341621399
0 references
This paper is a brief survey of some of the ideas and results on algorithmic real algebraic geometry and applications. Some of the topics treated are decision problems for the first-order theory of reals and the related quantifier elimination problems, algorithmic questions on semialgebraic sets, representation of algebraic numbers, cylindrical algebraic decomposition and applications as offsets and geometric theorem proving. For the entire collection see [Zbl 0890.52001].
0 references
