Abstract is missing.
- Solving Some Overdetermined Polynomial SystemsMarc Giusti, Éric Schost. 1-8 [doi]
- A New Algorithm for the Geometric Decomposition of a VarietyMohamed Elkadi, Bernard Mourrain. 9-16 [doi]
- Base Field Restriction Techniques for Parametric CurvesCarlos Andradas, Tomás Recio, J. Rafael Sendra. 17-22 [doi]
- On Multiple Zeros of Systems of Algebraic EquationsSchuichi Moritsugu, Kazuko Kuriyama. 23-30 [doi]
- Constructing Bases of Finitely Presented Lie Algebras Using Gröbner Bases in Free AlgebrasWillem A. de Graaf, J. Wisliceny. 37-43 [doi]
- Efficient Construction of Drinfel d DoublesGerard P. Brunick, Edward L. Green, Lenwood S. Heath, Craig A. Struble. 45-52 [doi]
- Efficient Computation of Minimal Polynomials in Algebraic Extensions of Finite FieldsVictor Shoup. 53-58 [doi]
- On the Genericity of the Modular Polynomial GCD AlgorithmErich Kaltofen, Michael B. Monagan. 59-66 [doi]
- On Feasible Multivariate Polynomial Interpolations over Arbitrary FieldsZeljko Zilic, Katarzyna Radecka. 67-74 [doi]
- How Fast Can We Compute Products?V. Kislenkov, V. Mitrofanov, Eugene V. Zima. 75-82 [doi]
- Computing Special Powers in Finite Fields (extended abstract)Joachim von zur Gathen, Michael Nöcker. 83-90 [doi]
- On Sampling Generating Sets of Finite Groups and Product Replacement Algorithm (extended abstract)Igor Pak, Sergey Bratus. 91-96 [doi]
- Star Products and the Representation of Asymptotic GrowthJohn Shackell. 97-104 [doi]
- Existence and Uniqueness Theorems for Formal Power Series Solutions of Analytic Differential SystemsC. J. Rust, Gregory J. Reid, Allan D. Wittkopf. 105-112 [doi]
- Formal Solutions of Scalar Singularly-Perturbed Linear Differential EquationsY. O. Macutan. 113-120 [doi]
- Mixed Real-Integer Linear Quantifier EliminationVolker Weispfenning. 129-136 [doi]
- Guaranteed Solution Formula ConstructionChristopher W. Brown. 137-144 [doi]
- P-adic Constraint SolvingAndreas Dolzmann, Thomas Sturm. 151-158 [doi]
- On Factorization of Nonlinear Ordinary Differential EquationsSerguei P. Tsarev. 159-164 [doi]
- Rational Normal Form for Dynamical Systems by Carleman LinearizationGuoting Chen, Jean Della Dora. 165-172 [doi]
- Solving Linear Ordinary Differential Equations over C(x, e:::::::int:::: f(x) dx:::)Manuel Bronstein, Anne Fredet. 173-179 [doi]
- Diophantine Linear System SolvingThom Mulders, Arne Storjohann. 181-188 [doi]
- Shifted Normal Forms of Polynomial MatricesBernhard Beckermann, George Labahn, Gilles Villard. 189-196 [doi]
- Fast Deterministic Computation of Determinants of Dense MatricesJohn Abbott, Manuel Bronstein, Thom Mulders. 197-204 [doi]
- Efficient Algorithms for Computing the Nearest Polynomial with a Real Root and Related ProblemsMarkus A. Hitz, Erich Kaltofen, Yagati N. Lakshman. 205-212 [doi]
- Approximate polynomial decompositionRobert M. Corless, Mark Giesbrecht, David J. Jeffrey, Stephen M. Watt. 213-219 [doi]
- ADrien: An Implementation of Automatic Differentiation in MapleDominique Villard, Michael B. Monagan. 221-228 [doi]
- Automated Coercion for AxiomNicolas J. Doye. 229-235 [doi]
- Symbolic Computation in Java: An AppraisementLaurent Bernardin, Bruce W. Char, Erich Kaltofen. 237-244 [doi]
- Specifying ImplementationsLaureano Lambán, Vico Pascual, Julio Rubio. 245-251 [doi]
- Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case StudyA. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin. 253-260 [doi]
- About the Polynomial Solutions of Homogeneous Linear Differential Equations Depending on ParametersDelphine Boucher. 261-268 [doi]
- Desingularization of Linear Difference Operators with Polynomial CoefficientsSergei A. Abramov, Mark van Hoeij. 269-275 [doi]
- Rational Solutions of Matrix Difference Equations: The Problem of Equivalence and FactorizationMoulay A. Barkatou. 277-282 [doi]
- Design of a Customizable Component to Display and Edit FormulasOlivier Arsac, Stéphane Dalmas, Marc Gaëtano. 283-290 [doi]
- Design and Protocol for Internet Accessible Mathematical ComputationPaul S. Wang. 291-298 [doi]
- Client-Server Communication Standards for Mathematical ComputationHa Q. Le, Chris Howlett. 299-306 [doi]