Symbolic rewriting techniques:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | German |
| Veröffentlicht: |
Basel [u.a.]
Birkhäuser
1998
|
| Schriftenreihe: | Progress in computer science and applied logic
15 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 288 S. graph. Darst. |
| ISBN: | 3764359013 0817659013 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011767267 | ||
| 003 | DE-604 | ||
| 005 | 20110620 | ||
| 007 | t | ||
| 008 | 980202s1998 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 952732696 |2 DE-101 | |
| 020 | |a 3764359013 |c (Basel ...) Gb. : ca. DM 148.00, ca. S 1081.00, ca. sfr 128.00 |9 3-7643-5901-3 | ||
| 020 | |a 0817659013 |c (Boston) Gb. |9 0-8176-5901-3 | ||
| 035 | |a (OCoLC)38410915 | ||
| 035 | |a (DE-599)BVBBV011767267 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-91G |a DE-29T |a DE-634 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 005.13/1 |2 21 | |
| 084 | |a SD 1995 |0 (DE-625)142729: |2 rvk | ||
| 084 | |a ST 600 |0 (DE-625)143681: |2 rvk | ||
| 084 | |a DAT 554f |2 stub | ||
| 245 | 1 | 0 | |a Symbolic rewriting techniques |c Manuel Bronstein ..., ed. |
| 264 | 1 | |a Basel [u.a.] |b Birkhäuser |c 1998 | |
| 300 | |a 288 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Progress in computer science and applied logic |v 15 | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Gröbner bases |v Congresses | |
| 650 | 4 | |a Numerical analysis |x Data processing |v Congresses | |
| 650 | 4 | |a Rewriting systems (Computer science) |v Congresses | |
| 650 | 0 | 7 | |a Computeralgebra |0 (DE-588)4010449-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Gruppentheorie |0 (DE-588)4072157-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Reduktionssystem |0 (DE-588)4194895-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Ascona |2 gnd-content | |
| 689 | 0 | 0 | |a Gruppentheorie |0 (DE-588)4072157-7 |D s |
| 689 | 0 | 1 | |a Computeralgebra |0 (DE-588)4010449-7 |D s |
| 689 | 0 | 2 | |a Reduktionssystem |0 (DE-588)4194895-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Bronstein, Manuel |e Sonstige |4 oth | |
| 830 | 0 | |a Progress in computer science and applied logic |v 15 |w (DE-604)BV004157568 |9 15 | |
| 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=007940774&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007940774 | ||
Datensatz im Suchindex
| _version_ | 1804126309850284032 |
|---|---|
| adam_text | Contents
Introduction vii
B. Amrhein, R. Bilndgen, W. Kiichlin,
Parallel Completion Techniques 1
J. Apel, The Computation of Grobner Bases Using
an Alternative Algorithm 35
R. Bundgen, Symmetrization Based Completion 47
M. Gobel, On the Reduction of G invariant Polynomials for
an Arbitrary Permutation Groups G 71
E. Green, T. Mora, V. Ufnarovski,
The Non Commutaive Grobner Freaks 93
B. Keller, Alternatives in Implementing Noncommutative
Grobner Basis Systems 105
K. Madlener, B. Reinert, String Rewriting and Grobner Bases
A General Approach to Monoid and Group Rings 127
D. Mall, Grobner Fans and Projective Schemes 183
C. Marche, Normalized Rewriting: A Unified View of
Knuth Bendix Completion and Grobner Bases Computation 195
U. Martin, New Directions for Syntactic Termination Orderings 211
M. Pesch, Two sided Grobner Bases in Iterated Ore Extensions 227
A. Petho, J. Stein, T. Weis, H. G. Zimmer,
Computing the Torsion Group of Elliptic Curves by
the Method of Grobner Bases 247
P. Strogova, Finding a Finite Group presentation Using Rewriting 269
A. Widiger, Deciding Degree Four Identities for Alternative
Rings by Rewriting 279
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV011767267 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 |
| callnumber-search | QA267 |
| callnumber-sort | QA 3267 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SD 1995 ST 600 |
| classification_tum | DAT 554f |
| ctrlnum | (OCoLC)38410915 (DE-599)BVBBV011767267 |
| dewey-full | 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 |
| dewey-search | 005.13/1 |
| dewey-sort | 15.13 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02156nam a2200529 cb4500</leader><controlfield tag="001">BV011767267</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110620 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980202s1998 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">952732696</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3764359013</subfield><subfield code="c">(Basel ...) Gb. : ca. DM 148.00, ca. S 1081.00, ca. sfr 128.00</subfield><subfield code="9">3-7643-5901-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0817659013</subfield><subfield code="c">(Boston) Gb.</subfield><subfield code="9">0-8176-5901-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)38410915</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011767267</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1995</subfield><subfield code="0">(DE-625)142729:</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">DAT 554f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Symbolic rewriting techniques</subfield><subfield code="c">Manuel Bronstein ..., ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Basel [u.a.]</subfield><subfield code="b">Birkhäuser</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">288 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="1" ind2=" "><subfield code="a">Progress in computer science and applied logic</subfield><subfield code="v">15</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Gröbner bases</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Numerical analysis</subfield><subfield code="x">Data processing</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Rewriting systems (Computer science)</subfield><subfield code="v">Congresses</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">Gruppentheorie</subfield><subfield code="0">(DE-588)4072157-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Reduktionssystem</subfield><subfield code="0">(DE-588)4194895-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1995</subfield><subfield code="z">Ascona</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Gruppentheorie</subfield><subfield code="0">(DE-588)4072157-7</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="2"><subfield code="a">Reduktionssystem</subfield><subfield code="0">(DE-588)4194895-6</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">Bronstein, Manuel</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Progress in computer science and applied logic</subfield><subfield code="v">15</subfield><subfield code="w">(DE-604)BV004157568</subfield><subfield code="9">15</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=007940774&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-007940774</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Ascona gnd-content |
| genre_facet | Konferenzschrift 1995 Ascona |
| id | DE-604.BV011767267 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:15:25Z |
| institution | BVB |
| isbn | 3764359013 0817659013 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007940774 |
| oclc_num | 38410915 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-29T DE-634 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-29T DE-634 |
| physical | 288 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Birkhäuser |
| record_format | marc |
| series | Progress in computer science and applied logic |
| series2 | Progress in computer science and applied logic |
| spelling | Symbolic rewriting techniques Manuel Bronstein ..., ed. Basel [u.a.] Birkhäuser 1998 288 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Progress in computer science and applied logic 15 Datenverarbeitung Gröbner bases Congresses Numerical analysis Data processing Congresses Rewriting systems (Computer science) Congresses Computeralgebra (DE-588)4010449-7 gnd rswk-swf Gruppentheorie (DE-588)4072157-7 gnd rswk-swf Reduktionssystem (DE-588)4194895-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Ascona gnd-content Gruppentheorie (DE-588)4072157-7 s Computeralgebra (DE-588)4010449-7 s Reduktionssystem (DE-588)4194895-6 s DE-604 Bronstein, Manuel Sonstige oth Progress in computer science and applied logic 15 (DE-604)BV004157568 15 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007940774&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Symbolic rewriting techniques Progress in computer science and applied logic Datenverarbeitung Gröbner bases Congresses Numerical analysis Data processing Congresses Rewriting systems (Computer science) Congresses Computeralgebra (DE-588)4010449-7 gnd Gruppentheorie (DE-588)4072157-7 gnd Reduktionssystem (DE-588)4194895-6 gnd |
| subject_GND | (DE-588)4010449-7 (DE-588)4072157-7 (DE-588)4194895-6 (DE-588)1071861417 |
| title | Symbolic rewriting techniques |
| title_auth | Symbolic rewriting techniques |
| title_exact_search | Symbolic rewriting techniques |
| title_full | Symbolic rewriting techniques Manuel Bronstein ..., ed. |
| title_fullStr | Symbolic rewriting techniques Manuel Bronstein ..., ed. |
| title_full_unstemmed | Symbolic rewriting techniques Manuel Bronstein ..., ed. |
| title_short | Symbolic rewriting techniques |
| title_sort | symbolic rewriting techniques |
| topic | Datenverarbeitung Gröbner bases Congresses Numerical analysis Data processing Congresses Rewriting systems (Computer science) Congresses Computeralgebra (DE-588)4010449-7 gnd Gruppentheorie (DE-588)4072157-7 gnd Reduktionssystem (DE-588)4194895-6 gnd |
| topic_facet | Datenverarbeitung Gröbner bases Congresses Numerical analysis Data processing Congresses Rewriting systems (Computer science) Congresses Computeralgebra Gruppentheorie Reduktionssystem Konferenzschrift 1995 Ascona |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007940774&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV004157568 |
| work_keys_str_mv | AT bronsteinmanuel symbolicrewritingtechniques |