ISSAC 2002: July 07 - 10, 2002, Université de Lille, Lille, France ; proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
New York
ACM Press
2002
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XX, 276 S. |
| ISBN: | 1581134843 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV014579275 | ||
| 003 | DE-604 | ||
| 005 | 20030513 | ||
| 007 | t| | ||
| 008 | 020719s2002 xx |||| 10||| eng d | ||
| 020 | |a 1581134843 |9 1-58113-484-3 | ||
| 035 | |a (OCoLC)634692228 | ||
| 035 | |a (DE-599)BVBBV014579275 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G | ||
| 084 | |a DAT 702f |2 stub | ||
| 111 | 2 | |a ISSAC |n 27 |d 2002 |c Lille |j Verfasser |0 (DE-588)10048967-9 |4 aut | |
| 245 | 1 | 0 | |a ISSAC 2002 |b July 07 - 10, 2002, Université de Lille, Lille, France ; proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation |c International Symposium on Symbolic and Algebraic Computation 2002 ; Teo Mora, ed. |
| 246 | 1 | 3 | |a Proceedings |
| 246 | 1 | 3 | |a Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation |
| 264 | 1 | |a New York |b ACM Press |c 2002 | |
| 300 | |a XX, 276 S. | ||
| 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 2002 |z Lille |2 gnd-content | |
| 689 | 0 | 0 | |a Computeralgebra |0 (DE-588)4010449-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Mora, Teo |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=009910608&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009910608 | |
Record in the Search Index
| _version_ | 1820868162068938752 |
|---|---|
| adam_text |
Table
of
Contents
Foreword
.
VII
Conference organization
.
VIII
External reviewers
.
IX
List of authors
.
X
Sponsors
.
XI
Abstracts of invited talks
. XIII
Abstracts of invited tutorials
. XVII
Applicability of Zeilberger's Algorithm to Hypergeometric Terms
S.A Abramov
. 1
Fraction-free Row Reduction of Matrices of Skew Polynomials
B.
Beckermann,
H.
Cheng,
G.
Labahn . 8
Towards Better Simplification of Elementary Functions
R.J. Bradford, J.H. Davenport
. 16
Solutions of Linear Ordinary Differential Equations in Terms of Special
Functions
M. Bronstein, S. Lafaille
. 23
On the Efficiency and Optimality of Dixon-based Resultant Methods
A.D.
Chtcherba, D. Kapur
. 29
A Geometric-Numeric Algorithm for Absolute Factorization of Multivariate
Polynomials
R.M. Corless, A. Galligo, I.S. Kotsireas, S.M. Watt
. 37
Multihomogeneous Resultant Matrices
A. Dickenstein, I. Emiris
. 46
Editing Mathematical Content and Presentation Markup in Interactive
Mathematical Documents
S. S.
Dooley
. 55
Finite Field Linear Algebra Subroutines
J.-G. Dumas,
T. Gautier,
С.
Pernet . 63
A new Efficient Algorithm for Computing
Gröbner
Bases Without
Reduction to Zero (F5)
J.-C.
Faugère
. 75
Partial Solvability by Radicals
P. Fernandez-Ferreiros, M.A. Gomez-Molleda, L. Gonzalez-
Vega . 84
Computing the Topology of Real Algebraic Surfaces
E.
Fortuna,
P. Gianni, P.
Parenti,
С.
Traverso
. 92
Algorithms for Computing the Sparsest Shifts of Polynomials via the
Berlekamp/Massey Algorithm
M. Giesbrecht, E.
Kaltofen, W.-s.
Lee
. 101
A Modular GCD Algorithm over Number Fields Presented with
Multiple Extensions
M. van Hoeij, M. Monagan
. 109
A new Zero-test for Formal Power Series
J. van
der Hoeven .
117
Sparsity Issues in the Computation of Jacobian Matrices
S. Hossain, T. Steihaug
. 123
A Reduced Form for Perturbed Matrix Polynomials
C.-P. Jeannerod
. 131
An Output-sensitive Variant of the Baby Steps/Giant Steps
Determinant Algorithm
E.
Kaltofen . 138
Determinantal Formula for the Chow Form of a Toric Surface
A. Khetan
. 145
Computation of Canonical Forms for Ternary Cubics
I.A.
Kogan, M. Moreno
Maza
. 151
Simplification of Definite Sums of Rational Functions by Creative
Symmetrizing Method
H. Le
. 161
Factoring Zero-dimensional Ideals of Linear Partial Differential Operators
Z. Li,
F. Schwarz,
S. Tsarev
. 168
Polynomial-Time Normalizers for Permutation Groups with Restricted
Composition Factors
E.M.
Luks,
T.
Miyazaki . 176
The Differential
Hubert
Function of a Differential Rational Mapping can be
Computed in Polynomial Time
G. Matera,
A. Sedoglavic
. 184
Towards Certified Irreducibility Testing of
Divariate
Approximate
Polynomials
K. Nagasaka
. 192
Yet Another Practical Implementation of Polynomial Factorization over
Finite Fields
M.
Noro,
K. Yokoyama
. 200
Acceleration of Euclidean Algorithm and Extensions
V.Y. Pan, X. Wang
. 207
Some Observations on Familiar Numbers
D. Richardson, S. Langley
. 214
Towards Faster Real Algebraic Numbers
R. Rioboo
. 221
Simplification of Surface Parametrizations
J. Schicho
. 229
Degree Bounds
ала
Lifting Techniques for Triangular Sets
E. Schost
. 238
High-Order Lifting
A. Storjohann
. 246
An Alternative Approach to Comprehensive
Gröbner
Bases
A. Suzuki, Y. Sato
. 255
Numerical Stability and Stabilization of Groebner Basis Computation
С
Traverso, A. Zanoni
. 262
Canonical Comprehensive
Gröbner
Bases
V. Weispfenning
. 270 |
| any_adam_object | 1 |
| author_corporate | ISSAC Lille |
| author_corporate_role | aut |
| author_facet | ISSAC Lille |
| author_sort | ISSAC Lille |
| building | Verbundindex |
| bvnumber | BV014579275 |
| classification_rvk | SS 2002 |
| classification_tum | DAT 702f |
| ctrlnum | (OCoLC)634692228 (DE-599)BVBBV014579275 |
| 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">BV014579275</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030513</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">020719s2002 xx |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1581134843</subfield><subfield code="9">1-58113-484-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634692228</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014579275</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></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">ISSAC</subfield><subfield code="n">27</subfield><subfield code="d">2002</subfield><subfield code="c">Lille</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)10048967-9</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">ISSAC 2002</subfield><subfield code="b">July 07 - 10, 2002, Université de Lille, Lille, France ; proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation</subfield><subfield code="c">International Symposium on Symbolic and Algebraic Computation 2002 ; Teo Mora, ed.</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Proceedings</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Proceedings of the 2002 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">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 276 S.</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">2002</subfield><subfield code="z">Lille</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">Mora, Teo</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=009910608&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-009910608</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2002 Lille gnd-content |
| genre_facet | Konferenzschrift 2002 Lille |
| id | DE-604.BV014579275 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:19:59Z |
| institution | BVB |
| institution_GND | (DE-588)10048967-9 |
| isbn | 1581134843 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009910608 |
| oclc_num | 634692228 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM |
| owner_facet | DE-739 DE-91G DE-BY-TUM |
| physical | XX, 276 S. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | ACM Press |
| record_format | marc |
| spelling | ISSAC 27 2002 Lille Verfasser (DE-588)10048967-9 aut ISSAC 2002 July 07 - 10, 2002, Université de Lille, Lille, France ; proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation International Symposium on Symbolic and Algebraic Computation 2002 ; Teo Mora, ed. Proceedings Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation New York ACM Press 2002 XX, 276 S. txt rdacontent n rdamedia nc rdacarrier Computeralgebra (DE-588)4010449-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2002 Lille gnd-content Computeralgebra (DE-588)4010449-7 s DE-604 Mora, Teo Sonstige oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009910608&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | ISSAC 2002 July 07 - 10, 2002, Université de Lille, Lille, France ; proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation Computeralgebra (DE-588)4010449-7 gnd |
| subject_GND | (DE-588)4010449-7 (DE-588)1071861417 |
| title | ISSAC 2002 July 07 - 10, 2002, Université de Lille, Lille, France ; proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation |
| title_alt | Proceedings Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation |
| title_auth | ISSAC 2002 July 07 - 10, 2002, Université de Lille, Lille, France ; proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation |
| title_exact_search | ISSAC 2002 July 07 - 10, 2002, Université de Lille, Lille, France ; proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation |
| title_full | ISSAC 2002 July 07 - 10, 2002, Université de Lille, Lille, France ; proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation International Symposium on Symbolic and Algebraic Computation 2002 ; Teo Mora, ed. |
| title_fullStr | ISSAC 2002 July 07 - 10, 2002, Université de Lille, Lille, France ; proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation International Symposium on Symbolic and Algebraic Computation 2002 ; Teo Mora, ed. |
| title_full_unstemmed | ISSAC 2002 July 07 - 10, 2002, Université de Lille, Lille, France ; proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation International Symposium on Symbolic and Algebraic Computation 2002 ; Teo Mora, ed. |
| title_short | ISSAC 2002 |
| title_sort | issac 2002 july 07 10 2002 universite de lille lille france proceedings of the 2002 international symposium on symbolic and algebraic computation |
| title_sub | July 07 - 10, 2002, Université de Lille, Lille, France ; proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation |
| topic | Computeralgebra (DE-588)4010449-7 gnd |
| topic_facet | Computeralgebra Konferenzschrift 2002 Lille |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009910608&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT issaclille issac2002july07102002universitedelillelillefranceproceedingsofthe2002internationalsymposiumonsymbolicandalgebraiccomputation AT morateo issac2002july07102002universitedelillelillefranceproceedingsofthe2002internationalsymposiumonsymbolicandalgebraiccomputation AT issaclille proceedings AT morateo proceedings AT issaclille proceedingsofthe2002internationalsymposiumonsymbolicandalgebraiccomputation AT morateo proceedingsofthe2002internationalsymposiumonsymbolicandalgebraiccomputation |