01976nam0 2200385 i 450 VAN006555620221206034316.819978-35-403-3098-120080918d2006 |0itac50 baengDE|||| |||||Algorithms in real algebraic geometrySaugata Basu, Richard Pollack, Marie-Françoise Roy2. edBerlinSpringer2006VIII, 602 p.ill.24 cm001VAN00449252001 Algorithms and computation in mathematics210 Berlin [etc.]Springer1997-10VAN0252756Algorithms in real algebraic geometry141658068W30Symbolic computation and algebraic computation [MSC 2020]VANC019771MF68Q25Analysis of algorithms and problem complexity [MSC 2020]VANC019860MF14P10Semialgebraic sets and related spaces [MSC 2020]VANC021496MF52C45Combinatorial complexity of geometric structures [MSC 2020]VANC023696MF03C10Quantifier elimination, model completeness and related topics [MSC 2020]VANC028773MFBerlinVANL000066BasuSaugataVANV052127724881PollackRichard D.VANV05212854805RoyMarie-FrançoiseVANV04532462345Springer <editore>VANV108073650ITSOL20240614RICA/sebina/repository/catalogazione/documenti/Basu, Pollack, Roy - Algorithms in real algebraic geometry.pdfBasu, Pollack, Roy - Algorithms in real algebraic geometry.pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0065556BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 14-XX 0278 08 8289 I 20081201 Algorithms in real algebraic geometry1416580UNICAMPANIA