ISSAC 2001: July 22 - 25, 2001, University of Western Ontario, London, Ontario, Canada ; proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
ACM Order Dep.
2001
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 352 S. graph. Darst. |
| ISBN: | 1581134177 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013875703 | ||
| 003 | DE-604 | ||
| 005 | 20030428 | ||
| 007 | t| | ||
| 008 | 010822s2001 xx d||| |||| 10||| eng d | ||
| 020 | |a 1581134177 |9 1-58113-417-7 | ||
| 035 | |a (OCoLC)51713500 | ||
| 035 | |a (DE-599)BVBBV013875703 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-20 |a DE-703 |a DE-29T | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 702f |2 stub | ||
| 111 | 2 | |a ISSAC |n 26 |d 2001 |c London, Ontario |j Verfasser |0 (DE-588)10027032-3 |4 aut | |
| 245 | 1 | 0 | |a ISSAC 2001 |b July 22 - 25, 2001, University of Western Ontario, London, Ontario, Canada ; proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation |c Bernard Mourrain, ed. |
| 246 | 1 | 3 | |a Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation |
| 264 | 1 | |a New York, NY |b ACM Order Dep. |c 2001 | |
| 300 | |a XII, 352 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 2001 |z London Ontario |2 gnd-content | |
| 689 | 0 | 0 | |a Computeralgebra |0 (DE-588)4010449-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Mourrain, Bernard |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=009492396&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009492396 | |
Datensatz im Suchindex
| _version_ | 1820868246518104064 |
|---|---|
| adam_text |
Table
of
Contents
Foreword
.
vii
Conference organization
.
viii
External reviewers
. ix
List of authors
.
x
Abstract of invited talks
. xi
On Solutions of Linear Functional Systems
.
ι
Sergei A. Abramov, Manuel Bronstein.
Minimal Decomposition of Indefinite Hypergeometric Sums
.7
Sergei A. Abramov, M. Petkovsek.
On the Barnes function
. 15
V. S. Adamchik.
Generic Ideals and Moreno-Socias Conjecture
.21
Edith Aguirre, Abdul
Salam
Jarrah,
Reinhard Laubenbacher.
Hybrid Sparse Resultant Matrices for Bivariate Systems
.24
Carlos
D
'Andrea, Ioannis Z. Emiris.
Maple's Evaluation Process as Constraint Contextual Rewriting
.32
Alessandro
Armando, Clemens
Bailarín.
FARDI! .
38
François Boulier, François Lemaire, Marc
Moreno Maza
Residual Resultant over the
Projective
Plane and the Implicitization Problem
.48
Laurent
Buse.
Families of Estimable Terms
.56
Massimo Caboara, Lorenzo Robbiano.
Computing All Factorizations in Zn\x]
.64
Howard Cheng, George Labahn.
Computation of Minimal Generators of Ideals of Fat Points
. 72
Francesco Cioffi, Ferruccio Orecchia.
Scalable Parallel Coset Enumeration Using Bulk Definition
. 77
Gene Cooperman, Victor
Grinberg.
Towards Factoring Bivariate Approximate Polynomials
. 85
Robert M. Corless, Mark W. Giesbrecht, Mark van Hoeij,
Ilias
S.
Kotsireas, Stephen M. Watt.
On Liouvillian Solutions of Linear Differential Equations of Order
4
and
5.93
Olivier Cormier.
Hybrid Computation
.101
Jean Delia Dora,
Aude
Maignan, Mihaela Mirica-Ruse, Sergio Yovine.
Modeling Inheritance as Coercion in a Symbolic Computation System
. 109
César Domínguez,
Julio
Rubio.
Computation of the Radical of Polynomial Ideals over Fields of Arbitrary Characteristic
. 116
Elisabetta
Fortuna, Patrizia
Gianni, Barry
Trager.
Polynomial Root Finding Using Iterated Eigenvalue Computation
. 121
Steven Fortune.
On Computer-Assisted Classification of Coupled
Integrable
Equations
. 129
Mikhail V. Foursov, Marc Moreno
Maza.
Semi-Numerical Determination of Irreducible Branches of a Reduced Space Curve
.137
Andre Galligo, David
Supprecht.
A Generalized Graeffe's Iteration for Evaluating Polynomials and Rational Functions
. 143
Luca Gemignani.
Symbolic-Interval Cooperation in Constraint Programming
. 150
Laurent Granvilliers, Eric Monftoy,
Frédéric Benhamou.
Unirational Fields of Transcendence Degree One and Functional Decomposition
.167
Jaime Gutierrez,
Rosario
Rubio,
David
Sevilla.
Solvability by Radicals from an Algorithmic Point of View
.
1
75
G.
Hanrot, F.
Morain.
Strongly-Local Reductions and the Complexity/Efficient Approximability of Algebra and Optimization on
Abstract Algebraic Structures
. 183
Harry B. Hunt, Madhav V.
Marathe,
Richard
E.
Stearns.
The Membership Problem for Ideals of Binomial Skew Polynomial Rings
. 192
LiuJinwang, LiuZhuojun, LiuXiaoqi, Wang Mingsheng.
Diagnosing and Correcting Student's Misconceptions in an Educational Computer Algebra System
195
Neven Jurkovic.
Dimensional Analysis in Computer Algebra
. 201
Raya
Khanin.
Hybrid System for Multi-language and Multi-environment Generation of Numerical Codes
.209
Joze Korelc.
Towards Approximations which Preserve Integrals
. 217
Elizabeth L. Mansfield, Peter
E
.
Hydon,
On Propagation of Equational Constraints in CAD-Based Quantifier Elimination
.223
Scott McCallum.
A Linear Space Algorithm for Computing the Hermite Normal Form
. 231
Daniele Micciancio, Bogdan Warinschi.
Remarks On
Gröbner
Basis For Ideals Under Composition
.237
Wang Mingsheng, Liu Zhuojun.
Algorithms for Trigonometric Polynomials
.245
Jamie Mulholland, Michael Monagan.
Univariate Polynomials: Nearly Optimal Algorithms for Factorization and Rootfinding
. 253
Victor
Y
Pan.
New Complexity Bounds for Cylindrical Decompositions of Sub-Pfaffian Sets
.268
Sowas Pericleous, Nicolai Vorobjov.
A Multivariate
Weierstrass
Iterative Rootfinder
.276
Olivier Ruatta.
Approximate Multivariate Polynomial Factorization Based on Zero-Sum Relations
.284
Tateati Sasaki.
Discrete Comprehensive
Gröbner
Bases
.292
Yosuke Sato, Akira Suzuki.
IV
Black
Box Methods for Least Squares Problems
.297
B. D. Sounders.
On a Parallel Lehmer-Euclid GCD Algorithm
.303
Sidi
Mohammed Sedjelmaci.
A Probabilistic Algorithm to Test Local Algebraic Observability in Polynomial Time
.309
Alexandre
Sedoglavic.
Computation of the Degree of Rational Maps Between Curves
.317
J. Rafael Sendra, Franz
Winkler.
Fast Computation of Linear Generators for Matrix Sequences and Application to the Block Wiedemann
Algorithm
. 323
Emmanuel Thome.
Irreducible Trinomials over Finite Fields
. 332
Joachim von zur
Gathen.
lAMC Architecture and Prototyping: A Progress Report
.337
P. Wang, S. Gray.
N.
KajlerD. Lin, W. Liao, X.
Zou.
On Computational Properties of Chains of Recurrences
.345
Eugene
V. Zima. |
| any_adam_object | 1 |
| author_corporate | ISSAC London, Ontario |
| author_corporate_role | aut |
| author_facet | ISSAC London, Ontario |
| author_sort | ISSAC London, Ontario |
| building | Verbundindex |
| bvnumber | BV013875703 |
| classification_rvk | SS 2001 |
| classification_tum | DAT 706f DAT 702f |
| ctrlnum | (OCoLC)51713500 (DE-599)BVBBV013875703 |
| 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">BV013875703</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030428</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">010822s2001 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1581134177</subfield><subfield code="9">1-58113-417-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)51713500</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013875703</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-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29T</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">DAT 702f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">ISSAC</subfield><subfield code="n">26</subfield><subfield code="d">2001</subfield><subfield code="c">London, Ontario</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)10027032-3</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">ISSAC 2001</subfield><subfield code="b">July 22 - 25, 2001, University of Western Ontario, London, Ontario, Canada ; proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation</subfield><subfield code="c">Bernard Mourrain, ed.</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">ACM Order Dep.</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 352 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">2001</subfield><subfield code="z">London Ontario</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">Mourrain, Bernard</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=009492396&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-009492396</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2001 London Ontario gnd-content |
| genre_facet | Konferenzschrift 2001 London Ontario |
| id | DE-604.BV013875703 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:21:20Z |
| institution | BVB |
| institution_GND | (DE-588)10027032-3 |
| isbn | 1581134177 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009492396 |
| oclc_num | 51713500 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-20 DE-703 DE-29T |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-20 DE-703 DE-29T |
| physical | XII, 352 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | ACM Order Dep. |
| record_format | marc |
| spelling | ISSAC 26 2001 London, Ontario Verfasser (DE-588)10027032-3 aut ISSAC 2001 July 22 - 25, 2001, University of Western Ontario, London, Ontario, Canada ; proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation Bernard Mourrain, ed. Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation New York, NY ACM Order Dep. 2001 XII, 352 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Computeralgebra (DE-588)4010449-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2001 London Ontario gnd-content Computeralgebra (DE-588)4010449-7 s DE-604 Mourrain, Bernard Sonstige oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009492396&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | ISSAC 2001 July 22 - 25, 2001, University of Western Ontario, London, Ontario, Canada ; proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation Computeralgebra (DE-588)4010449-7 gnd |
| subject_GND | (DE-588)4010449-7 (DE-588)1071861417 |
| title | ISSAC 2001 July 22 - 25, 2001, University of Western Ontario, London, Ontario, Canada ; proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation |
| title_alt | Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation |
| title_auth | ISSAC 2001 July 22 - 25, 2001, University of Western Ontario, London, Ontario, Canada ; proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation |
| title_exact_search | ISSAC 2001 July 22 - 25, 2001, University of Western Ontario, London, Ontario, Canada ; proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation |
| title_full | ISSAC 2001 July 22 - 25, 2001, University of Western Ontario, London, Ontario, Canada ; proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation Bernard Mourrain, ed. |
| title_fullStr | ISSAC 2001 July 22 - 25, 2001, University of Western Ontario, London, Ontario, Canada ; proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation Bernard Mourrain, ed. |
| title_full_unstemmed | ISSAC 2001 July 22 - 25, 2001, University of Western Ontario, London, Ontario, Canada ; proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation Bernard Mourrain, ed. |
| title_short | ISSAC 2001 |
| title_sort | issac 2001 july 22 25 2001 university of western ontario london ontario canada proceedings of the 2001 international symposium on symbolic and algebraic computation |
| title_sub | July 22 - 25, 2001, University of Western Ontario, London, Ontario, Canada ; proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation |
| topic | Computeralgebra (DE-588)4010449-7 gnd |
| topic_facet | Computeralgebra Konferenzschrift 2001 London Ontario |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009492396&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT issaclondonontario issac2001july22252001universityofwesternontariolondonontariocanadaproceedingsofthe2001internationalsymposiumonsymbolicandalgebraiccomputation AT mourrainbernard issac2001july22252001universityofwesternontariolondonontariocanadaproceedingsofthe2001internationalsymposiumonsymbolicandalgebraiccomputation AT issaclondonontario proceedingsofthe2001internationalsymposiumonsymbolicandalgebraiccomputation AT mourrainbernard proceedingsofthe2001internationalsymposiumonsymbolicandalgebraiccomputation |