Design and implementation of symbolic computation systems: international symposium, DISCO '93, Gmunden, Austria, September 15 - 17, 1993 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1993
|
| Schriftenreihe: | Lecture notes in computer science
722 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 383 S. graph. Darst. |
| ISBN: | 354057235X 038757235X |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008319335 | ||
| 003 | DE-604 | ||
| 005 | 19931109 | ||
| 007 | t| | ||
| 008 | 931108s1993 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 931353319 |2 DE-101 | |
| 020 | |a 354057235X |9 3-540-57235-X | ||
| 020 | |a 038757235X |9 0-387-57235-X | ||
| 035 | |a (OCoLC)28721552 | ||
| 035 | |a (DE-599)BVBBV008319335 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE | ||
| 049 | |a DE-739 |a DE-384 |a DE-91G |a DE-29T |a DE-19 |a DE-20 |a DE-634 |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.9.S88I576 1993 | |
| 082 | 0 | |a 005.13/1 20 | |
| 082 | 0 | |a 005.13/1 |2 20 | |
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Design and implementation of symbolic computation systems |b international symposium, DISCO '93, Gmunden, Austria, September 15 - 17, 1993 ; proceedings |c Alfonso Miola (ed.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1993 | |
| 300 | |a XI, 383 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 722 | |
| 650 | 4 | |a Analyse numérique - Informatique - Congrès | |
| 650 | 4 | |a Mathématiques - Informatique - Congrès | |
| 650 | 7 | |a Programmatuurtechniek |2 gtt | |
| 650 | 7 | |a Symbolische logica |2 gtt | |
| 650 | 4 | |a Systèmes, Conception de - Congrès | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a System design -- Congresses | |
| 650 | 4 | |a Mathematics -- Data processing -- Congresses | |
| 650 | 4 | |a Numerical analysis -- Data processing -- Congresses | |
| 650 | 0 | 7 | |a Symbolischer Kalkül |0 (DE-588)4479212-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computeralgebra |0 (DE-588)4010449-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1993 |z Gmunden |2 gnd-content | |
| 689 | 0 | 0 | |a Computeralgebra |0 (DE-588)4010449-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Computeralgebra |0 (DE-588)4010449-7 |D s |
| 689 | 1 | 1 | |a Symbolischer Kalkül |0 (DE-588)4479212-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Miola, Alfonso |e Sonstige |4 oth | |
| 711 | 2 | |a DISCO |n 3 |d 1993 |c Gmunden |j Sonstige |0 (DE-588)2131886-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 722 |w (DE-604)BV000000607 |9 722 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005496600&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005496600 | |
Datensatz im Suchindex
| _version_ | 1820868050914639872 |
|---|---|
| adam_text |
CONTENTS
MATHEMATICS: A SYSTEM FOR DOING MATHEMATICS BY COMPUTER?. 1
B. BUCHBERGER (INVITED)
THEORETICAL ASPECTS
PROVING THE CORRECTNESS OF ALGEBRAIC IMPLEMENTATIONS BY
THE ISAR SYSTEM.2
B. BAUER, R. HENNICKER
SKETCHING CONCEPTS AND COMPUTATIONAL MODEL OF TROLL
LIGHT.17
M. GOGOLLA, S. CONRAD, R.HERZIG
ANALOGICAL TYPE THEORY.33
B. YI, J.XU
ALGORITHM IMPLEMENTATION
IMPROVING THE MULTIPRECISION EUCLIDEAN ALGORITHM. 45
T. JEBELEAN
STORAGE ALLOCATION FOR THE KARATSUBA INTEGER MULTIPLIATION ALGORITHM .
59
R. MAEDER
PROCESS SCHEDULING IN DSC AND THE LARGE
SPARSE LINEAR SYSTEMS CHALLENGE.66
A. DIAZ, M. HITZ, E. KALTOFEN, A. LOBO, T. VALENTE
PROGRAMMING WITH TYPES
GAUSS: A PARAMETERIZED DOMAIN OF COMPUTATION SYSTEM
WITH SUPPORT FOR SIGNATURE FUNCTIONS.81
M. B. MONAGAN (INVITED)
ON COHERENCE IN COMPUTER ALGEBRA
A. WEBER
95
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/931353319 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV008319335 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.S88I576 1993 |
| callnumber-search | QA76.9.S88I576 1993 |
| callnumber-sort | QA 276.9 S88 I576 41993 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1993 SS 4800 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)28721552 (DE-599)BVBBV008319335 |
| dewey-full | 005.13/120 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 20 005.13/1 |
| dewey-search | 005.13/1 20 005.13/1 |
| dewey-sort | 15.13 11 220 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| 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">BV008319335</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19931109</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">931108s1993 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">931353319</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354057235X</subfield><subfield code="9">3-540-57235-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">038757235X</subfield><subfield code="9">0-387-57235-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28721552</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008319335</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</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><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.S88I576 1993</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1 20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Design and implementation of symbolic computation systems</subfield><subfield code="b">international symposium, DISCO '93, Gmunden, Austria, September 15 - 17, 1993 ; proceedings</subfield><subfield code="c">Alfonso Miola (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 383 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">Lecture notes in computer science</subfield><subfield code="v">722</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Analyse numérique - Informatique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathématiques - Informatique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmatuurtechniek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Symbolische logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systèmes, Conception de - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics -- Data processing -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Numerical analysis -- Data processing -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Symbolischer Kalkül</subfield><subfield code="0">(DE-588)4479212-8</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1993</subfield><subfield code="z">Gmunden</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="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="1"><subfield code="a">Symbolischer Kalkül</subfield><subfield code="0">(DE-588)4479212-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Miola, Alfonso</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DISCO</subfield><subfield code="n">3</subfield><subfield code="d">1993</subfield><subfield code="c">Gmunden</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2131886-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">722</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">722</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=005496600&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-005496600</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1993 Gmunden gnd-content |
| genre_facet | Konferenzschrift 1993 Gmunden |
| id | DE-604.BV008319335 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:18:13Z |
| institution | BVB |
| institution_GND | (DE-588)2131886-4 |
| isbn | 354057235X 038757235X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005496600 |
| oclc_num | 28721552 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-91G DE-BY-TUM DE-29T DE-19 DE-BY-UBM DE-20 DE-634 DE-83 DE-11 DE-188 DE-706 |
| owner_facet | DE-739 DE-384 DE-91G DE-BY-TUM DE-29T DE-19 DE-BY-UBM DE-20 DE-634 DE-83 DE-11 DE-188 DE-706 |
| physical | XI, 383 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Design and implementation of symbolic computation systems international symposium, DISCO '93, Gmunden, Austria, September 15 - 17, 1993 ; proceedings Alfonso Miola (ed.) Berlin u.a. Springer 1993 XI, 383 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 722 Analyse numérique - Informatique - Congrès Mathématiques - Informatique - Congrès Programmatuurtechniek gtt Symbolische logica gtt Systèmes, Conception de - Congrès Datenverarbeitung Mathematik System design -- Congresses Mathematics -- Data processing -- Congresses Numerical analysis -- Data processing -- Congresses Symbolischer Kalkül (DE-588)4479212-8 gnd rswk-swf Computeralgebra (DE-588)4010449-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1993 Gmunden gnd-content Computeralgebra (DE-588)4010449-7 s DE-604 Symbolischer Kalkül (DE-588)4479212-8 s Miola, Alfonso Sonstige oth DISCO 3 1993 Gmunden Sonstige (DE-588)2131886-4 oth Lecture notes in computer science 722 (DE-604)BV000000607 722 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005496600&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Design and implementation of symbolic computation systems international symposium, DISCO '93, Gmunden, Austria, September 15 - 17, 1993 ; proceedings Lecture notes in computer science Analyse numérique - Informatique - Congrès Mathématiques - Informatique - Congrès Programmatuurtechniek gtt Symbolische logica gtt Systèmes, Conception de - Congrès Datenverarbeitung Mathematik System design -- Congresses Mathematics -- Data processing -- Congresses Numerical analysis -- Data processing -- Congresses Symbolischer Kalkül (DE-588)4479212-8 gnd Computeralgebra (DE-588)4010449-7 gnd |
| subject_GND | (DE-588)4479212-8 (DE-588)4010449-7 (DE-588)1071861417 |
| title | Design and implementation of symbolic computation systems international symposium, DISCO '93, Gmunden, Austria, September 15 - 17, 1993 ; proceedings |
| title_auth | Design and implementation of symbolic computation systems international symposium, DISCO '93, Gmunden, Austria, September 15 - 17, 1993 ; proceedings |
| title_exact_search | Design and implementation of symbolic computation systems international symposium, DISCO '93, Gmunden, Austria, September 15 - 17, 1993 ; proceedings |
| title_full | Design and implementation of symbolic computation systems international symposium, DISCO '93, Gmunden, Austria, September 15 - 17, 1993 ; proceedings Alfonso Miola (ed.) |
| title_fullStr | Design and implementation of symbolic computation systems international symposium, DISCO '93, Gmunden, Austria, September 15 - 17, 1993 ; proceedings Alfonso Miola (ed.) |
| title_full_unstemmed | Design and implementation of symbolic computation systems international symposium, DISCO '93, Gmunden, Austria, September 15 - 17, 1993 ; proceedings Alfonso Miola (ed.) |
| title_short | Design and implementation of symbolic computation systems |
| title_sort | design and implementation of symbolic computation systems international symposium disco 93 gmunden austria september 15 17 1993 proceedings |
| title_sub | international symposium, DISCO '93, Gmunden, Austria, September 15 - 17, 1993 ; proceedings |
| topic | Analyse numérique - Informatique - Congrès Mathématiques - Informatique - Congrès Programmatuurtechniek gtt Symbolische logica gtt Systèmes, Conception de - Congrès Datenverarbeitung Mathematik System design -- Congresses Mathematics -- Data processing -- Congresses Numerical analysis -- Data processing -- Congresses Symbolischer Kalkül (DE-588)4479212-8 gnd Computeralgebra (DE-588)4010449-7 gnd |
| topic_facet | Analyse numérique - Informatique - Congrès Mathématiques - Informatique - Congrès Programmatuurtechniek Symbolische logica Systèmes, Conception de - Congrès Datenverarbeitung Mathematik System design -- Congresses Mathematics -- Data processing -- Congresses Numerical analysis -- Data processing -- Congresses Symbolischer Kalkül Computeralgebra Konferenzschrift 1993 Gmunden |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005496600&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT miolaalfonso designandimplementationofsymboliccomputationsystemsinternationalsymposiumdisco93gmundenaustriaseptember15171993proceedings AT discogmunden designandimplementationofsymboliccomputationsystemsinternationalsymposiumdisco93gmundenaustriaseptember15171993proceedings |