Algorithms in real algebraic geometry:
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin
Springer
[2006]
|
| Edition: | Second edition |
| Series: | Algorithms and computation in mathematics
volume 10 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | IX, 662 Seiten Illustrationen 24 cm |
| ISBN: | 9783540330981 3540330984 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV021688363 | ||
| 003 | DE-604 | ||
| 005 | 20201202 | ||
| 007 | t | ||
| 008 | 060808s2006 gw a||| |||| 00||| eng d | ||
| 015 | |a 06,N17,0451 |2 dnb | ||
| 015 | |a 06,A33,0806 |2 dnb | ||
| 016 | 7 | |a 979187044 |2 DE-101 | |
| 020 | |a 9783540330981 |c Pp. : EUR 64.15 (freier Pr.), sfr 106.00 (freier Pr. |9 978-3-540-33098-1 | ||
| 020 | |a 3540330984 |c Pp. : EUR 64.15 (freier Pr.), sfr 106.00 (freier Pr.) |9 3-540-33098-4 | ||
| 024 | 3 | |a 9783540330981 | |
| 028 | 5 | 2 | |a 11597957 |
| 035 | |a (OCoLC)70573945 | ||
| 035 | |a (DE-599)BVBBV021688363 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-20 |a DE-703 |a DE-824 |a DE-355 |a DE-91G |a DE-706 |a DE-19 |a DE-83 |a DE-739 |a DE-11 |a DE-384 |a DE-188 |a DE-634 | ||
| 050 | 0 | |a QA564 | |
| 082 | 0 | |a 516.3/5 |2 22 | |
| 084 | |a SK 240 |0 (DE-625)143226: |2 rvk | ||
| 084 | |a DAT 702f |2 stub | ||
| 084 | |a MAT 140f |2 stub | ||
| 084 | |a 68W30 |2 msc | ||
| 084 | |a 14Q05 |2 msc | ||
| 084 | |a 510 |2 sdnb | ||
| 084 | |a 12Y05 |2 msc | ||
| 084 | |a 14P10 |2 msc | ||
| 100 | 1 | |a Basu, Saugata |e Verfasser |0 (DE-588)1167961595 |4 aut | |
| 245 | 1 | 0 | |a Algorithms in real algebraic geometry |c Saugata Basu, Richard Pollack, Marie-Françoise Roy |
| 250 | |a Second edition | ||
| 264 | 1 | |a Berlin |b Springer |c [2006] | |
| 300 | |a IX, 662 Seiten |b Illustrationen |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Algorithms and computation in mathematics |v volume 10 | |
| 650 | 7 | |a Algebraïsche meetkunde |2 gtt | |
| 650 | 7 | |a Algoritmos |2 larpcal | |
| 650 | 7 | |a Geometria algébrica real |2 larpcal | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Algorithms | |
| 650 | 4 | |a Geometry, Algebraic |x Data processing | |
| 650 | 0 | 7 | |a Computeralgebra |0 (DE-588)4010449-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Reelle algebraische Geometrie |0 (DE-588)4192004-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Reelle algebraische Geometrie |0 (DE-588)4192004-1 |D s |
| 689 | 0 | 1 | |a Computeralgebra |0 (DE-588)4010449-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Pollack, Richard |d 1935- |e Verfasser |0 (DE-588)124810403 |4 aut | |
| 700 | 1 | |a Roy, Marie-Françoise |d 1950- |e Verfasser |0 (DE-588)120268221 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |
| 830 | 0 | |a Algorithms and computation in mathematics |v volume 10 |w (DE-604)BV011131286 |9 10 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=2791379&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014902457&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014902457 | ||
Record in the Search Index
| _version_ | 1804135513228050432 |
|---|---|
| adam_text | SAUGATA BASU RICHARD POLLACK MARIE-FRANCOISE ROY ALGORITHMS IN REAL
ALGEBRAIC GEOMETRY SECOND EDITION WITH 37 FIGURES 4Y SPRINGER TABLE OF
CONTENTS INTRODUCTION 1 1 ALGEBRAICALLY CLOSED FIELDS 11 1.1 DEFINITIONS
AND FIRST PROPERTIES 11 1.2 EUCLIDEAN DIVISION AND GREATEST COMMON
DIVISOR 14 1.3 PROJECTION THEOREM FOR CONSTRUCTIBLE SETS 20 1.4
QUANTIFIER ELIMINATION AND THE TRANSFER PRINCIPLE 25 1.5 BIBLIOGRAPHICAL
NOTES 27 2 REAL CLOSED FIELDS 29 2.1 ORDERED, REAL AND REAL CLOSED
FIELDS 29 2.2 REAL ROOT COUNTING 44 2.2.1 DESCARTES S LAW OF SIGNS AND
THE BUDAN-FOURIER THE- OREM 44 2.2.2 STURM S THEOREM AND THE CAUCHY
INDEX 52 2.3 PROJECTION THEOREM FOR ALGEBRAIC SETS 57 2.4 PROJECTION
THEOREM FOR SEMI-ALGEBRAIC SETS 63 2.5 APPLICATIONS 69 2.5.1 QUANTIFIER
ELIMINATION AND THE TRANSFER PRINCIPLE . . 69 2.5.2 SEMI-ALGEBRAIC
FUNCTIONS 71 2.5.3 EXTENSION OF SEMI-ALGEBRAIC SETS AND FUNCTIONS ... 72
2.6 PUISEUX SERIES 74 2.7 BIBLIOGRAPHICAL NOTES 81 3 SEMI-ALGEBRAIC SETS
83 3.1 TOPOLOGY 83 3.2 SEMI-ALGEBRAICALLY CONNECTED SETS 86 3.3
SEMI-ALGEBRAIC GERMS 87 VI TABLE OF CONTENTS 3.4 CLOSED AND BOUNDED
SEMI-ALGEBRAIC SETS 93 3.5 IMPLICIT FUNCTION THEOREM 94 3.6
BIBLIOGRAPHICAL NOTES 99 4 ALGEBRA 101 4.1 DISCRIMINANT AND
SUBDISCRIMINANT 101 4.2 RESULTANT AND SUBRESULTANT COEFFICIENTS 105
4.2.1 RESULTANT 105 4.2.2 SUBRESULTANT COEFFICIENTS 110 4.2.3
SUBRESULTANT COEFFICIENTS AND CAUCHY INDEX 113 4.3 QUADRATIC FORMS AND
ROOT COUNTING 119 4.3.1 QUADRATIC FORMS 119 4.3.2 HERMITE S QUADRATIC
FORM 127 4.4 POLYNOMIAL IDEALS 132 4.4.1 HILBERT S BASIS THEOREM 132
4.4.2 HILBERT S NULLSTELLENSATZ 136 4.5 ZERO-DIMENSIONAL SYSTEMS 143 4.6
MULTIVARIATE HERMITE S QUADRATIC FORM 149 4.7 PROJECTIVE SPACE AND A
WEAK BEZOUT S THEOREM 153 4.8 BIBLIOGRAPHICAL NOTES 157 5 DECOMPOSITION
OF SEMI-ALGEBRAIC SETS 159 5.1 CYLINDRICAL DECOMPOSITION 159 5.2
SEMI-ALGEBRAICALLY CONNECTED COMPONENTS 168 5.3 DIMENSION 170 5.4
SEMI-ALGEBRAIC DESCRIPTION OF CELLS 172 5.5 STRATIFICATION 174 5.6
SIMPLICIAL COMPLEXES 181 5.7 TRIANGULATION 183 5.8 HARDT S TRIVIALITY
THEOREM AND CONSEQUENCES 186 5.9 SEMI-ALGEBRAIC SARD S THEOREM 191 5.10
BIBLIOGRAPHICAL NOTES 194 6 ELEMENTS OF TOPOLOGY 195 6.1 SIMPLICIAL
HOMOLOGY THEORY 195 6.1.1 THE HOMOLOGY GROUPS OF A SIMPLICIAL COMPLEX
.... 195 6.1.2 SIMPLICIAL COHOMOLOGY THEORY 199 6.1.3 A CHARACTERIZATION
OF H 1 IN A SPECIAL CASE 201 6.1.4 THE MAYER-VIETORIS THEOREM 206 TABLE
OF CONTENTS VII 6.1.5 CHAIN HOMOTOPY 209 6.1.6 THE SIMPLICIAL HOMOLOGY
GROUPS ARE INVARIANT UNDER HOMEOMORPHISM 213 6.2 SIMPLICIAL HOMOLOGY OF
CLOSED AND BOUNDED SEMI-ALGEBRAIC SETS 221 6.2.1 DEFINITIONS AND FIRST
PROPERTIES 221 6.2.2 HOMOTOPY 223 6.3 HOMOLOGY OF CERTAIN LOCALLY CLOSED
SEMI-ALGEBRAIC SETS . . 226 6.3.1 HOMOLOGY OF CLOSED SEMI-ALGEBRAIC SETS
AND OF SIGN CON- DITIONS 226 6.3.2 HOMOLOGY OF A PAIR 228 6.3.3
BOREL-MOORE HOMOLOGY 231 6.3.4 EULER-POINCARE CHARACTERISTIC 234 6.4
BIBLIOGRAPHICAL NOTES 236 QUANTITATIVE SEMI-ALGEBRAIC GEOMETRY 237 7.1
MORSE THEORY 237 7.2 SUM OF THE BETTI NUMBERS OF REAL ALGEBRAIC SETS 256
7.3 BOUNDING THE BETTI NUMBERS OF REALIZATIONS OF SIGN CONDITIONS 262
7.4 SUM OF THE BETTI NUMBERS OF CLOSED SEMI-ALGEBRAIC SETS . . 268 7.5
SUM OF THE BETTI NUMBERS OF SEMI-ALGEBRAIC SETS 273 7.6 BIBLIOGRAPHICAL
NOTES 280 COMPLEXITY OF BASIC ALGORITHMS 281 8.1 DEFINITION OF
COMPLEXITY 281 8.2 LINEAR ALGEBRA 292 8.2.1 SIZE OF DETERMINANTS 292
8.2.2 EVALUATION OF DETERMINANTS 294 8.2.3 CHARACTERISTIC POLYNOMIAL 299
8.2.4 SIGNATURE OF QUADRATIC FORMS 300 8.3 REMAINDER SEQUENCES AND
SUBRESULTANTS 301 8.3.1 REMAINDER SEQUENCES 301 8.3.2 SIGNED
SUBRESULTANT POLYNOMIALS 303 8.3.3 STRUCTURE THEOREM FOR SIGNED
SUBRESULTANTS 307 8.3.4 SIZE OF REMAINDERS AND SUBRESULTANTS 314 8.3.5
SPECIALIZATION PROPERTIES OF SUBRESULTANTS 316 8.3.6 SUBRESULTANT
COMPUTATION 317 8.4 BIBLIOGRAPHICAL NOTES 322 VIII TABLE OF CONTENTS 9
CAUCHY INDEX AND APPLICATIONS 323 9.1 CAUCHY INDEX 323 9.1.1 COMPUTING
THE CAUCHY INDEX 323 9.1.2 BEZOUTIAN AND CAUCHY INDEX 326 9.1.3 SIGNED
SUBRESULTANT SEQUENCE AND CAUCHY INDEX ON AN INTERVAL 330 9.2 HANKEL
MATRICES 333 9.2.1 HANKEL MATRICES AND RATIONAL FUNCTIONS 334 9.2.2
SIGNATURE OF HANKEL QUADRATIC FORMS 337 9.3 NUMBER OF COMPLEX ROOTS WITH
NEGATIVE REAL PART 344 9.4 BIBLIOGRAPHICAL NOTES 350 10 REAL ROOTS 351
10.1 BOUNDS ON ROOTS 351 10.2 ISOLATING REAL ROOTS 360 10.3 SIGN
DETERMINATION 383 10.4 ROOTS IN A REAL CLOSED FIELD 397 10.5
BIBLIOGRAPHICAL NOTES 401 11 CYLINDRICAL DECOMPOSITION ALGORITHM 403
11.1 COMPUTING THE CYLINDRICAL DECOMPOSITION 404 11.1.1 OUTLINE OF THE
METHOD 404 11.1.2 DETAILS OF THE LIFTING PHASE 408 11.2 DECISION PROBLEM
415 11.3 QUANTIFIER ELIMINATION 423 11.4 LOWER BOUND FOR QUANTIFIER
ELIMINATION 426 11.5 COMPUTATION OF STRATIFYING FAMILIES 428 11.6
TOPOLOGY OF CURVES 430 11.7 RESTRICTED ELIMINATION 440 11.8
BIBLIOGRAPHICAL NOTES 444 12 POLYNOMIAL SYSTEM SOLVING 445 12.1 A FEW
RESULTS ON GROBNER BASES 445 12.2 MULTIPLICATION TABLES 451 12.3 SPECIAL
MULTIPLICATION TABLE 456 12.4 UNIVARIATE REPRESENTATION 462 12.5 LIMITS
OF THE SOLUTIONS OF A POLYNOMIAL SYSTEM 471 12.6 FINDING POINTS IN
CONNECTED COMPONENTS OF ALGEBRAIC SETS . 483 12.7 TRIANGULAR SIGN
DETERMINATION 495 TABLE OF CONTENTS IX 12.8 COMPUTING THE EULER-POINCARE
CHARACTERISTIC OF AN ALGEBRAIC SET 498 12.9 BIBLIOGRAPHICAL NOTES 503 13
EXISTENTIAL THEORY OF THE REALS 505 13.1 FINDING REALIZABLE SIGN
CONDITIONS 506 13.2 A FEW APPLICATIONS 516 13.3 SAMPLE POINTS ON AN
ALGEBRAIC SET 519 13.4 COMPUTING THE EULER-POINCARE CHARACTERISTIC OF
SIGN CONDI- TIONS 528 13.5 BIBLIOGRAPHICAL NOTES 532 14 QUANTIFIER
ELIMINATION 533 14.1 ALGORITHM FOR THE GENERAL DECISION PROBLEM 534 14.2
QUANTIFIER ELIMINATION 547 14.3 LOCAL QUANTIFIER ELIMINATION 551 14.4
GLOBAL OPTIMIZATION 557 14.5 DIMENSION OF SEMI-ALGEBRAIC SETS 558 14.6
BIBLIOGRAPHICAL NOTES 562 15 COMPUTING ROADMAPS AND CONNECTED COMPONENTS
OF ALGE- BRAIC SETS 563 15.1 PSEUDO-CRITICAL VALUES AND CONNECTEDNESS
564 15.2 ROADMAP OF AN ALGEBRAIC SET 568 15.3 COMPUTING CONNECTED
COMPONENTS OF ALGEBRAIC SETS .... 580 15.4 BIBLIOGRAPHICAL NOTES 592 16
COMPUTING ROADMAPS AND CONNECTED COMPONENTS OF SEMI- ALGEBRAIC SETS 593
16.1 SPECIAL VALUES 593 16.2 UNIFORM ROADMAPS 601 16.3 COMPUTING
CONNECTED COMPONENTS OF SIGN CONDITIONS . . . 608 16.4 COMPUTING
CONNECTED COMPONENTS OF A SEMI-ALGEBRAIC SET . 614 16.5 ROADMAP
ALGORITHM 617 16.6 COMPUTING THE FIRST BETTI NUMBER OF SEMI-ALGEBRAIC
SETS . 627 16.7 BIBLIOGRAPHICAL NOTES 633 REFERENCES 635 INDEX OF
NOTATION 645 INDEX 655
|
| adam_txt |
SAUGATA BASU RICHARD POLLACK MARIE-FRANCOISE ROY ALGORITHMS IN REAL
ALGEBRAIC GEOMETRY SECOND EDITION WITH 37 FIGURES 4Y SPRINGER TABLE OF
CONTENTS INTRODUCTION 1 1 ALGEBRAICALLY CLOSED FIELDS 11 1.1 DEFINITIONS
AND FIRST PROPERTIES 11 1.2 EUCLIDEAN DIVISION AND GREATEST COMMON
DIVISOR 14 1.3 PROJECTION THEOREM FOR CONSTRUCTIBLE SETS 20 1.4
QUANTIFIER ELIMINATION AND THE TRANSFER PRINCIPLE 25 1.5 BIBLIOGRAPHICAL
NOTES 27 2 REAL CLOSED FIELDS 29 2.1 ORDERED, REAL AND REAL CLOSED
FIELDS 29 2.2 REAL ROOT COUNTING 44 2.2.1 DESCARTES'S LAW OF SIGNS AND
THE BUDAN-FOURIER THE- OREM 44 2.2.2 STURM'S THEOREM AND THE CAUCHY
INDEX 52 2.3 PROJECTION THEOREM FOR ALGEBRAIC SETS 57 2.4 PROJECTION
THEOREM FOR SEMI-ALGEBRAIC SETS 63 2.5 APPLICATIONS 69 2.5.1 QUANTIFIER
ELIMINATION AND THE TRANSFER PRINCIPLE . . 69 2.5.2 SEMI-ALGEBRAIC
FUNCTIONS 71 2.5.3 EXTENSION OF SEMI-ALGEBRAIC SETS AND FUNCTIONS . 72
2.6 PUISEUX SERIES 74 2.7 BIBLIOGRAPHICAL NOTES 81 3 SEMI-ALGEBRAIC SETS
83 3.1 TOPOLOGY 83 3.2 SEMI-ALGEBRAICALLY CONNECTED SETS 86 3.3
SEMI-ALGEBRAIC GERMS 87 VI TABLE OF CONTENTS 3.4 CLOSED AND BOUNDED
SEMI-ALGEBRAIC SETS 93 3.5 IMPLICIT FUNCTION THEOREM 94 3.6
BIBLIOGRAPHICAL NOTES 99 4 ALGEBRA 101 4.1 DISCRIMINANT AND
SUBDISCRIMINANT 101 4.2 RESULTANT AND SUBRESULTANT COEFFICIENTS 105
4.2.1 RESULTANT 105 4.2.2 SUBRESULTANT COEFFICIENTS 110 4.2.3
SUBRESULTANT COEFFICIENTS AND CAUCHY INDEX 113 4.3 QUADRATIC FORMS AND
ROOT COUNTING 119 4.3.1 QUADRATIC FORMS 119 4.3.2 HERMITE'S QUADRATIC
FORM 127 4.4 POLYNOMIAL IDEALS 132 4.4.1 HILBERT'S BASIS THEOREM 132
4.4.2 HILBERT'S NULLSTELLENSATZ 136 4.5 ZERO-DIMENSIONAL SYSTEMS 143 4.6
MULTIVARIATE HERMITE'S QUADRATIC FORM 149 4.7 PROJECTIVE SPACE AND A
WEAK BEZOUT'S THEOREM 153 4.8 BIBLIOGRAPHICAL NOTES 157 5 DECOMPOSITION
OF SEMI-ALGEBRAIC SETS 159 5.1 CYLINDRICAL DECOMPOSITION 159 5.2
SEMI-ALGEBRAICALLY CONNECTED COMPONENTS 168 5.3 DIMENSION 170 5.4
SEMI-ALGEBRAIC DESCRIPTION OF CELLS 172 5.5 STRATIFICATION 174 5.6
SIMPLICIAL COMPLEXES 181 5.7 TRIANGULATION 183 5.8 HARDT'S TRIVIALITY
THEOREM AND CONSEQUENCES 186 5.9 SEMI-ALGEBRAIC SARD'S THEOREM 191 5.10
BIBLIOGRAPHICAL NOTES 194 6 ELEMENTS OF TOPOLOGY 195 6.1 SIMPLICIAL
HOMOLOGY THEORY 195 6.1.1 THE HOMOLOGY GROUPS OF A SIMPLICIAL COMPLEX
. 195 6.1.2 SIMPLICIAL COHOMOLOGY THEORY 199 6.1.3 A CHARACTERIZATION
OF H 1 IN A SPECIAL CASE 201 6.1.4 THE MAYER-VIETORIS THEOREM 206 TABLE
OF CONTENTS VII 6.1.5 CHAIN HOMOTOPY 209 6.1.6 THE SIMPLICIAL HOMOLOGY
GROUPS ARE INVARIANT UNDER HOMEOMORPHISM 213 6.2 SIMPLICIAL HOMOLOGY OF
CLOSED AND BOUNDED SEMI-ALGEBRAIC SETS 221 6.2.1 DEFINITIONS AND FIRST
PROPERTIES 221 6.2.2 HOMOTOPY 223 6.3 HOMOLOGY OF CERTAIN LOCALLY CLOSED
SEMI-ALGEBRAIC SETS . . 226 6.3.1 HOMOLOGY OF CLOSED SEMI-ALGEBRAIC SETS
AND OF SIGN CON- DITIONS 226 6.3.2 HOMOLOGY OF A PAIR 228 6.3.3
BOREL-MOORE HOMOLOGY 231 6.3.4 EULER-POINCARE CHARACTERISTIC 234 6.4
BIBLIOGRAPHICAL NOTES 236 QUANTITATIVE SEMI-ALGEBRAIC GEOMETRY 237 7.1
MORSE THEORY 237 7.2 SUM OF THE BETTI NUMBERS OF REAL ALGEBRAIC SETS 256
7.3 BOUNDING THE BETTI NUMBERS OF REALIZATIONS OF SIGN CONDITIONS 262
7.4 SUM OF THE BETTI NUMBERS OF CLOSED SEMI-ALGEBRAIC SETS . . 268 7.5
SUM OF THE BETTI NUMBERS OF SEMI-ALGEBRAIC SETS 273 7.6 BIBLIOGRAPHICAL
NOTES 280 COMPLEXITY OF BASIC ALGORITHMS 281 8.1 DEFINITION OF
COMPLEXITY 281 8.2 LINEAR ALGEBRA 292 8.2.1 SIZE OF DETERMINANTS 292
8.2.2 EVALUATION OF DETERMINANTS 294 8.2.3 CHARACTERISTIC POLYNOMIAL 299
8.2.4 SIGNATURE OF QUADRATIC FORMS 300 8.3 REMAINDER SEQUENCES AND
SUBRESULTANTS 301 8.3.1 REMAINDER SEQUENCES 301 8.3.2 SIGNED
SUBRESULTANT POLYNOMIALS 303 8.3.3 STRUCTURE THEOREM FOR SIGNED
SUBRESULTANTS 307 8.3.4 SIZE OF REMAINDERS AND SUBRESULTANTS 314 8.3.5
SPECIALIZATION PROPERTIES OF SUBRESULTANTS 316 8.3.6 SUBRESULTANT
COMPUTATION 317 8.4 BIBLIOGRAPHICAL NOTES 322 VIII TABLE OF CONTENTS 9
CAUCHY INDEX AND APPLICATIONS 323 9.1 CAUCHY INDEX 323 9.1.1 COMPUTING
THE CAUCHY INDEX 323 9.1.2 BEZOUTIAN AND CAUCHY INDEX 326 9.1.3 SIGNED
SUBRESULTANT SEQUENCE AND CAUCHY INDEX ON AN INTERVAL 330 9.2 HANKEL
MATRICES 333 9.2.1 HANKEL MATRICES AND RATIONAL FUNCTIONS 334 9.2.2
SIGNATURE OF HANKEL QUADRATIC FORMS 337 9.3 NUMBER OF COMPLEX ROOTS WITH
NEGATIVE REAL PART 344 9.4 BIBLIOGRAPHICAL NOTES 350 10 REAL ROOTS 351
10.1 BOUNDS ON ROOTS 351 10.2 ISOLATING REAL ROOTS 360 10.3 SIGN
DETERMINATION 383 10.4 ROOTS IN A REAL CLOSED FIELD 397 10.5
BIBLIOGRAPHICAL NOTES 401 11 CYLINDRICAL DECOMPOSITION ALGORITHM 403
11.1 COMPUTING THE CYLINDRICAL DECOMPOSITION 404 11.1.1 OUTLINE OF THE
METHOD 404 11.1.2 DETAILS OF THE LIFTING PHASE 408 11.2 DECISION PROBLEM
415 11.3 QUANTIFIER ELIMINATION 423 11.4 LOWER BOUND FOR QUANTIFIER
ELIMINATION 426 11.5 COMPUTATION OF STRATIFYING FAMILIES 428 11.6
TOPOLOGY OF CURVES 430 11.7 RESTRICTED ELIMINATION 440 11.8
BIBLIOGRAPHICAL NOTES 444 12 POLYNOMIAL SYSTEM SOLVING 445 12.1 A FEW
RESULTS ON GROBNER BASES 445 12.2 MULTIPLICATION TABLES 451 12.3 SPECIAL
MULTIPLICATION TABLE 456 12.4 UNIVARIATE REPRESENTATION 462 12.5 LIMITS
OF THE SOLUTIONS OF A POLYNOMIAL SYSTEM 471 12.6 FINDING POINTS IN
CONNECTED COMPONENTS OF ALGEBRAIC SETS . 483 12.7 TRIANGULAR SIGN
DETERMINATION 495 TABLE OF CONTENTS IX 12.8 COMPUTING THE EULER-POINCARE
CHARACTERISTIC OF AN ALGEBRAIC SET 498 12.9 BIBLIOGRAPHICAL NOTES 503 13
EXISTENTIAL THEORY OF THE REALS 505 13.1 FINDING REALIZABLE SIGN
CONDITIONS 506 13.2 A FEW APPLICATIONS 516 13.3 SAMPLE POINTS ON AN
ALGEBRAIC SET 519 13.4 COMPUTING THE EULER-POINCARE CHARACTERISTIC OF
SIGN CONDI- TIONS 528 13.5 BIBLIOGRAPHICAL NOTES 532 14 QUANTIFIER
ELIMINATION 533 14.1 ALGORITHM FOR THE GENERAL DECISION PROBLEM 534 14.2
QUANTIFIER ELIMINATION 547 14.3 LOCAL QUANTIFIER ELIMINATION 551 14.4
GLOBAL OPTIMIZATION 557 14.5 DIMENSION OF SEMI-ALGEBRAIC SETS 558 14.6
BIBLIOGRAPHICAL NOTES 562 15 COMPUTING ROADMAPS AND CONNECTED COMPONENTS
OF ALGE- BRAIC SETS 563 15.1 PSEUDO-CRITICAL VALUES AND CONNECTEDNESS
564 15.2 ROADMAP OF AN ALGEBRAIC SET 568 15.3 COMPUTING CONNECTED
COMPONENTS OF ALGEBRAIC SETS . 580 15.4 BIBLIOGRAPHICAL NOTES 592 16
COMPUTING ROADMAPS AND CONNECTED COMPONENTS OF SEMI- ALGEBRAIC SETS 593
16.1 SPECIAL VALUES 593 16.2 UNIFORM ROADMAPS 601 16.3 COMPUTING
CONNECTED COMPONENTS OF SIGN CONDITIONS . . . 608 16.4 COMPUTING
CONNECTED COMPONENTS OF A SEMI-ALGEBRAIC SET . 614 16.5 ROADMAP
ALGORITHM 617 16.6 COMPUTING THE FIRST BETTI NUMBER OF SEMI-ALGEBRAIC
SETS . 627 16.7 BIBLIOGRAPHICAL NOTES 633 REFERENCES 635 INDEX OF
NOTATION 645 INDEX 655 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Basu, Saugata Pollack, Richard 1935- Roy, Marie-Françoise 1950- |
| author_GND | (DE-588)1167961595 (DE-588)124810403 (DE-588)120268221 |
| author_facet | Basu, Saugata Pollack, Richard 1935- Roy, Marie-Françoise 1950- |
| author_role | aut aut aut |
| author_sort | Basu, Saugata |
| author_variant | s b sb r p rp m f r mfr |
| building | Verbundindex |
| bvnumber | BV021688363 |
| callnumber-first | Q - Science |
| callnumber-label | QA564 |
| callnumber-raw | QA564 |
| callnumber-search | QA564 |
| callnumber-sort | QA 3564 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 240 |
| classification_tum | DAT 702f MAT 140f |
| ctrlnum | (OCoLC)70573945 (DE-599)BVBBV021688363 |
| dewey-full | 516.3/5 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 516 - Geometry |
| dewey-raw | 516.3/5 |
| dewey-search | 516.3/5 |
| dewey-sort | 3516.3 15 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| discipline_str_mv | Informatik Mathematik |
| edition | Second edition |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02803nam a2200685 cb4500</leader><controlfield tag="001">BV021688363</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20201202 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">060808s2006 gw a||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">06,N17,0451</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">06,A33,0806</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">979187044</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540330981</subfield><subfield code="c">Pp. : EUR 64.15 (freier Pr.), sfr 106.00 (freier Pr.</subfield><subfield code="9">978-3-540-33098-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540330984</subfield><subfield code="c">Pp. : EUR 64.15 (freier Pr.), sfr 106.00 (freier Pr.)</subfield><subfield code="9">3-540-33098-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540330981</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11597957</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)70573945</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021688363</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA564</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">516.3/5</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 240</subfield><subfield code="0">(DE-625)143226:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 702f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 140f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68W30</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">14Q05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">12Y05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">14P10</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Basu, Saugata</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1167961595</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algorithms in real algebraic geometry</subfield><subfield code="c">Saugata Basu, Richard Pollack, Marie-Françoise Roy</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Second edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">[2006]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 662 Seiten</subfield><subfield code="b">Illustrationen</subfield><subfield code="c">24 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Algorithms and computation in mathematics</subfield><subfield code="v">volume 10</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebraïsche meetkunde</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algoritmos</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Geometria algébrica real</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Geometry, Algebraic</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computeralgebra</subfield><subfield code="0">(DE-588)4010449-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Reelle algebraische Geometrie</subfield><subfield code="0">(DE-588)4192004-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Reelle algebraische Geometrie</subfield><subfield code="0">(DE-588)4192004-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Computeralgebra</subfield><subfield code="0">(DE-588)4010449-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pollack, Richard</subfield><subfield code="d">1935-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124810403</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Roy, Marie-Françoise</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120268221</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Algorithms and computation in mathematics</subfield><subfield code="v">volume 10</subfield><subfield code="w">(DE-604)BV011131286</subfield><subfield code="9">10</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=2791379&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014902457&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014902457</subfield></datafield></record></collection> |
| id | DE-604.BV021688363 |
| illustrated | Illustrated |
| index_date | 2024-07-02T15:13:39Z |
| indexdate | 2024-07-09T20:41:42Z |
| institution | BVB |
| isbn | 9783540330981 3540330984 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014902457 |
| oclc_num | 70573945 |
| open_access_boolean | |
| owner | DE-20 DE-703 DE-824 DE-355 DE-BY-UBR DE-91G DE-BY-TUM DE-706 DE-19 DE-BY-UBM DE-83 DE-739 DE-11 DE-384 DE-188 DE-634 |
| owner_facet | DE-20 DE-703 DE-824 DE-355 DE-BY-UBR DE-91G DE-BY-TUM DE-706 DE-19 DE-BY-UBM DE-83 DE-739 DE-11 DE-384 DE-188 DE-634 |
| physical | IX, 662 Seiten Illustrationen 24 cm |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Springer |
| record_format | marc |
| series | Algorithms and computation in mathematics |
| series2 | Algorithms and computation in mathematics |
| spelling | Basu, Saugata Verfasser (DE-588)1167961595 aut Algorithms in real algebraic geometry Saugata Basu, Richard Pollack, Marie-Françoise Roy Second edition Berlin Springer [2006] IX, 662 Seiten Illustrationen 24 cm txt rdacontent n rdamedia nc rdacarrier Algorithms and computation in mathematics volume 10 Algebraïsche meetkunde gtt Algoritmos larpcal Geometria algébrica real larpcal Datenverarbeitung Algorithms Geometry, Algebraic Data processing Computeralgebra (DE-588)4010449-7 gnd rswk-swf Reelle algebraische Geometrie (DE-588)4192004-1 gnd rswk-swf Reelle algebraische Geometrie (DE-588)4192004-1 s Computeralgebra (DE-588)4010449-7 s DE-604 Pollack, Richard 1935- Verfasser (DE-588)124810403 aut Roy, Marie-Françoise 1950- Verfasser (DE-588)120268221 aut Erscheint auch als Online-Ausgabe Algorithms and computation in mathematics volume 10 (DE-604)BV011131286 10 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=2791379&prov=M&dok_var=1&dok_ext=htm Inhaltstext HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014902457&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Basu, Saugata Pollack, Richard 1935- Roy, Marie-Françoise 1950- Algorithms in real algebraic geometry Algorithms and computation in mathematics Algebraïsche meetkunde gtt Algoritmos larpcal Geometria algébrica real larpcal Datenverarbeitung Algorithms Geometry, Algebraic Data processing Computeralgebra (DE-588)4010449-7 gnd Reelle algebraische Geometrie (DE-588)4192004-1 gnd |
| subject_GND | (DE-588)4010449-7 (DE-588)4192004-1 |
| title | Algorithms in real algebraic geometry |
| title_auth | Algorithms in real algebraic geometry |
| title_exact_search | Algorithms in real algebraic geometry |
| title_exact_search_txtP | Algorithms in real algebraic geometry |
| title_full | Algorithms in real algebraic geometry Saugata Basu, Richard Pollack, Marie-Françoise Roy |
| title_fullStr | Algorithms in real algebraic geometry Saugata Basu, Richard Pollack, Marie-Françoise Roy |
| title_full_unstemmed | Algorithms in real algebraic geometry Saugata Basu, Richard Pollack, Marie-Françoise Roy |
| title_short | Algorithms in real algebraic geometry |
| title_sort | algorithms in real algebraic geometry |
| topic | Algebraïsche meetkunde gtt Algoritmos larpcal Geometria algébrica real larpcal Datenverarbeitung Algorithms Geometry, Algebraic Data processing Computeralgebra (DE-588)4010449-7 gnd Reelle algebraische Geometrie (DE-588)4192004-1 gnd |
| topic_facet | Algebraïsche meetkunde Algoritmos Geometria algébrica real Datenverarbeitung Algorithms Geometry, Algebraic Data processing Computeralgebra Reelle algebraische Geometrie |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=2791379&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014902457&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV011131286 |
| work_keys_str_mv | AT basusaugata algorithmsinrealalgebraicgeometry AT pollackrichard algorithmsinrealalgebraicgeometry AT roymariefrancoise algorithmsinrealalgebraicgeometry |