No label defined (Q4295701)
From MaRDI portal
scientific article; zbMATH DE number 589362
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 589362 |
Statements
29 March 1996
0 references
counting real points
0 references
counting real zeros
0 references
rational points
0 references
trace formula for quadratic forms
0 references
commutative ring
0 references
scaled Pfister form
0 references
algorithms
0 references
algebraic variety
0 references
quantifier elimination for real closed fields
0 references
Bröcker-Scheiderer theorem
0 references
