The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers:
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Singapore u.a.
World Scientific
1985
|
| Schriftenreihe: | Series in computer science
2 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 246 S. Ill. |
| ISBN: | 9971500213 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000493105 | ||
| 003 | DE-604 | ||
| 005 | 19920312 | ||
| 007 | t| | ||
| 008 | 870612s1985 xx a||| |||| 00||| eng d | ||
| 020 | |a 9971500213 |9 9971-50-021-3 | ||
| 035 | |a (OCoLC)12553460 | ||
| 035 | |a (DE-599)BVBBV000493105 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G | ||
| 050 | 0 | |a QA155.7.E4 | |
| 082 | 0 | |a 512/.14/0285 |2 19 | |
| 084 | |a DAT 702f |2 stub | ||
| 111 | 2 | |a International Symposium on Symbolic and Algebraic Computation by Computers |n 2 |d 1984 |c Wako |j Verfasser |0 (DE-588)800775-5 |4 aut | |
| 245 | 1 | 0 | |a The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers |c ed. by N. Inada ... |
| 264 | 1 | |a Singapore u.a. |b World Scientific |c 1985 | |
| 300 | |a VIII, 246 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Series in computer science |v 2 | |
| 650 | 4 | |a Algèbre - Informatique - Congrès | |
| 650 | 7 | |a calcul formel |2 inriac | |
| 650 | 7 | |a flats |2 inriac | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Algebra |x Data processing |v Congresses | |
| 650 | 0 | 7 | |a Algebra |0 (DE-588)4001156-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1984 |z Wako |2 gnd-content | |
| 689 | 0 | 0 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 0 | 1 | |a Algebra |0 (DE-588)4001156-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Inada, Nobuyuki |e Sonstige |4 oth | |
| 710 | 2 | |a Rikagaku Kenkyūsho (Wako) |e Sonstige |0 (DE-588)138672-4 |4 oth | |
| 830 | 0 | |a Series in computer science |v 2 |w (DE-604)BV004586864 |9 2 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000304910&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-000304910 | |
Datensatz im Suchindex
| _version_ | 1820875971616571392 |
|---|---|
| adam_text |
SERIES IN COMPUTER SCIENCE * VOL. 2 THE SECOND RIKEN INTERNATIONAL
SYMPOSIUM 1 ON SYMBOLIC AND ALGEBRAIC COMPUTATION BY COMPUTERS EDITED BY
N.INADA T. SOMA INFORMATION SCIENCE LABORATORY THE INSTITUTE OF PHYSICAL
AND CHEMICAL RESEARCH (RIKEN) WAKO-SHI. SAITAMA 351-01 JAPAN
UNIVERSITATSBIBLIOTHEK HANNOVER TECHNISCHE INFORMATIONSBIBLIOTHEK VII
CONTENTS PREFACE V D. R. STOUTEMYER POLYNOMIAL REMAINDER SEQUENCE
GREATEST COMMON DIVISORS REVISITED 1 J. B. MARTI THE ROLE OF EXPLANATION
IN SYMBOLIC COMPUTATION 13 N. INADA, M. SUZUKI, K. SHIMIZU AND M. SATO
OVERVIEW AND CURRENT STATUS OF THE FLATS 35 J. PADGET AND J. FITCH THE
RATIONALE OF LIER; A CONSIDERED LISP 41 J. CALMET AND I. COHEN SYMBOLIC
MANIPULATION OF RECURRENCE RELATIONS AN APPROACH TO THE MANIPULATION OF
SPECIAL FUNCTIONS 55 D. Y. Y. YUN TOWARDS A SYMBOLIC MATHEMATICAL
KNOWLEDGE BASE 67 B. BUCHBERGER A SURVEY ON THE METHOD OF GROEBNER BASES
FOR SOLVING PROBLEMS IN CONNECTION WITH SYSTEMS OF MULTI-VARIATE
POLYNOMIALS 69 T.IDA TOWARDS A PARALLEL REDUCTION ARCHITECTURE 85 K. F.
LOE, N. OHSAWA AND E. GOTO CIRCUIT SIMULATION CODE GENERATION BY
COMPUTER ALGEBRA 87 VIM S. MORITSUGU, N. INADA AND E. GOTO SYMBOLIC
NEWTON ITERATION AND ITS APPLICATION 105 H. KODAIRA AND H. TOSHIMA GINI
COEFFICIENT OF WEALTH IN LIFE CYCLE MODEL 119 S. WATANABE ANOTHER TOPIC
IN SOLVING DIFFERENTIAL EQUATIONS 153 S. KATSURA APPLICATION OF THE
FORMULA MANIPULATING SYSTEM TO STATISTICAL MECHANICS * FOCUSING ON THE
SPIN GLASS OF THE BOND-RANDOM ISING MODEL 155 T. SOMA RECENT
APPLICATIONS OF REDUCE IN RIKEN 181 J. H. DAVENPORT CLOSED FORM
SOLUTIONS OF ORDINARY DIFFERENTIAL EQUATIONS 183 T. J. W. CLARKE, A. C.
NORMAN AND W. R. STOYE SPEEDING UP THE SKIM LIST PROCESSOR WITH CACHES
197 E. GOTO AND K. SHIMIZU ARCHITECTURE OF A JOSEPHSON COMPUTER
(FLATS-3) 205 A. C. HEARN STRUCTURE: THE KEY TO IMPROVED ALGEBRAIC
COMPUTATION 215 APPENDIX E. GOTO ET AL. FLATS: A MACHINE FOR SYMBOLIC
AND ALGEBRAIC MANIPULATION 231 |
| any_adam_object | 1 |
| author_corporate | International Symposium on Symbolic and Algebraic Computation by Computers Wako |
| author_corporate_role | aut |
| author_facet | International Symposium on Symbolic and Algebraic Computation by Computers Wako |
| author_sort | International Symposium on Symbolic and Algebraic Computation by Computers Wako |
| building | Verbundindex |
| bvnumber | BV000493105 |
| 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 | SS 1984 |
| classification_tum | DAT 702f |
| ctrlnum | (OCoLC)12553460 (DE-599)BVBBV000493105 |
| dewey-full | 512/.14/0285 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra |
| dewey-raw | 512/.14/0285 |
| dewey-search | 512/.14/0285 |
| dewey-sort | 3512 214 3285 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV000493105</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19920312</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">870612s1985 xx a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9971500213</subfield><subfield code="9">9971-50-021-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)12553460</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000493105</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-12</subfield><subfield code="a">DE-91G</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/.14/0285</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 702f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Symposium on Symbolic and Algebraic Computation by Computers</subfield><subfield code="n">2</subfield><subfield code="d">1984</subfield><subfield code="c">Wako</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)800775-5</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers</subfield><subfield code="c">ed. by N. Inada ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore u.a.</subfield><subfield code="b">World Scientific</subfield><subfield code="c">1985</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 246 S.</subfield><subfield code="b">Ill.</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">Series in computer science</subfield><subfield code="v">2</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algèbre - Informatique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul formel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">flats</subfield><subfield code="2">inriac</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><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</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">1984</subfield><subfield code="z">Wako</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</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">Inada, Nobuyuki</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Rikagaku Kenkyūsho (Wako)</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)138672-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Series in computer science</subfield><subfield code="v">2</subfield><subfield code="w">(DE-604)BV004586864</subfield><subfield code="9">2</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=000304910&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000304910</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1984 Wako gnd-content |
| genre_facet | Konferenzschrift 1984 Wako |
| id | DE-604.BV000493105 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:24:07Z |
| institution | BVB |
| institution_GND | (DE-588)800775-5 (DE-588)138672-4 |
| isbn | 9971500213 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000304910 |
| oclc_num | 12553460 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM |
| owner_facet | DE-12 DE-91G DE-BY-TUM |
| physical | VIII, 246 S. Ill. |
| publishDate | 1985 |
| publishDateSearch | 1985 |
| publishDateSort | 1985 |
| publisher | World Scientific |
| record_format | marc |
| series | Series in computer science |
| series2 | Series in computer science |
| spelling | International Symposium on Symbolic and Algebraic Computation by Computers 2 1984 Wako Verfasser (DE-588)800775-5 aut The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers ed. by N. Inada ... Singapore u.a. World Scientific 1985 VIII, 246 S. Ill. txt rdacontent n rdamedia nc rdacarrier Series in computer science 2 Algèbre - Informatique - Congrès calcul formel inriac flats inriac Datenverarbeitung Algebra Data processing Congresses Algebra (DE-588)4001156-2 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1984 Wako gnd-content Datenverarbeitung (DE-588)4011152-0 s Algebra (DE-588)4001156-2 s DE-604 Inada, Nobuyuki Sonstige oth Rikagaku Kenkyūsho (Wako) Sonstige (DE-588)138672-4 oth Series in computer science 2 (DE-604)BV004586864 2 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000304910&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers Series in computer science Algèbre - Informatique - Congrès calcul formel inriac flats inriac Datenverarbeitung Algebra Data processing Congresses Algebra (DE-588)4001156-2 gnd Datenverarbeitung (DE-588)4011152-0 gnd |
| subject_GND | (DE-588)4001156-2 (DE-588)4011152-0 (DE-588)1071861417 |
| title | The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers |
| title_auth | The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers |
| title_exact_search | The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers |
| title_full | The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers ed. by N. Inada ... |
| title_fullStr | The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers ed. by N. Inada ... |
| title_full_unstemmed | The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers ed. by N. Inada ... |
| title_short | The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers |
| title_sort | the second riken international symposium on symbolic and algebraic computation by computers |
| topic | Algèbre - Informatique - Congrès calcul formel inriac flats inriac Datenverarbeitung Algebra Data processing Congresses Algebra (DE-588)4001156-2 gnd Datenverarbeitung (DE-588)4011152-0 gnd |
| topic_facet | Algèbre - Informatique - Congrès calcul formel flats Datenverarbeitung Algebra Data processing Congresses Algebra Konferenzschrift 1984 Wako |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000304910&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV004586864 |
| work_keys_str_mv | AT internationalsymposiumonsymbolicandalgebraiccomputationbycomputerswako thesecondrikeninternationalsymposiumonsymbolicandalgebraiccomputationbycomputers AT inadanobuyuki thesecondrikeninternationalsymposiumonsymbolicandalgebraiccomputationbycomputers AT rikagakukenkyushowako thesecondrikeninternationalsymposiumonsymbolicandalgebraiccomputationbycomputers |