Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation: July 21 - 23, 1997 ; Maui, Hawaii, USA
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
New York, NY
ACM
1997
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XXII, 414 S. graph. Darst. |
| ISBN: | 0897918754 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011597942 | ||
| 003 | DE-604 | ||
| 005 | 19980903 | ||
| 007 | t| | ||
| 008 | 971029s1997 xx d||| |||| 10||| eng d | ||
| 020 | |a 0897918754 |9 0-89791-875-4 | ||
| 035 | |a (OCoLC)246009525 | ||
| 035 | |a (DE-599)BVBBV011597942 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 |a DE-29T | ||
| 050 | 0 | |a QA76.95 | |
| 084 | |a DAT 706f |2 stub | ||
| 111 | 2 | |a ISSAC |n 22 |d 1997 |c Wailea, Hawaii |j Verfasser |0 (DE-588)5253153-3 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation |b July 21 - 23, 1997 ; Maui, Hawaii, USA |c Wolfgang W. Küchlin, ed. |
| 246 | 1 | 3 | |a ISSAC 97 |
| 246 | 1 | 3 | |a ISSAC 97 |
| 264 | 1 | |a New York, NY |b ACM |c 1997 | |
| 300 | |a XXII, 414 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Computeralgebra |0 (DE-588)4010449-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1997 |z Maui Hawaii |2 gnd-content | |
| 689 | 0 | 0 | |a Computeralgebra |0 (DE-588)4010449-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Küchlin, Wolfgang W. |e Sonstige |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007812683&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007812683 | |
Record in the Search Index
| _version_ | 1820882523531509760 |
|---|---|
| adam_text |
Table
of
Contents
Foreword
.
iii
Program Chair's Message
.
v
Editor's Preface
.
vii
Conference Organization
.ix
Reviewers
.xi
Sponsors
.xiii
Table of Contents
.xv
Abstracts of Invited Presentations
.xix
Tutorial Abstracts
.xxi
Algorithms I Monday, July
21, 8:00-9:30
(Session Chair:
Richard Fateman,
U. California at Berkeley, USA)
A Class of Logarithmic Integrals
.1
Victor Adamchik
Rankings of Partial Derivatives
.9
C.J. Rust, G.J. Reid
Lazy Multiplication of Formal Power Series
.17
Joris
van
der Hoeven
Uniform Quantifier Elimination and Constraint Query Processing
.21
Saugata
Basu
Algorithm Analysis
&
Complexity I Monday, July
21, 9:45-11:15
(Session Chair: George
Labahn, U.
Waterloo, Canada)
On the Worst-case Complexity of Integer Gaussian Elimination
.28
Xin
Gui
Fang, George
Havas
Further Analysis of Coppersmith's Block Wiedemann Algorithm for the Solution of Sparse
Linear Systems
.32
G. Villard
Fast Algorithms for Taylor Shifts and Certain Difference Equations
.40
Joachim
von zur
Gathen,
Jürgen Gerhard
Complexity and Uniformity of Elimination in
Presburger
Arithmetic
.48
Volker Weispfenning
Applications I Monday, July
21, 14:00-15:00
(Session Chair: Todd Torgersen, Wake Forest U., USA)
Constructing Faithful Matrix Representations of Lie Algebras
.54
W.
A. de
Graaf
Tensor Product Decomposition and Other Algorithms for Representations of Large Simple
Lie Algebras
.
60
Andrej
A. Zolotykh
Polynomial Time Algorithms for Modules over Finite Dimensional Algebras
.68
Alexander Chistov,
Gábor Ivanyos,
Marek Karpinski
Polynomial Algorithms I Monday, July
21, 16:00-17:00
(Session Chair: Liu Zhuojun,
Academia
Sinica,
PRC)
Finding Relations Among the Roots of an Irreducible Polynomial
.75
John
№Кау,
Richard Stauduhar
xv
Relative
Resolvents and Partition Tables in Galois Group Computations
.78
Antoine
Colin
Resolvent Computations by Resultants Without Extraneous Powers
.85
Frédéric Lehobey
Algorithms II Tuesday, July
22, 8:00-9:30
(Session Chair: Eugene
V. Zima,
Moscow U., Russia)
Application of Genetic Algorithms to the Algebraic Simplification of Tensor Polynomials
.93
M.
К
avian,
R.
G. McLenaghan,
К.О.
Geddes
Decomposing a Permutation into a Conjugated Tensor Product
.101
Sebastian Egner,
Markus Püschel,
Thomas Beth
A Solution to the Extended GCD Problem With Applications
.109
Arne Storjohann
Systems of Equations Tuesday, July
22, 10:15-11:45
(Session Chair: Bruno Buchberger,
RISC/Linz,
Austria)
Stabilization of Polynomial Systems Solving with Groebner Bases
.117
Hans J. Stetter
Fraction-free Computation of Matrix
Padé
Systems
.125
Bernhard Beckermann,
Stan Cabay, George Labahn
A Reordered
Schur
Factorization Method for Zero-dimensional Polynomial Systems with
Multiple Roots
.133
Robert M. Corless,
Patrizia
M.
Gianni, Barry M.
Trager
Extraneous Factors in the Dixon Resultant Formulation
.141
Deepak Kapur, Tushar Saxena
Differential Equations I Tuesday, July
22, 10:15-11:45
(Session Chair: Jacques Calmet, U. Karlsruhe, Germany)
Algorithms and Design for a Second-Order Automatic Differentiation Module
.149
Jason Abate, Christian
Bischof,
Lucas
Roh, Alan
Carle
On Symmetric Powers of Differential Operators
.156
Manuel Bronstein, Thorn Mulders, Jacques-Arthur Weil
An Algorithm for Computing Exponential Solutions of First Order Linear Differential Systems
.164
Eckhard Pflügel
A Method for the Integration of Solutions of Ore Equations
.172
Sergei A. Abramov, Mark van Hoeij
Algorithm Analysis
&
Complexity II Tuesday, July
22, 14:00-15:00
(Session Chair: Y.N. Lakshman, Diexel U., USA)
On Randomized Lanczos Algorithms
.176
Wayne Eberly, Erich
Kaltofen
Fast Polynomial Factorization Over High Algebraic Extensions of Finite Fields
.184
Erich
Kaltofen,
Victor Shoup
The Structure of Sparse Resultant Matrices
.189
loannis Z. Emiris, Victor Y. Pan
Applications II Tuesday, July
22, 14:00-15:00
(Session Chair: Kazuhiro Yokoyama, Fujitsu Labs, Japan)
A Sequence of Series for the Lambert
W
Function
.197
Robert M. Corless, David J. Jeffrey, Donald E.
Knuth
xvi
Meijer G
Function Representations
.205
Kelly Roach
Integral Closure of Noetherian Rings
.212
Patrizia
Gianni, Barry
Trager
Polynomial Algorithms II Tuesday, July
22, 16:00-17:00
(Session Chair: Keith Geddes, U. Waterloo, Canada)
A Numerical Absolute Primality Test for
Divariate
Polynomials
.217
André Golligo,
Stephen Watt
Polynomial Real Root Isolation using Approximate Arithmetic
.225
J.R. Johnson, Werner
Krandick
Asymptotically Fast Computation of Subresultants
.233
Daniel Reischert
Systems I Tuesday, July
22, 16:00-17:00
(Session Chair: Matu-Tarow Noda, Ehime U., Japan)
An OpenMath
1.0
Implementation
.241
Stéphane
Dalmas,
Marc Gaëtano,
Stephen
Watt
Network
Servers
for Symbolic Mathematics
.249
Richard J. Fateman
A Toolbox for Program Manipulation and Efficient Code Generation with an Application to
a Problem in Computer Vision
.257
Michael B. Monagan, Gladys Monagan
Polynomial Algorithms III Wednesday, July
23, 8:00-9:30
(Session Chair: George Collins, U. Delaware, USA)
Factoring Polynomials over Algebraic Number Fields via Norms
.265
Mark J.
Encarnación
GCD of Polynomials and Bezout Matrices
.271
Luca Gemignani
The Average Number of Modular Factors in Trager's Polynomial Factorization Algorithm
.278
Mark J.
Encarnación
A Modular Algorithm for Computing Greatest Common Right Divisors of Ore Polynomials
.282
Ziming Li,
István
Nemes
Differential Equations II Wednesday, July
23, 8:00-9:30
(Session Chair: Bob Caviness, U. Delaware, USA)
Minimal Completely Factorable Annihilators
.290
Sergei A. Abramov, Eugene
V. Zima
About the Newton Algorithm for Non-Linear Ordinary Differential Equations
.298
J. Delia Dora, F. Richard-Jung
Computer Evaluation of Cyclicity in Planar Cubic System
.305
Victor F. Edneral
Symbolic Manipulation of Integrodifferential Expressions and Factorization of Linear
Ordinary Differential Operators over Transcendental Extensions of a Differential Field
.310
S.P. Tsarev
Algorithms III Wednesday, July
23, 10:00-11:30
(Session Chair: Robert Codess, U. Western Ontario, Canada)
Rectilinear p-Piercing Problems
.316
Doron Nussbaum
xvii
Integration
of the
Signum, Piecewise
and Related Functions
.324
D.J. Jeffrey, G.
Labahn, M.
v. Mohrenschildt,
A.D.
Rich
The Minimised Geometric Buchberger Algorithm: An Optimal Algebraic Algorithm for
Integer Programming
.331
Qiang Li, Yi-ke Guo, Tetsuo Ida, John Darlington
Practical Integer Division with Karatsuba Complexity
.339
Tudor Jebelean
Geometry Wednesday, July
23, 10:00-11:30
(Session Chair: Vilmar Trevisan, UFRGS, Brazil)
Moduli Spaces and Symmetry Loci of Polynomial Maps
.342
M
as
ау о
Fujimura,
Kiyoko Nishizawa
A Relatively Optimal Rational Space Curve Reparametrization Algorithm Through Canonical
Divisors
.349
Carlos Andradas,
Tomás Recio,
J.
Rafael Sendra
On Computing the Dual of a Plane Algebraic Curve
.356
Emil Volcheck
Symbolic Computation of Object/Image Equations
.359
Peter F. Stiller
Systems II Wednesday, July
23, 15:00-16:00
(Session Chair: Michael Monagan, Simon
Fraser
17.,
Canada)
SIMATH
-
a Computer Algebra System for Number Theoretic Applications (survey paper)
.365
Horst
G.
Zimmer
Guarded Expressions in Practice
.376
Andreas Dolzmann, Thomas Sturm
A Survey of the
Theorema
Project
.384
Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea
Marin,
Elena
Tomuţa, Daniela
Vãsaru
Applications III Wednesday, July
23, 15:00-16:00
(Session Chair: Arjeh M. Cohen, RIACA, The Netherlands)
On the Computation of Conjugacy Classes in Permutation Groups
.392
John Cannon,
Bernd Souvignier
Computing with Subgroups of Automorphism Groups of Finite Groups
.400
Charles C. Sims
Families of Ideals in Statistics
.404
Massimo Caboara, Lorenzo Robbiano
Author Index
.411
ISSAC Bibliography
.413
XV1U |
| any_adam_object | 1 |
| author_corporate | ISSAC Wailea, Hawaii |
| author_corporate_role | aut |
| author_facet | ISSAC Wailea, Hawaii |
| author_sort | ISSAC Wailea, Hawaii |
| building | Verbundindex |
| bvnumber | BV011597942 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.95 |
| callnumber-search | QA76.95 |
| callnumber-sort | QA 276.95 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1997 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)246009525 (DE-599)BVBBV011597942 |
| 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">BV011597942</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19980903</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">971029s1997 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0897918754</subfield><subfield code="9">0-89791-875-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246009525</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011597942</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-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.95</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">22</subfield><subfield code="d">1997</subfield><subfield code="c">Wailea, Hawaii</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5253153-3</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation</subfield><subfield code="b">July 21 - 23, 1997 ; Maui, Hawaii, USA</subfield><subfield code="c">Wolfgang W. Küchlin, ed.</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">ISSAC 97</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">ISSAC 97</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">ACM</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 414 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="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">1997</subfield><subfield code="z">Maui Hawaii</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="700" ind1="1" ind2=" "><subfield code="a">Küchlin, Wolfgang W.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=007812683&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-007812683</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1997 Maui Hawaii gnd-content |
| genre_facet | Konferenzschrift 1997 Maui Hawaii |
| id | DE-604.BV011597942 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:08:15Z |
| institution | BVB |
| institution_GND | (DE-588)5253153-3 |
| isbn | 0897918754 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007812683 |
| oclc_num | 246009525 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-29T |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-29T |
| physical | XXII, 414 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | ACM |
| record_format | marc |
| spelling | ISSAC 22 1997 Wailea, Hawaii Verfasser (DE-588)5253153-3 aut Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation July 21 - 23, 1997 ; Maui, Hawaii, USA Wolfgang W. Küchlin, ed. ISSAC 97 New York, NY ACM 1997 XXII, 414 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Computeralgebra (DE-588)4010449-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 Maui Hawaii gnd-content Computeralgebra (DE-588)4010449-7 s DE-604 Küchlin, Wolfgang W. Sonstige oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007812683&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation July 21 - 23, 1997 ; Maui, Hawaii, USA Computeralgebra (DE-588)4010449-7 gnd |
| subject_GND | (DE-588)4010449-7 (DE-588)1071861417 |
| title | Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation July 21 - 23, 1997 ; Maui, Hawaii, USA |
| title_alt | ISSAC 97 |
| title_auth | Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation July 21 - 23, 1997 ; Maui, Hawaii, USA |
| title_exact_search | Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation July 21 - 23, 1997 ; Maui, Hawaii, USA |
| title_full | Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation July 21 - 23, 1997 ; Maui, Hawaii, USA Wolfgang W. Küchlin, ed. |
| title_fullStr | Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation July 21 - 23, 1997 ; Maui, Hawaii, USA Wolfgang W. Küchlin, ed. |
| title_full_unstemmed | Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation July 21 - 23, 1997 ; Maui, Hawaii, USA Wolfgang W. Küchlin, ed. |
| title_short | Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation |
| title_sort | proceedings of the 1997 international symposium on symbolic and algebraic computation july 21 23 1997 maui hawaii usa |
| title_sub | July 21 - 23, 1997 ; Maui, Hawaii, USA |
| topic | Computeralgebra (DE-588)4010449-7 gnd |
| topic_facet | Computeralgebra Konferenzschrift 1997 Maui Hawaii |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007812683&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT issacwaileahawaii proceedingsofthe1997internationalsymposiumonsymbolicandalgebraiccomputationjuly21231997mauihawaiiusa AT kuchlinwolfgangw proceedingsofthe1997internationalsymposiumonsymbolicandalgebraiccomputationjuly21231997mauihawaiiusa AT issacwaileahawaii issac97 AT kuchlinwolfgangw issac97 |