Algorithmic algebra:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York [u.a.]
Springer
1993
|
| Series: | Texts and monographs in computer science
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XII, 416 S. graph. Darst. |
| ISBN: | 0387940901 3540940901 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008317510 | ||
| 003 | DE-604 | ||
| 005 | 20060710 | ||
| 007 | t | ||
| 008 | 931104s1993 d||| |||| 00||| eng d | ||
| 016 | 7 | |a 940092298 |2 DE-101 | |
| 020 | |a 0387940901 |9 0-387-94090-1 | ||
| 020 | |a 3540940901 |9 3-540-94090-1 | ||
| 035 | |a (OCoLC)28218479 | ||
| 035 | |a (DE-599)BVBBV008317510 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-29T |a DE-91G |a DE-91 |a DE-19 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA155.7.E4 | |
| 082 | 0 | |a 512/.00285 |2 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a SK 200 |0 (DE-625)143223: |2 rvk | ||
| 084 | |a ST 600 |0 (DE-625)143681: |2 rvk | ||
| 084 | |a MAT 110f |2 stub | ||
| 084 | |a DAT 535f |2 stub | ||
| 100 | 1 | |a Mishra, Bhubaneswar |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Algorithmic algebra |c Bhubaneswar Mishra |
| 264 | 1 | |a New York [u.a.] |b Springer |c 1993 | |
| 300 | |a XII, 416 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Texts and monographs in computer science | |
| 650 | 4 | |a Algèbre - Informatique | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Algebra |x Data processing | |
| 650 | 0 | 7 | |a Computeralgebra |0 (DE-588)4010449-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraischer Algorithmus |0 (DE-588)4141848-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Algebraischer Algorithmus |0 (DE-588)4141848-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Computeralgebra |0 (DE-588)4010449-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005495104&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005495104 | ||
Record in the Search Index
| _version_ | 1804122711080828928 |
|---|---|
| adam_text | Contents
Preface vii
1 Introduction 1
1.1 Prologue: Algebra and Algorithms 1
1.2 Motivations 4
1.2.1 Constructive Algebra 5
1.2.2 Algorithmic and Computational Algebra 6
1.2.3 Symbolic Computation 7
1.2.4 Applications 9
1.3 Algorithmic Notations 13
1.3.1 Data Structures 13
1.3.2 Control Structures 15
1.4 Epilogue 18
Bibliographic Notes 20
2 Algebraic Preliminaries 23
2.1 Introduction to Rings and Ideals 23
2.1.1 Rings and Ideals 26
2.1.2 Homomorphism, Contraction and Extension 31
2.1.3 Ideal Operations 33
2.2 Polynomial Rings 35
2.2.1 Dickson s Lemma 36
2.2.2 Admissible Orderings on Power Products 39
2.3 Grobner Bases 44
2.3.1 Grobner Bases in K[xi,x2, •¦¦ ,xn] 46
2.3.2 Hilbert s Basis Theorem 47
2.3.3 Finite Grobner Bases 49
2.4 Modules and Syzygies 49
2.5 S Polynomials 55
Problems 60
Solutions to Selected Problems 63
Bibliographic Notes 69
be
3 Computational Ideal Theory 71
3.1 Introduction 71
3.2 Strongly Computable Ring 72
3.2.1 Example: Computable Field 73
3.2.2 Example: Ring of Integers 76
3.3 Head Reductions and Grobner Bases 80
3.3.1 Algorithm to Compute Head Reduction 83
3.3.2 Algorithm to Compute Grobner Bases 84
3.4 Detachability Computation 87
3.4.1 Expressing with the Grobner Basis 88
3.4.2 Detachability 92
3.5 Syzygy Computation 93
3.5.1 Syzygy of a Grobner Basis: Special Case 93
3.5.2 Syzygy of a Set: General Case 98
3.6 Hilbert s Basis Theorem: Revisited 102
3.7 Applications of Grobner Bases Algorithms 103
3.7.1 Membership 103
3.7.2 Congruence, Subideal and Ideal Equality 103
3.7.3 Sum and Product 104
3.7.4 Intersection 105
3.7.5 Quotient 106
Problems 108
Solutions to Selected Problems 118
Bibliographic Notes 130
4 Solving Systems of Polynomial Equations 133
4.1 Introduction 133
4.2 Triangular Set 134
4.3 Some Algebraic Geometry 138
4.3.1 Dimension of an Ideal 141
4.3.2 Solvability: Hilbert s Nullstellensatz 142
4.3.3 Finite Solvability 145
4.4 Finding the Zeros 149
Problems 152
Solutions to Selected Problems 157
Bibliographic Notes 165
5 Characteristic Sets 167
5.1 Introduction 167
5.2 Pseudodivision and Successive Pseudodivision 168
5.3 Characteristic Sets 171
5.4 Properties of Characteristic Sets 176
5.5 Wu Ritt Process 178
5.6 Computation 181
5.7 Geometric Theorem Proving 186
Problems 189
Solutions to Selected Problems 192
Bibliographic Notes 196
6 An Algebraic Interlude 199
6.1 Introduction 199
6.2 Unique Factorization Domain 199
6.3 Principal Ideal Domain 207
6.4 Euclidean Domain 208
6.5 Gauss Lemma 211
6.6 Strongly Computable Euclidean Domains 212
Problems 216
Solutions to Selected Problems 220
Bibliographic Notes 223
7 Resultants and Subresultants 225
7.1 Introduction 225
7.2 Resultants 227
7.3 Homomorphisms and Resultants 232
7.3.1 Evaluation Homomorphism 234
7.4 Repeated Factors in Polynomials and Discriminants .... 238
7.5 Determinant Polynomial 241
7.5.1 Pseudodivision: Revisited 244
7.5.2 Homomorphism and Pseudoremainder 246
7.6 Polynomial Remainder Sequences 247
7.7 Subresultants 250
7.7.1 Subresultants and Common Divisors 255
7.8 Homomorphisms and Subresultants 262
7.9 Subresultant Chain 265
7.10 Subresultant Chain Theorem 274
7.10.1 Habicht s Theorem 274
7.10.2 Evaluation Homomorphisms 276
7.10.3 Subresultant Chain Theorem 279
Problems 283
Solutions to Selected Problems 291
Bibliographic Notes 296
8 Real Algebra 297
8.1 Introduction 297
8.2 Real Closed Fields 298
8.3 Bounds on the Roots 306
8.4 Sturm s Theorem 309
8.5 Real Algebraic Numbers 315
8.5.1 Real Algebraic Number Field 316
8.5.2 Root Separation, Thorn s Lemma and Representation 319
8.6 Real Geometry 333
8.6.1 Real Algebraic Sets 337
8.6.2 Delineability 339
8.6.3 Tarski Seidenberg Theorem 345
8.6.4 Representation and Decomposition of Semialgebraic
Sets 347
8.6.5 Cylindrical Algebraic Decomposition 348
8.6.6 Tarski Geometry 354
Problems 361
Solutions to Selected Problems 372
Bibliographic Notes 381
Appendix A: Matrix Algebra 385
A.I Matrices 385
A.2 Determinant 386
A.3 Linear Equations 388
Bibliography 391
Index 409
|
| any_adam_object | 1 |
| author | Mishra, Bhubaneswar |
| author_facet | Mishra, Bhubaneswar |
| author_role | aut |
| author_sort | Mishra, Bhubaneswar |
| author_variant | b m bm |
| building | Verbundindex |
| bvnumber | BV008317510 |
| callnumber-first | Q - Science |
| callnumber-label | QA155 |
| callnumber-raw | QA155.7.E4 |
| callnumber-search | QA155.7.E4 |
| callnumber-sort | QA 3155.7 E4 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 SK 200 ST 600 |
| classification_tum | MAT 110f DAT 535f |
| ctrlnum | (OCoLC)28218479 (DE-599)BVBBV008317510 |
| dewey-full | 512/.00285 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra |
| dewey-raw | 512/.00285 |
| dewey-search | 512/.00285 |
| dewey-sort | 3512 3285 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01814nam a2200493 c 4500</leader><controlfield tag="001">BV008317510</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060710 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">931104s1993 d||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">940092298</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387940901</subfield><subfield code="9">0-387-94090-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540940901</subfield><subfield code="9">3-540-94090-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28218479</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008317510</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA155.7.E4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512/.00285</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 200</subfield><subfield code="0">(DE-625)143223:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 600</subfield><subfield code="0">(DE-625)143681:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 110f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 535f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mishra, Bhubaneswar</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algorithmic algebra</subfield><subfield code="c">Bhubaneswar Mishra</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 416 S.</subfield><subfield code="b">graph. Darst.</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="0" ind2=" "><subfield code="a">Texts and monographs in computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algèbre - Informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</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">Algebraischer Algorithmus</subfield><subfield code="0">(DE-588)4141848-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Algebraischer Algorithmus</subfield><subfield code="0">(DE-588)4141848-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Computeralgebra</subfield><subfield code="0">(DE-588)4010449-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</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=005495104&sequence=000002&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-005495104</subfield></datafield></record></collection> |
| id | DE-604.BV008317510 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:18:13Z |
| institution | BVB |
| isbn | 0387940901 3540940901 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005495104 |
| oclc_num | 28218479 |
| open_access_boolean | |
| owner | DE-739 DE-29T DE-91G DE-BY-TUM DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-739 DE-29T DE-91G DE-BY-TUM DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-188 |
| physical | XII, 416 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Springer |
| record_format | marc |
| series2 | Texts and monographs in computer science |
| spelling | Mishra, Bhubaneswar Verfasser aut Algorithmic algebra Bhubaneswar Mishra New York [u.a.] Springer 1993 XII, 416 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Texts and monographs in computer science Algèbre - Informatique Datenverarbeitung Algebra Data processing Computeralgebra (DE-588)4010449-7 gnd rswk-swf Algebraischer Algorithmus (DE-588)4141848-7 gnd rswk-swf Algebraischer Algorithmus (DE-588)4141848-7 s DE-604 Computeralgebra (DE-588)4010449-7 s HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005495104&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Mishra, Bhubaneswar Algorithmic algebra Algèbre - Informatique Datenverarbeitung Algebra Data processing Computeralgebra (DE-588)4010449-7 gnd Algebraischer Algorithmus (DE-588)4141848-7 gnd |
| subject_GND | (DE-588)4010449-7 (DE-588)4141848-7 |
| title | Algorithmic algebra |
| title_auth | Algorithmic algebra |
| title_exact_search | Algorithmic algebra |
| title_full | Algorithmic algebra Bhubaneswar Mishra |
| title_fullStr | Algorithmic algebra Bhubaneswar Mishra |
| title_full_unstemmed | Algorithmic algebra Bhubaneswar Mishra |
| title_short | Algorithmic algebra |
| title_sort | algorithmic algebra |
| topic | Algèbre - Informatique Datenverarbeitung Algebra Data processing Computeralgebra (DE-588)4010449-7 gnd Algebraischer Algorithmus (DE-588)4141848-7 gnd |
| topic_facet | Algèbre - Informatique Datenverarbeitung Algebra Data processing Computeralgebra Algebraischer Algorithmus |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005495104&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT mishrabhubaneswar algorithmicalgebra |