Symbolic Rewriting Techniques:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Basel
Birkhäuser Basel
1998
|
| Schriftenreihe: | Progress in Computer Science and Applied Logic
15 |
| Schlagwörter: | |
| Links: | https://doi.org/10.1007/978-3-0348-8800-4 |
| Beschreibung: | Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and are of great use when investigating the structure of the solutions. Such techniques appear in many important areas of research within computer algebra: • the Knuth-Bendix completion for groups, monoids and general term-rewriting systems, • the Buchberger algorithm for Gröbner bases, • the Ritt-Wu characteristic set method for ordinary differential equations, and • the Riquier-Janet method for partial differential equations. This volume contains invited and contributed papers to the Symbolic Rewriting Techniques workshop, which was held at the Centro Stefano Franscini in Ascona, Switzerland, from April 30 to May 4, 1995. That workshop brought together 40 researchers from various areas of rewriting techniques, the main goal being the investigation of common threads and methods. Following the workshops, each contribution was formally refereed and 14 papers were selected for publication |
| Umfang: | 1 Online-Ressource (VII, 288 p) |
| ISBN: | 9783034888004 9783034897792 |
| DOI: | 10.1007/978-3-0348-8800-4 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042422235 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1998 xx o|||| 00||| eng d | ||
| 020 | |a 9783034888004 |c Online |9 978-3-0348-8800-4 | ||
| 020 | |a 9783034897792 |c Print |9 978-3-0348-9779-2 | ||
| 024 | 7 | |a 10.1007/978-3-0348-8800-4 |2 doi | |
| 035 | |a (OCoLC)1047702289 | ||
| 035 | |a (DE-599)BVBBV042422235 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Bronstein, Manuel |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Symbolic Rewriting Techniques |c edited by Manuel Bronstein, Volker Weispfenning, Johannes Grabmeier |
| 264 | 1 | |a Basel |b Birkhäuser Basel |c 1998 | |
| 300 | |a 1 Online-Ressource (VII, 288 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Progress in Computer Science and Applied Logic |v 15 | |
| 500 | |a Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and are of great use when investigating the structure of the solutions. Such techniques appear in many important areas of research within computer algebra: • the Knuth-Bendix completion for groups, monoids and general term-rewriting systems, • the Buchberger algorithm for Gröbner bases, • the Ritt-Wu characteristic set method for ordinary differential equations, and • the Riquier-Janet method for partial differential equations. This volume contains invited and contributed papers to the Symbolic Rewriting Techniques workshop, which was held at the Centro Stefano Franscini in Ascona, Switzerland, from April 30 to May 4, 1995. That workshop brought together 40 researchers from various areas of rewriting techniques, the main goal being the investigation of common threads and methods. Following the workshops, each contribution was formally refereed and 14 papers were selected for publication | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Information theory | |
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Mathematics, general | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Reduktionssystem |0 (DE-588)4194895-6 |2 gnd |9 rswk-swf |
| 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 |
| 655 | 7 | |8 1\p |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 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Weispfenning, Volker |e Sonstige |4 oth | |
| 700 | 1 | |a Grabmeier, Johannes |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-0348-8800-4 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA | ||
| 912 | |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027857652 | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 2069244 |
|---|---|
| _version_ | 1821931233709391873 |
| any_adam_object | |
| author | Bronstein, Manuel |
| author_facet | Bronstein, Manuel |
| author_role | aut |
| author_sort | Bronstein, Manuel |
| author_variant | m b mb |
| building | Verbundindex |
| bvnumber | BV042422235 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)1047702289 (DE-599)BVBBV042422235 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| doi_str_mv | 10.1007/978-3-0348-8800-4 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03229nam a2200613zcb4500</leader><controlfield tag="001">BV042422235</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1998 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783034888004</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-0348-8800-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783034897792</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-0348-9779-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-0348-8800-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1047702289</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042422235</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bronstein, Manuel</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Symbolic Rewriting Techniques</subfield><subfield code="c">edited by Manuel Bronstein, Volker Weispfenning, Johannes Grabmeier</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Basel</subfield><subfield code="b">Birkhäuser Basel</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VII, 288 p)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Progress in Computer Science and Applied Logic</subfield><subfield code="v">15</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and are of great use when investigating the structure of the solutions. Such techniques appear in many important areas of research within computer algebra: • the Knuth-Bendix completion for groups, monoids and general term-rewriting systems, • the Buchberger algorithm for Gröbner bases, • the Ritt-Wu characteristic set method for ordinary differential equations, and • the Riquier-Janet method for partial differential equations. This volume contains invited and contributed papers to the Symbolic Rewriting Techniques workshop, which was held at the Centro Stefano Franscini in Ascona, Switzerland, from April 30 to May 4, 1995. That workshop brought together 40 researchers from various areas of rewriting techniques, the main goal being the investigation of common threads and methods. Following the workshops, each contribution was formally refereed and 14 papers were selected for publication</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</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="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="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><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="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Weispfenning, Volker</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Grabmeier, Johannes</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-0348-8800-4</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027857652</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)1071861417 Konferenzschrift 1995 Ascona gnd-content |
| genre_facet | Konferenzschrift 1995 Ascona |
| id | DE-604.BV042422235 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T17:10:46Z |
| institution | BVB |
| isbn | 9783034888004 9783034897792 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027857652 |
| oclc_num | 1047702289 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (VII, 288 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Birkhäuser Basel |
| record_format | marc |
| series2 | Progress in Computer Science and Applied Logic |
| spellingShingle | Bronstein, Manuel Symbolic Rewriting Techniques Computer science Information theory Mathematics Computer Science Theory of Computation Mathematics, general Informatik Mathematik Reduktionssystem (DE-588)4194895-6 gnd Computeralgebra (DE-588)4010449-7 gnd Gruppentheorie (DE-588)4072157-7 gnd |
| subject_GND | (DE-588)4194895-6 (DE-588)4010449-7 (DE-588)4072157-7 (DE-588)1071861417 |
| title | Symbolic Rewriting Techniques |
| title_auth | Symbolic Rewriting Techniques |
| title_exact_search | Symbolic Rewriting Techniques |
| title_full | Symbolic Rewriting Techniques edited by Manuel Bronstein, Volker Weispfenning, Johannes Grabmeier |
| title_fullStr | Symbolic Rewriting Techniques edited by Manuel Bronstein, Volker Weispfenning, Johannes Grabmeier |
| title_full_unstemmed | Symbolic Rewriting Techniques edited by Manuel Bronstein, Volker Weispfenning, Johannes Grabmeier |
| title_short | Symbolic Rewriting Techniques |
| title_sort | symbolic rewriting techniques |
| topic | Computer science Information theory Mathematics Computer Science Theory of Computation Mathematics, general Informatik Mathematik Reduktionssystem (DE-588)4194895-6 gnd Computeralgebra (DE-588)4010449-7 gnd Gruppentheorie (DE-588)4072157-7 gnd |
| topic_facet | Computer science Information theory Mathematics Computer Science Theory of Computation Mathematics, general Informatik Mathematik Reduktionssystem Computeralgebra Gruppentheorie Konferenzschrift 1995 Ascona |
| url | https://doi.org/10.1007/978-3-0348-8800-4 |
| work_keys_str_mv | AT bronsteinmanuel symbolicrewritingtechniques AT weispfenningvolker symbolicrewritingtechniques AT grabmeierjohannes symbolicrewritingtechniques |