| | International Conference on Symbolic and Algebraic Computation archiveProceedings of the 2000 international symposium on Symbolic and algebraic computation symbolic and algebraic computation citation2000, St. Andrews, Scotland 2000 | | | Table of Contents | | | | Factorization in Z[x]: the searching phase
John Abbott, Victor Shoup, Paul Zimmermann
Pages: 1 - 7
Full text available:  Pdf(175 KB) | | | | Hypergeometric dispersion and the orbit problem
Sergei A. Abramov, Manuel Bronstein
Pages: 8 - 13
Full text available: Pdf(177 KB) | | | | Deciding linear-trigonometric problems
Hirokazu Anai, Volker Weispfenning
Pages: 14 - 22
Full text available: Pdf(206 KB) | | | | Algorithms for near-rings of non-linear transformations
Franz Binder, Erhard Aichinger, Jürgen Ecker, Christof Nöbauer, Peter Mayr
Pages: 23 - 29
Full text available: Pdf(184 KB) | | | | An improved algorithm for the resolution of singularities
Gábor Bodnár, Josef Schicho
Pages: 30 - 37
Full text available: Pdf(236 KB) | | | | Computing canonical representatives of regular differential ideals
François Boulier, François Lemaire
Pages: 38 - 47
Full text available: Pdf(251 KB) | | | | Improved projection for CAD's of R3
Christopher W. Brown
Pages: 48 - 53
Full text available: Pdf(169 KB) | | | | On accelerated methods to evaluate sums of products of rational numbers
Howard Cheng, Eugene Zima
Pages: 54 - 61
Full text available: Pdf(211 KB) | | | | Conditions for exact resultants using the Dixon formulation
Arthur D. Chtcherba, Deepak Kapur
Pages: 62 - 70
Full text available: Pdf(237 KB) | | | | Multiprecision floating point addition
George E. Collins, Werner Krandick
Pages: 71 - 77
Full text available: Pdf(214 KB) | | | | Computing the Galois group of a polynomial using linear differential equations
Olivier Cormier, Michael F. Singer, Felix Ulmer
Pages: 78 - 85
Full text available: Pdf(244 KB) | | | | Local quantifier elimination
Andreas Dolzmann, Volker Weispfenning
Pages: 86 - 94
Full text available: Pdf(185 KB) | | | | Integer Smith form via the valence: experience with large sparse matrices from homology
Jean-Guillaume Dumas, B. David Saunders, Gilles Villard
Pages: 95 - 105
Full text available: Pdf(279 KB) | | | | Black box Frobenius decompositions over small fields
Wayne Eberly
Pages: 106 - 113
Full text available: Pdf(203 KB) | | | | A method for deciding whether the Galois group is abelian
Pilar Fernandez-Ferreiros, Maria de los Angeles Gomez-Molleda
Pages: 114 - 120
Full text available: Pdf(190 KB) | | | | Linear differential equations, iterative logarithms and orderings on monomial differential extensions
Anne Fredet
Pages: 121 - 128
Full text available: Pdf(184 KB) | | | | Constructing endomorphism rings via duals
Edward L. Green, Lenwood S. Heath, Craig A. Struble
Pages: 129 - 136
Full text available: Pdf(225 KB) | | | | Bounds on numers of vectors of multiplicities for polynomials which are easy to compute
Dima Grigoriev, Nicolai Vorobjov
Pages: 137 - 146
Full text available: Pdf(226 KB) | | | | Fast practical algorithms for the Boolean-product-witness-matrix problem
Anshul Gupta, Pankaj Rohatgi, Ramesh Agarwal
Pages: 146 - 152
Full text available: Pdf(172 KB) | | | | Advanced notations in mathematica
Jason Harris
Pages: 153 - 160
Full text available: Pdf(296 KB) | | | | Pseudofactors of multivariate polynomials
Yuzhen Huang, Wenda Wu, Hans J. Stetter, Lihong Zhi
Pages: 161 - 168
Full text available: Pdf(203 KB) | | | | An exact real algebraic arithmetic with equality determination
Namhyun Hur, James H. Davenport
Pages: 169 - 174
Full text available: Pdf(179 KB) | | | | Fast randomized algorithms for the structure of matrix algebras over finite fields (extended abstract)
Gábor Ivanyos
Pages: 175 - 183
Full text available: Pdf(209 KB) | | | | An algorithm for the eigenvalue perturbation problem: reduction of a κ-matrix to a Lidskii matrix
Claude-Pierre Jeannerod
Pages: 184 - 191
Full text available: Pdf(211 KB) | | | | Early termination in Ben-Or/Tiwari sparse interpolation and a hybrid of Zippel's algorithm
Erich Kaltofen, Wen-shin Lee, Austin A. Lobo
Pages: 192 - 201
Full text available: Pdf(267 KB) | | | | Symbolic parametrization of pipe and canal surfaces
Günter Landsmann, Josef Schicho, Franz Winkler, Erik Hillgarter
Pages: 202 - 208
Full text available: Pdf(197 KB) | | | | Computing an equidimensional decomposition of an algebraic variety by means of geometric resolutions
Grégoire Lecerf
Pages: 209 - 216
Full text available: Pdf(197 KB) | | | | Metric invariants of tetrahedra via polynomial elimination
Petr Lisoněk, Robert B. Israel
Pages: 217 - 219
Full text available: Pdf(116 KB) | | | | Computing normalizers of permutation groups efficiently using isomorphisms of association schemes
Izumi Miyamoto
Pages: 220 - 224
Full text available: Pdf(136 KB) | | | | On the design and implementation of Brown's algorithm over the integers and number fields
Michael B. Monagan, Allan D. Wittkopf
Pages: 225 - 233
Full text available: Pdf(194 KB) | | | | Solving projective complete intersection faster
Bernard Mourrain, Philippe Trebuchet
Pages: 234 - 241
Full text available: Pdf(231 KB) | | | | Rational solutions of singular linear systems
Thom Mulders, Arne Storjohann
Pages: 242 - 249
Full text available: Pdf(179 KB) | | | | Some remarks on parallel exponentiation (extended abstract)
Michael Nöcker
Pages: 250 - 257
Full text available: Pdf(267 KB) | | | | Further evaluation of Java for symbolic computation
Arthur C. Norman
Pages: 258 - 265
Full text available: Pdf(146 KB) | | | | Matrix structure, polynomial arithmetic, and erasure-resilient encoding/decoding
Victor Y. Pan
Pages: 266 - 271
Full text available: Pdf(174 KB) | | | | Determination of maximal symmetry groups of classes of differential equations
Gregory J. Reid, Allan D. Wittkopf
Pages: 272 - 280
Full text available: Pdf(194 KB) | | | | Solving systems of linear one-sided equations in integer monoid and group rings
Birgit Reinert
Pages: 281 - 287
Full text available: Pdf(183 KB) | | | | How to check if a finitely generated commutative monoid is a principal ideal commutative monoid
José Carlos Rosales, Pedro A. García-Sánchez, Juan Ignacio García-García
Pages: 288 - 291
Full text available: Pdf(137 KB) | | | | Proper parametrization of surfaces with a rational pencil
Josef Schicho
Pages: 292 - 300
Full text available: Pdf(195 KB) | | | | Rectangular corner cutting and Sylvester A-resultants
Ming Zhang, Ron Goldman
Pages: 301 - 308
Full text available: Pdf(169 KB) | | | | Representing and handling mathematical concepts by humans and machines (invited talk abstract)
Henk Barendegt, Arjeh M. Cohen
| | | | Solving polynomial systems (invited talk abstract): a complexity theory viewpoint
Felipe Cucker
Full text available: Pdf(61 KB) | | | | Computation in word-hyperbolic groups (invited talk abstract)
Derek F. Holt
Full text available: Pdf(63 KB) | |
|
QuickTime
Windows Media Player
Real Player