Nullstellensatz for real fields using model theory

From MaRDI portal
Publication:5201110