A bibliography of quantifier elimination for real closed fields (Q1103610)
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 4053580
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A bibliography of quantifier elimination for real closed fields |
scientific article; zbMATH DE number 4053580 |
Statements
A bibliography of quantifier elimination for real closed fields (English)
0 references
1988
0 references
A list of papers on quantifier elimination for real closed fields are referred with comments on their destination (e.g. tutorial, research etc.). It seems to be complete, but unfortunately short summaries and comparisons of different algorithms fail, what yields difficulties for the novice in this area. Also it is regretable that the supporting algorithms such as polynomial factoring and solving systems of algebraic equations tightly connected with the subject under discussion are absent.
0 references
system of polynomial inequalities
0 references
quantifier elimination
0 references
real closed fields
0 references
0 references
0 references
0 references
0 references
0.8318442106246948
0 references
0.7982439398765564
0 references
