ISSAC 2001:
London,
Ontario,
Canada
Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation,
ISSAC 2001,
ORCCA & University of Western Ontario,
London,
Ontario,
Canada,
July 22-25,
2001. ACM,
2001
- Sergei A. Abramov, Manuel Bronstein:
On solutions of linear functional systems.
1-6
Electronic Edition (ACM DL) BibTeX
- Sergei A. Abramov, Marko Petkovsek:
Minimal decomposition of indefinite hypergeometric sums.
7-14
Electronic Edition (ACM DL) BibTeX
- Victor Adamchik:
On the Barnes function.
15-20
Electronic Edition (ACM DL) BibTeX
- Edith Aguirre, Abdul Salam Jarrah, Reinhard C. Laubenbacher:
Generic ideals and Moreno-Socías conjucture.
21-23
Electronic Edition (ACM DL) BibTeX
- Carlos D'Andrea, Ioannis Z. Emiris:
Hybrid sparse resultant matrices for bivariate systems.
24-31
Electronic Edition (ACM DL) BibTeX
- Alessandro Armando, Clemens Ballarin:
Maple's evaluation process as constraint contextual rewriting.
32-37
Electronic Edition (ACM DL) BibTeX
- François Boulier, François Lemaire, Marc Moreno Maza:
PARDI!.
38-47
Electronic Edition (ACM DL) BibTeX
- Laurent Busé:
Residual resultant over the projective plane and the implicitization problem.
48-55
Electronic Edition (ACM DL) BibTeX
- Massimo Caboara, Lorenzo Robbiano:
Families of estimable terms.
56-63
Electronic Edition (ACM DL) BibTeX
- Howard Cheng, George Labahn:
Computing all factorizations in ***.
64-71
Electronic Edition (ACM DL) BibTeX
- Francesca Cioffi, Ferruccio Orecchia:
Computation of minimal generators of ideals of fat points.
72-76
Electronic Edition (ACM DL) BibTeX
- Gene Cooperman, Victor Grinberg:
Scalable parallel coset enumeration using bulk definition.
77-84
Electronic Edition (ACM DL) BibTeX
- Robert M. Corless, Mark Giesbrecht, Mark van Hoeij, Ilias S. Kotsireas, Stephen M. Watt:
Towards factoring bivariate approximate polynomials.
85-92
Electronic Edition (ACM DL) BibTeX
- Olivier Cormier:
On Liouvillian solutions of linear differential equations of order 4 and 5.
93-100
Electronic Edition (ACM DL) BibTeX
- Jean Della Dora, Aude Maignan, Mihaela Mirica-Ruse, Sergio Yovine:
Hybrid computation.
101-108
Electronic Edition (ACM DL) BibTeX
- César Domínguez, Julio Rubio:
Modeling inheritance as coercion in a symbolic computation system.
109-115
Electronic Edition (ACM DL) BibTeX
- Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager:
Computation of the radical of polynomial ideals over fields of arbitrary characteristic.
116-120
Electronic Edition (ACM DL) BibTeX
- Steven Fortune:
Polynomial root finding using iterated Eigenvalue computation.
121-128
Electronic Edition (ACM DL) BibTeX
- Mikhail V. Foursov, Marc Moreno Maza:
On computer-assisted classification of coupled integrable equations.
129-136
Electronic Edition (ACM DL) BibTeX
- André Galligo, David Rupprecht:
Semi-numerical determination of irreducible branches of a reduced space curve.
137-142
Electronic Edition (ACM DL) BibTeX
- Luca Gemignani:
A generalized Graeffe's iteration for evaluating polynomials and rational functions.
143-149
Electronic Edition (ACM DL) BibTeX
- Laurent Granvilliers, Eric Monfroy, Frédéric Benhamou:
Symbolic-interval cooperation in constraint programming.
150-166
Electronic Edition (ACM DL) BibTeX
- Jaime Gutierrez, Rosario Rubio San Miguel, David Sevilla:
Unirational fields of transcendence degree one and functional decomposition.
167-174
Electronic Edition (ACM DL) BibTeX
- Guillaume Hanrot, François Morain:
Solvability by radicals from an algorithmic point of view.
175-182
Electronic Edition (ACM DL) BibTeX
- Harry B. Hunt III, Madhav V. Marathe, Richard Edwin Stearns:
Strongly-local reductions and the complexity/efficient approximability of algebra and optimization on abstract algebraic structures.
183-191
Electronic Edition (ACM DL) BibTeX
- Liu Jinwang, Zhuojun Liu, Liu Xiaoqi, Wang Mingsheng:
The membership problem for ideals of binomial skew polynomial rings.
192-195
Electronic Edition (ACM DL) BibTeX
- Neven Jurkovic:
Diagnosing and correcting student's misconceptions in an educational computer algebra system.
195-200
Electronic Edition (ACM DL) BibTeX
- Raya Khanin:
Dimensional analysis in computer algebra.
201-208
Electronic Edition (ACM DL) BibTeX
- Joze Korelc:
Hybrid system for multi-language and multi-environment generation of numerical codes.
209-216
Electronic Edition (ACM DL) BibTeX
- Elizabeth L. Mansfield, Peter E. Hydon:
Towards approximations which preserve integrals.
217-222
Electronic Edition (ACM DL) BibTeX
- Scott McCallum:
On propagation of equational constraints in CAD-based quantifier elimination.
223-231
Electronic Edition (ACM DL) BibTeX
- Daniele Micciancio, Bogdan Warinschi:
A linear space algorithm for computing the herite normal form.
231-236
Electronic Edition (ACM DL) BibTeX
- Wang Mingsheng, Zhuojun Liu:
Remarks on Gröbner basis for ideals under composition.
237-244
Electronic Edition (ACM DL) BibTeX
- Jamie Mulholland, Michael B. Monagan:
Algorithms for trigonometric polynomials.
245-252
Electronic Edition (ACM DL) BibTeX
- Victor Y. Pan:
Univariate polynomials: nearly optimal algorithms for factorization and rootfinding.
253-267
Electronic Edition (ACM DL) BibTeX
- Savvas Pericleous, Nicolai Vorobjov:
New complexity bounds for cylindrical decompositions of sub-pfaffian sets.
268-275
Electronic Edition (ACM DL) BibTeX
- Olivier Ruatta:
A multivariate Weierstrass iterative rootfinder.
276-283
Electronic Edition (ACM DL) BibTeX
- Tateaki Sasaki:
Approximate multivariate polynomial factorization based on zero-sum relations.
284-291
Electronic Edition (ACM DL) BibTeX
- Yosuke Sato, Akira Suzuki:
Discrete comprehensive Gröbner bases.
292-296
Electronic Edition (ACM DL) BibTeX
- B. David Saunders:
Black box methods for least squares problems.
297-302
Electronic Edition (ACM DL) BibTeX
- Sidi Mohamed Sedjelmaci:
On a parallel Lehmer-Euclid GCD algorithm.
303-308
Electronic Edition (ACM DL) BibTeX
- Alexandre Sedoglavic:
A probabilistic algorithm to test local algebraic observability in polynomial time.
309-317
Electronic Edition (ACM DL) BibTeX
- J. Rafael Sendra, Franz Winkler:
Computation of the degree of rational maps between curves.
317-322
Electronic Edition (ACM DL) BibTeX
- Emmanuel Thomé:
Fast computation of linear generators for matrix sequences and application to the block Wiedemann algorithm.
323-331
Electronic Edition (ACM DL) BibTeX
- Joachim von zur Gathen:
Irreducible trinomials over finite fields.
332-336
Electronic Edition (ACM DL) BibTeX
- Paul S. Wang, Simon Gray, Norbert Kajler, Dongdai Lin, Weidong Liao, Xiao Zou:
IAMC architecture and prototyping: a progress report.
337-344
Electronic Edition (ACM DL) BibTeX
- Eugene V. Zima:
On computational properties of chains of recurrences.
345
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 23:26:21 2009
by Michael Ley (ley@uni-trier.de)