2 research outputs found
Recent advances in real geometric reasoning
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/2015
- Field of study
In the 1930s Tarski showed that real quantifier elimination was possible, and
in 1975 Collins gave a remotely practicable method, albeit with
doubly-exponential complexity, which was later shown to be inherent. We discuss
some of the recent major advances in Collins method: such as an alternative
approach based on passing via the complexes, and advances which come closer to
"solving the question asked" rather than "solving all problems to do with these
polynomials"
References
- Author
- A Bringer
- A Möbius
- A Ron
- A Ron
- AA Abbikosov
- AA Bakeev
- AA Kon’kov
- AA Kon’kov
- AA Valuev
- AA Valuev
- AA Valuev
- AA Valuev
- AG Khrapak
- AI Voropinov
- AK McMahan
- AL Fettee
- AL Khomkin
- AM Prokhorov
- AOE Animalu
- AR Holt
- AS Kaklyugin
- AV Bushman
- AV Bushman
- AY Rumjanzev
- BA Glushak
- BB Kadomtsev
- BF Turtschin
- BJ Alder
- BK Tkachenko
- BL Altshuler
- BM Askerov
- BM Kovaliov
- BM Kovaliov
- BM Kovaliov
- BN Lomakin
- BN Lomakin
- BV Zelener
- BW Shor
- C Scidmore
- C-V Meister
- CE Ragan
- CV Meister
- CV Meister
- D Geldart
- D Kremp
- D Schlüter
- DA Kirzhnits
- DA Kirzhnits
- DC Montgomery
- DN Subarew
- DN Zubarev
- DN Zubarev
- DY Kojima
- DY Kojima
- E Mason
- EB Kormer
- EG Brovman
- EG Brovman
- EG Brovman
- EG Brovman
- EG Brovman
- EG Kolesnishenko
- EGD Cohen
- EI Asinovskii
- EI Asinovskii
- EM Conwell
- EN Avronin
- EК Rozanov
- F Goedsche
- F Höhne
- FH Stillinger
- FJ Blatt
- FJ Blatt
- FJ Rogers
- FJ Rogers
- FJ Rogers
- FJ Rogers
- G Busch
- G Busch
- G Ecker
- G Mukohopadhay
- G Röpke
- G Röpke
- G Röpke
- G Röpke
- G Röpke
- G Röpke
- G Röpke
- G Röpke
- G Röpke
- G Röpke
- G Röpke
- G Röpke
- G Röpke
- G Röpke
- G Röpke
- G Röpke
- G Röpke
- G Röpke
- G Röpke
- G Röpke
- G Röpke
- G Schlichting
- GA Haet
- GA Kobzev
- GA Kobzev
- GA Koval’skaya
- GA Pavlov
- GE Noeman
- GE Norman
- GE Norman
- GE Norman
- GE Norman
- GL Krasko
- GV Sin’ko
- H Beooks
- H Falkenhagen
- H Grad
- H Harm
- H Hellmann
- H Hellmann
- H Stolz
- HA Gould
- HA Gould
- HE Wilhelm
- HN Dunleavy
- HR Griem
- I Prigogine
- I Shkarofskii
- IA Avilova
- II Dikhtee
- II Gurevitsch
- II Sobel’man
- II Sobel’man
- IM Isakov
- IM Isakov
- IP Nazarenko
- IS Kulikov
- IS Langer
- IS Langer
- IT Model
- IY Dikhter
- J Appel
- J Bekefi
- J Blümlein
- J Blümlein
- J Gryko
- J Hubbard
- J Itakawa
- J Roth
- J Ziman
- JC Justice
- JG Linhart
- JH Hubbard
- JM Ziman
- JR Meyer
- JR Taylor
- JV Ivanov
- JW Taylor
- K Baerwinkel
- K Günthee
- K Kadanoff
- KM Vliet Van
- KM Vliet Van
- L Spitzer
- L Spitzer
- L Spitzer
- L Vessel
- LA Palzew
- LD Lakdau
- LD Landau
- LD Landau
- LM Biberman
- LN Podlubnyi
- LP Kadanoff
- LP Volkov
- LP Volkov
- LV Al’tshuleb
- LV Al’tshuleb
- LV Al’tshuleb
- LV Al’tshuleb
- LV Al’tshuler
- M Baus
- M Baus
- M Born
- M Hubermann
- M Kohler
- M Kohler
- MA Tsikulin
- MH Cohen
- MH Oguetsova
- MК Kilimann
- NF Mott
- NF Мотт
- NI Klyuchnikov
- NI Klyuchnikov
- NI Kuznetsova
- NM Plakida
- NN Bogoljubow
- NN Bogoljubow
- NN Bogolyubov
- NN Ermokhin
- NN Kalitkin
- NN Kalitkin
- NN Kalitkin
- NP Kovalenko
- NP Kovalenko
- NP Kovalenko
- NP Kovalenko
- NP Kovalenko
- NP Kovalenko
- NP Kovanlenko
- NS Gingrich
- NV Ermokhin
- NV Ermokhin
- NV Yermokhin
- NV Yermokhin
- NW Ashcroft
- NW Ashcroft
- O Dreirach
- O Dreirach
- PP Kulik
- R Balescu
- R Balescu
- R Kubo
- R Radtke
- R Zimmeemann
- R Zimmermann
- RF Trunin
- RF Trunin
- RG Palmer
- RG Ross
- RH Dalitz
- RH Williams
- RH Williams
- RJ Trainor
- RN Keeler
- RS Devoto
- S Chapman
- S Chapman
- S Groot De
- S Ichimabu
- S Takeuchi
- SA Mayev
- SB Kormer
- SG Barolskii
- SG Barol’ski
- SI Andeeev
- SI Andreev
- SI Vashukov
- SP Fjodorenko
- SR Groot De
- SW Peletminski
- T Kihara
- T Neal
- TE Fabee
- TJ Lie
- TM Rice
- V Christoph
- V Heine
- V Heine
- VA Alekseev
- VA Alekseev
- VA Sechenov
- VA Sechenov
- VA Sechenov
- VA Sechenov
- VA Sechenov
- VB Mintsev
- VB Mintsev
- VE Bespalov
- VE Bespalov
- VE Bespalov
- VE Bespalov
- VE Fobtov
- VE Fobtov
- VE Fortov
- VE Fortov
- VE Fortov
- VE Fortov
- VE Fortov
- VE Fortov
- VK Gryaznov
- VK Gryaznov
- VK Gryaznov
- VK Gryaznov
- VK Gryaznov
- VK Gryaznov
- VK Gryaznov
- VK Gryaznov
- VM Atrazhev
- VM Batenin
- VM Zamalin
- VN Fleurov
- VN Mineev
- VP Onishchenko
- VP Silin
- VS Lisitsa
- VS Rogov
- VS Vorobjov
- VS Vorob’ev
- VV Belyi
- VV Ermakov
- VV Vorobiov
- VV Vorobiov
- VY Kulik
- VВ Mintsev
- VВ Mintsev
- VК Gryaznov
- W Ebeling
- W Ebeling
- W Ebeling
- W Ebeling
- W Ebeling
- W Ebeling
- W Ebeling
- W Ebeling
- W Ebeling
- W Ebeling
- W Ebeling
- W Götze
- W Heitler
- W Kohn
- W Nernst
- WA Harrison
- WD Keaeft
- WJ Hooveretal
- Y Kagan
- YB Zel’dovich
- YK Kurilenkov
- YL Klimontovich
- YL Klimontovich
- YL Klimontovich
- YL Klimontovich
- YL Klimontovich
- YL Klimontovich
- YL Klimontovich
- YL Klimontovich
- YL Klimontovich
- YL Klimontovich
- YL Klimontovich
- YL Klimontovich
- YL Klimontovich
- YL Klimontovich
- YP Krasnyi
- YP Krasnyi
- YP Krasnyi
- YP Krasnyi
- YP Krasnyi
- YP Krasnyi
- YV Ivanov
- ZA Gurskiî
- АV Bushman
- В Liboff
- В Springer
- ГГ Baudeb
- еG Beovman
- К Günthee
- К Günther
- К Günther
- КР Gurov
- РМ Kessel’man
- С Herring
- С Ivanov
- СS Ting
- СV Meister
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/1984
- Field of study