Sciweavers

ISSAC
1994
Springer
80views Mathematics» more  ISSAC 1994»
14 years 4 months ago
A First Report on the A# Compiler
Stephen M. Watt, Peter A. Broadbery, Samuel S. Doo...
ISSAC
1994
Springer
96views Mathematics» more  ISSAC 1994»
14 years 4 months ago
Automating the Construction of Stationary Multiple-Point Classes
In this paper, we describe an algorithm to compute arbitrary stationary multiple-point formulas. We report its full implementation in Maple and show some examples matching formula...
Sylvain Petitjean
ISSAC
1994
Springer
136views Mathematics» more  ISSAC 1994»
14 years 4 months ago
The Albert Nonassociative Algebra System: A Progress Report
After four years of experience with the nonassociative algebra program Albert, we highlight its successes and drawbacks. Among its successes are the discovery of several new resul...
David Pokrass Jacobs
ISSAC
1994
Springer
165views Mathematics» more  ISSAC 1994»
14 years 4 months ago
Constructing Permutation Representations for Large Matrix Groups
New techniques, both theoretical and practical, are presented for constructing a permutation representation for a matrix group. We assume that the resulting permutation degree, n,...
Gene Cooperman, Larry Finkelstein, Bryant W. York,...
ISSAC
1994
Springer
102views Mathematics» more  ISSAC 1994»
14 years 4 months ago
An Application of Symbolic Computation in the Physical Sciences
An example of a problem in the physical sciences is discussed where application of various symbolic computation facilities available in many algebraic computing systems leads to a...
Charles C. Dyer
ISSAC
1994
Springer
119views Mathematics» more  ISSAC 1994»
14 years 4 months ago
Branch Cuts in Computer Algebra
Many standard functions, such as the logarithm and square root functions, cannot be de ned continuously on the complex plane. Mistaken assumptions about the properties of these fu...
Adam Dingle, Richard J. Fateman