Malcolm A. H. MacCallum (Ed.):
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '94, Oxford, UK, July 20-22, 1994.
ACM 1994, ISBN 0-89791-638-7
export record as
dblp key:
Dinesh Manocha :
Computing Selected Solutions of Polynomial Equations.
1-8
export record as
dblp key:
Sylvain Petitjean :
Automating the Construction of Stationary Multiple-Point Classes.
9-14
export record as
dblp key:
Hong Du :
On the Isomorphisms of Smooth Algebraic Curves.
15-19
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Mark J. Encarnación :
On a Modular Algorithm for Computing GCDs of Polynomials over Algebraic Number Fields.
58-65
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/issac/CoopermanFYT94 export record as
dblp key:
export record as
dblp key:
Robert Cremanns ,
Friedrich Otto :
Constructing Canonical Presentations for Subgroups of Context-Free Groups in Polynomial Time (extended abstract).
147-153
export record as
dblp key:
export record as
dblp key:
Jamil Baddoura :
A Conjecture on Integration in Finite Terms with Elementary Functions and Polylogarithms.
158-162
export record as
dblp key:
Ron Sommeling :
Characteristic Classes for Irregular Singularities.
163-168
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Charles C. Dyer :
An Application of Symbolic Computation in the Physical Sciences.
181-186
export record as
dblp key:
Mark van Hoeij :
Computing Parameterizations of Rational Algebraic Curves.
187-190
export record as
dblp key:
Sandra Licciardi ,
Teo Mora :
Implicitization of Hypersurfaces and Curves by the Primbasissatz and Basis Conversion.
191-196
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Laurent Bertrand :
On the Implementation of a new Algorithm for the Computation of Hyperelliptic Integrals.
211-215
export record as
dblp key:
Toshinori Oaku :
Algorithms for Finding the Structure of Solutions of a System of Linear Partial Differential Equations.
216-223
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/issac/Weispfenning94 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Kelly Roach :
Symbolic-Numeric Nonlinear Equation Solving.
278-284
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Erich Kaltofen :
Asymptotically Fast Solution of Toeplitz-like Singular Linear Systems.
297-304
export record as
dblp key:
Mark Giesbrecht :
Fast Algorithms for Rational Forms of Integer Matrices.
305-311
export record as
dblp key:
Gilles Villard :
Fast Parallel Computation of the Smith Normal Form of Polynomial Matrices.
312-317
export record as
dblp key:
Jason F. Harris :
Inheritance of Rewrite Rule Structures Applied to Symbolic Computation.
318-323
export record as
dblp key:
Andreas Weber :
Algorithms for Type Inference with Coercions.
324-329
export record as
dblp key:
export record as
dblp key:
Manuel Bronstein :
An Improved Algorithm for Factoring Linear Ordinary Differential Operators.
336-340
export record as
dblp key:
Jacques-Arthur Weil :
The Use of the Special Semi-Groups for Solving Differential Equations.
341-347
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
