ISSAC B

41 papers

YearTitle / Authors
1999A New Algorithm for the Geometric Decomposition of a Variety.
Mohamed Elkadi, Bernard Mourrain
1999A Reduction Algorithm for Matrices Depending on a Parameter.
Claude-Pierre Jeannerod, Eckhard Pflügel
1999ADrien: An Implementation of Automatic Differentiation in Maple.
Dominique Villard, Michael B. Monagan
1999About the Polynomial Solutions of Homogeneous Linear Differential Equations Depending on Parameters.
Delphine Boucher
1999Approximate polynomial decomposition.
Robert M. Corless, Mark Giesbrecht, David J. Jeffrey, Stephen M. Watt
1999Automated Coercion for Axiom.
Nicolas J. Doye
1999Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study.
Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin
1999Base Field Restriction Techniques for Parametric Curves.
Carlos Andradas, Tomás Recio, J. Rafael Sendra
1999Client-Server Communication Standards for Mathematical Computation.
Ha Q. Le, Chris Howlett
1999Commutativity Theorems: Examples in Search of Algorithms.
John J. Wavrik
1999Computing Special Powers in Finite Fields (extended abstract).
Joachim von zur Gathen, Michael Nöcker
1999Constructing Bases of Finitely Presented Lie Algebras Using Gröbner Bases in Free Algebras.
Willem A. de Graaf, J. Wisliceny
1999Design and Protocol for Internet Accessible Mathematical Computation.
Paul S. Wang
1999Design of a Customizable Component to Display and Edit Formulas.
Olivier Arsac, Stéphane Dalmas, Marc Gaëtano
1999Desingularization of Linear Difference Operators with Polynomial Coefficients.
Sergei A. Abramov, Mark van Hoeij
1999Diophantine Linear System Solving.
Thom Mulders, Arne Storjohann
1999Efficient Algorithms for Computing the Nearest Polynomial with a Real Root and Related Problems.
Markus A. Hitz, Erich L. Kaltofen, Yagati N. Lakshman
1999Efficient Computation of Minimal Polynomials in Algebraic Extensions of Finite Fields.
Victor Shoup
1999Efficient Construction of Drinfel'd Doubles.
Gerard P. Brunick, Edward L. Green, Lenwood S. Heath, Craig A. Struble
1999Existence and Uniqueness Theorems for Formal Power Series Solutions of Analytic Differential Systems.
C. J. Rust, Gregory J. Reid, Allan D. Wittkopf
1999Fast Deterministic Computation of Determinants of Dense Matrices.
John Abbott, Manuel Bronstein, Thom Mulders
1999Formal Solutions of Scalar Singularly-Perturbed Linear Differential Equations.
Y. O. Macutan
1999Guaranteed Solution Formula Construction.
Christopher W. Brown
1999How Fast Can We Compute Products?
V. Kislenkov, V. Mitrofanov, Eugene V. Zima
1999Mixed Real-Integer Linear Quantifier Elimination.
Volker Weispfenning
1999On Factorization of Nonlinear Ordinary Differential Equations.
Serguei P. Tsarev
1999On Feasible Multivariate Polynomial Interpolations over Arbitrary Fields.
Zeljko Zilic, Katarzyna Radecka
1999On Multiple Zeros of Systems of Algebraic Equations.
Schuichi Moritsugu, Kazuko Kuriyama
1999On Projection in CAD-Based Quantifier Elimination with Equational Constraint.
Scott McCallum
1999On Sampling Generating Sets of Finite Groups and Product Replacement Algorithm (extended abstract).
Igor Pak, Sergey Bratus
1999On the Genericity of the Modular Polynomial GCD Algorithm.
Erich L. Kaltofen, Michael B. Monagan
1999P-adic Constraint Solving.
Andreas Dolzmann, Thomas Sturm
1999Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, ISSAC '99, Vancouver, B.C., Canada, July 29-31, 1999
Keith O. Geddes, Bruno Salvy, Samuel S. Dooley
1999Rational Normal Form for Dynamical Systems by Carleman Linearization.
Guoting Chen, Jean Della Dora
1999Rational Solutions of Matrix Difference Equations: The Problem of Equivalence and Factorization.
Moulay A. Barkatou
1999Shifted Normal Forms of Polynomial Matrices.
Bernhard Beckermann, George Labahn, Gilles Villard
1999Solving Linear Ordinary Differential Equations over C(x, e
Manuel Bronstein, Anne Fredet
1999Solving Some Overdetermined Polynomial Systems.
Marc Giusti, Éric Schost
1999Specifying Implementations.
Laureano Lambán, Vico Pascual, Julio Rubio
1999Star Products and the Representation of Asymptotic Growth.
John Shackell
1999Symbolic Computation in Java: An Appraisement.
Laurent Bernardin, Bruce W. Char, Erich L. Kaltofen