ISSAC 98: August 13 - 15, 1998 University of Rostock, Germany ; proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
New York
ACM Press
1998
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Erg. u.d.T.: ISSAC <1998, Rostock>: Poster session abstracts of the 1998 International Symposium on Symbolic and Algebraic Computation |
| Physical Description: | XXII, 327 S. graph. Darst. |
| ISBN: | 1581130023 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011990163 | ||
| 003 | DE-604 | ||
| 005 | 20110808 | ||
| 007 | t| | ||
| 008 | 980604s1998 xx d||| |||| 10||| eng d | ||
| 020 | |a 1581130023 |9 1-58113-002-3 | ||
| 035 | |a (OCoLC)476965483 | ||
| 035 | |a (DE-599)BVBBV011990163 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-29T |a DE-11 |a DE-706 | ||
| 050 | 0 | |a QA155.7.E4 | |
| 082 | 0 | |a 004.0151 |2 21 | |
| 084 | |a DAT 706f |2 stub | ||
| 111 | 2 | |a ISSAC |n 23 |d 1998 |c Rostock |j Verfasser |0 (DE-588)5304373-X |4 aut | |
| 245 | 1 | 0 | |a ISSAC 98 |b August 13 - 15, 1998 University of Rostock, Germany ; proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation |c Oliver Gloor, ed. |
| 246 | 1 | 3 | |a Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation |
| 264 | 1 | |a New York |b ACM Press |c 1998 | |
| 300 | |a XXII, 327 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Erg. u.d.T.: ISSAC <1998, Rostock>: Poster session abstracts of the 1998 International Symposium on Symbolic and Algebraic Computation | ||
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Algebra |x Data processing |v Congresses | |
| 650 | 4 | |a Mathematics |x Data processing |v Congresses | |
| 650 | 0 | 7 | |a Nichtnumerische Datenverarbeitung |0 (DE-588)4171777-6 |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 1998 |z Rostock |2 gnd-content | |
| 689 | 0 | 0 | |a Nichtnumerische Datenverarbeitung |0 (DE-588)4171777-6 |D s |
| 689 | 0 | 1 | |a Computeralgebra |0 (DE-588)4010449-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gloor, Oliver |e Sonstige |4 oth | |
| 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=008113799&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008113799 | |
Record in the Search Index
| _version_ | 1820882396206071808 |
|---|---|
| adam_text |
Table of Contents
Foreword iii
Program Chair's Message v
Editor's Preface vii
Table of Contents ix
Conference Organization xiii
Sponsors xv
Abstracts of Invited Presentations xvii
Tutorial Abstracts xxi
Thursday, August 13, 8:30 10:00
Session I: Symbolic Numeric Algorithms for Polynomials I
An Analysis of Cancellation Error in Multivariate Hensel Construction
with Floating Point Number Arithmetic 1
Tatedki Sasaki, Satoshi Yamaguchi
Singular Systems of Polynomials 9
Hans J. Stetter, Gunther H. Thallinger
Polytime Algorithm for the Shortest Path in a Homotopy Class
amidst Semi Algebraic Obstacles in the Plane 17
D. Grigoriev, A. Slissenko
Complexity of Computing Semi algebraic Descriptions of the Connected Components
of a Semi algebraic Set 25
Saugata Basu, Richard Pollack, Marie Frangoise Roy
Thursday, August 13, 10:30 12:00
Session II: Software/Problem Solving Environments
FoxBox: A System for Manipulating Symbolic Objects in Black Box Representation 30
Angel Diaz, Erich Kaltofen
The GAP 4 Type System: Organising Algebraic Algorithms 38
Thomas Breuer, Steve Linton
Software Components using Symbolic Computation for Problem Solving Environments 46
Lakshman Y.N., Bruce Char, Jeremy Johnson
Coordinating Mathematical Content and Presentation Markup
in Interactive Mathematical Documents 54
Samuel S. Dooley
Software Components for Computer Algebra 62
Pietro Iglio, Giuseppe Attardi
ix
Thursday, August 13, 14:45 16:30
Session III: Applications, Formal Parallel Methods
Compound Program Packages and a Nonlinear Random Fluctuations Analysis 70
Igor E. Poloskov
Application of Computer Algebra Methods to the Construction of an Asteroid Motion Theory
based on Lie Transforms 76
Akmal A. Vakhidov, Irina V. Tupikova
Lightweight Formal Methods For Computer Algebra Systems 80
Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin
Approaches to Parallel Quantifier Elimination 88
Andreas Dolzmann, Oliver Gloor, Thomas Sturm
On Bivariate Hensel Lifting and its Parallelization 96
Laurent Bernardin
Friday, August 14, 8:30 10:15
Session IV: Matrix Algebra and Difference Equations
An O(n3) Algorithm for the Frobenius Normal Form 101
Arne Storjohann
The Modulo N Extended GCD Problem for Polynomials 105
Thorn Mulders, Arne Storjohann
Certifying Inconsistency of Sparse Linear Systems 113
M. Giesbrecht, A. Lobo, B. D. Saunders
Rational Solutions of Linear Difference Equations 120
Mark van Hoeij
Rational Solutions of First Order Linear Difference Systems 124
S. A. Abramov, M. A. Barkatou
Friday, August 14, 13:00 14:45
Session V: Algebra
A Subresultant Theory for Ore Polynomials with Applications 132
Ziming Li
Canonical Subalgebra Bases in Non commutative Polynomial Rings 140
Patrik Nordbeck
Efficient Algorithms for Ideal Operations (Extended Abstract) 147
Massimo Caboara, Carlo Traverso
Deciding Linear Disjointness of Finitely Generated Fields 153
Jorn Muller Quade, Martin Rotteler
Covering Monomial Algebras 161
R. Norenberg
x
Friday, August 14, 15:00 16:45
Session VI: Groups and their Representations
Fast Multiplication and Growth in Groups 165
Charles C. Sims
A Note on Nielsen Reduction and Coset Enumeration 171
Birgit Reinert, Klaus Madlener, Teo Mora
The 5 Modular Decomposition Matrix of the Sporadic Simple Conway Group Co3 179
Ju'rgen Muller
Solving Puzzles related to Permutation Groups 186
Sebastian Egner, Markus Piischel
Computing Normal Subgroups 194
Alexander Hulpke
Saturday, August 15, 8:30 10:00
Session VII: Symbolic Numerics
Multidimensional Chains of Recurrences 199
V. Kislenkov, V. Mitrofanov, E. Zima
Simplification of Symbolic Numerical Interval Expressions 207
E. D. Popova, C. P. Ullrich
Solving One and Two dimensional Exponential Polynomial Systems 215
Aude Maignan
Solving "Generalized Algebraic Equations" 222
Frederic Beringer, Frangoise Jung
Saturday, August 15, 10:15 12:00
Session VIII: Symbolic Numeric Algorithms for Polynomials II
Optimization Strategies for the Approximate GCD Problem 228
Paulina Chin, Robert M. Corless, George F. Corliss
Efficient Algorithms for Computing the Nearest Polynomial with Constrained Roots 236
Markus A. Hitz, Erich Kaltofen
MARS: A Maple/Matlab/C Resultant Based Solver 244
Aaron Wallack, Ioannis Z. Emiris, Dinesh Manocha
Controlled Iterative Methods for Solving Polynomial Systems 252
Didier Bondyfalat, Bernard Mourrain, Victor Y. Pan
Fast Numerical Improvement of Factors of Polynomials and of Partial Fractions 260
Peter Kirrinnis
xi
Saturday, August 15, 14:45 16:15
Session IX: Integration and Differential Equations
On the Equivalence Problem of Linear Differential Systems and its Application
for Factoring Completely Reducible Systems 268
M.A. Barkatou, E. Pfliigel
Computation of the Monodromy of Generalized Polylogarithms 276
Hoang Ngoc Minh, Michel Petitot, Joris Van Der Hoeven
High Degree Solutions of Low Degree Equations (Extended Abstract) 284
Jiirgen Gerhard
Recursive Integration of Piecewise Continuous Functions 290
D.J. Jeffrey, A.D. Rich
Saturday, August 15, 16:30 18:00
Session X: Grobner Bases and Applications
Simplification of Truth Invariant Cylindrical Algebraic Decompositions 295
Christopher W. Brown
Rational Parameterization of Real Algebraic Surfaces 302
Josef Schicho
Monomial Representations for Grobner Bases Computations 309
Olaf Bachmann, Hans Schonemann
A New Type of Canonical Grobner Bases in Polynomial Rings
over Von Neumann Regular Rings 317
Yosuke Sato
Author Index 323
ISSAC Bibliography 325
xii |
| any_adam_object | 1 |
| author_corporate | ISSAC Rostock |
| author_corporate_role | aut |
| author_facet | ISSAC Rostock |
| author_sort | ISSAC Rostock |
| building | Verbundindex |
| bvnumber | BV011990163 |
| 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 1998 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)476965483 (DE-599)BVBBV011990163 |
| 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 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV011990163</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110808</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">980604s1998 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1581130023</subfield><subfield code="9">1-58113-002-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)476965483</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011990163</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</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">004.0151</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">ISSAC</subfield><subfield code="n">23</subfield><subfield code="d">1998</subfield><subfield code="c">Rostock</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5304373-X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">ISSAC 98</subfield><subfield code="b">August 13 - 15, 1998 University of Rostock, Germany ; proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation</subfield><subfield code="c">Oliver Gloor, ed.</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">ACM Press</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 327 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="500" ind1=" " ind2=" "><subfield code="a">Erg. u.d.T.: ISSAC <1998, Rostock>: Poster session abstracts of the 1998 International Symposium on Symbolic and Algebraic Computation</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">Algebra</subfield><subfield code="x">Data processing</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield><subfield code="x">Data processing</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nichtnumerische Datenverarbeitung</subfield><subfield code="0">(DE-588)4171777-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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1998</subfield><subfield code="z">Rostock</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Nichtnumerische Datenverarbeitung</subfield><subfield code="0">(DE-588)4171777-6</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gloor, Oliver</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</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=008113799&sequence=000002&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-008113799</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1998 Rostock gnd-content |
| genre_facet | Konferenzschrift 1998 Rostock |
| id | DE-604.BV011990163 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:06:13Z |
| institution | BVB |
| institution_GND | (DE-588)5304373-X |
| isbn | 1581130023 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008113799 |
| oclc_num | 476965483 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-29T DE-11 DE-706 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-29T DE-11 DE-706 |
| physical | XXII, 327 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | ACM Press |
| record_format | marc |
| spelling | ISSAC 23 1998 Rostock Verfasser (DE-588)5304373-X aut ISSAC 98 August 13 - 15, 1998 University of Rostock, Germany ; proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation Oliver Gloor, ed. Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation New York ACM Press 1998 XXII, 327 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Erg. u.d.T.: ISSAC <1998, Rostock>: Poster session abstracts of the 1998 International Symposium on Symbolic and Algebraic Computation Datenverarbeitung Mathematik Algebra Data processing Congresses Mathematics Data processing Congresses Nichtnumerische Datenverarbeitung (DE-588)4171777-6 gnd rswk-swf Computeralgebra (DE-588)4010449-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1998 Rostock gnd-content Nichtnumerische Datenverarbeitung (DE-588)4171777-6 s Computeralgebra (DE-588)4010449-7 s DE-604 Gloor, Oliver Sonstige oth HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008113799&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | ISSAC 98 August 13 - 15, 1998 University of Rostock, Germany ; proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation Datenverarbeitung Mathematik Algebra Data processing Congresses Mathematics Data processing Congresses Nichtnumerische Datenverarbeitung (DE-588)4171777-6 gnd Computeralgebra (DE-588)4010449-7 gnd |
| subject_GND | (DE-588)4171777-6 (DE-588)4010449-7 (DE-588)1071861417 |
| title | ISSAC 98 August 13 - 15, 1998 University of Rostock, Germany ; proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation |
| title_alt | Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation |
| title_auth | ISSAC 98 August 13 - 15, 1998 University of Rostock, Germany ; proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation |
| title_exact_search | ISSAC 98 August 13 - 15, 1998 University of Rostock, Germany ; proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation |
| title_full | ISSAC 98 August 13 - 15, 1998 University of Rostock, Germany ; proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation Oliver Gloor, ed. |
| title_fullStr | ISSAC 98 August 13 - 15, 1998 University of Rostock, Germany ; proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation Oliver Gloor, ed. |
| title_full_unstemmed | ISSAC 98 August 13 - 15, 1998 University of Rostock, Germany ; proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation Oliver Gloor, ed. |
| title_short | ISSAC 98 |
| title_sort | issac 98 august 13 15 1998 university of rostock germany proceedings of the 1998 international symposium on symbolic and algebraic computation |
| title_sub | August 13 - 15, 1998 University of Rostock, Germany ; proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation |
| topic | Datenverarbeitung Mathematik Algebra Data processing Congresses Mathematics Data processing Congresses Nichtnumerische Datenverarbeitung (DE-588)4171777-6 gnd Computeralgebra (DE-588)4010449-7 gnd |
| topic_facet | Datenverarbeitung Mathematik Algebra Data processing Congresses Mathematics Data processing Congresses Nichtnumerische Datenverarbeitung Computeralgebra Konferenzschrift 1998 Rostock |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008113799&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT issacrostock issac98august13151998universityofrostockgermanyproceedingsofthe1998internationalsymposiumonsymbolicandalgebraiccomputation AT glooroliver issac98august13151998universityofrostockgermanyproceedingsofthe1998internationalsymposiumonsymbolicandalgebraiccomputation AT issacrostock proceedingsofthe1998internationalsymposiumonsymbolicandalgebraiccomputation AT glooroliver proceedingsofthe1998internationalsymposiumonsymbolicandalgebraiccomputation |