LEADER 01954nam0 2200385 i 450 001 VAN0065556 005 20221206034316.819 010 $a978-35-403-3098-1 100 $a20080918d2006 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aAlgorithms in real algebraic geometry$fSaugata Basu, Richard Pollack, Marie-Françoise Roy 205 $a2. ed 210 $aBerlin$cSpringer$d2006 215 $aVIII, 602 p.$cill.$d24 cm 410 1$1001VAN0044925$12001 $aAlgorithms and computation in mathematics$1210 $aBerlin [etc.]$cSpringer$v10 500 1$3VAN0252756$aAlgorithms in real algebraic geometry$91416580 606 $a68W30$xSymbolic computation and algebraic computation [MSC 2020]$3VANC019771$2MF 606 $a68Q25$xAnalysis of algorithms and problem complexity [MSC 2020]$3VANC019860$2MF 606 $a14P10$xSemialgebraic sets and related spaces [MSC 2020]$3VANC021496$2MF 606 $a52C45$xCombinatorial complexity of geometric structures [MSC 2020]$3VANC023696$2MF 606 $a03C10$xQuantifier elimination, model completeness and related topics [MSC 2020]$3VANC028773$2MF 620 $dBerlin$3VANL000066 700 1$aBasu$bSaugata$3VANV052127$0724881 701 1$aPollack$bRichard D.$3VANV052128$054805 701 1$aRoy$bMarie-Françoise$3VANV045324$062345 712 $aSpringer$3VANV108073$4650 801 $aIT$bSOL$c20221209$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Basu, Pollack, Roy - Algorithms in real algebraic geometry.pdf$zBasu, Pollack, Roy - Algorithms in real algebraic geometry.pdf 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN0065556 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 14-XX 0278 $e08 8289 I 20081201 996 $aAlgorithms in real algebraic geometry$91416580 997 $aUNISOB