dl homelist alphabeticallylist by sigsearch dlregister to dlsubscribe to dldl feedback
logodl
arrow International Conference on Symbolic and Algebraic Computation
 
Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
July 17 - 19, 1989, Portland, OR USA

access SIGs conferences

Table of Contents
For full text in pdf, use Adobe Acrobat Reader.
blue HR
On the reduction of linear systems of difference equations
M. A. Barkatou
Pages 1 - 6
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 368 KB

A differential-equations approach to functional equivalence
J. Shackle
Pages 7 - 10
metadata:   index terms  
rule rule rule rule
full text:  

Series solutions of algebraic and differential equations: a comparison of linear and quadratic algebraic convergence
R. J. Fateman
Pages 11 - 16
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 557 KB

A factorization algorithm for linear ordinary differential equations
F. Schwarz
Pages 17 - 25
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 803 KB

An improved Las Vegas primality test
E. Kaltofen, T. Valente and N. Yui
Pages 26 - 33
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 583 KB

On some computations with dense structured matrices
Victor Pan
Pages 34 - 42
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 722 KB

Inversibility of rational mappings and structural identifiability in automatics
F. Ollivier
Pages 43 - 54
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 911 KB

Knuth-Bendix procedure and Buchberger algorithm: a synthesis
F. Winkler
Pages 55 - 67
metadata:   abstract index terms reviews  
rule rule rule rule
full text:   pdf 887 KB

Lookup tables, recurrences and complexity
R. J. Fateman
Pages 68 - 73
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 598 KB

Labeled trees and the efficient computation of derivations
R. Grossman and R. G. Larson
Pages 74 - 80
metadata:   index terms reviews  
rule rule rule rule
full text:   pdf 581 KB

Factoring rational polynomials over the complexes
C. Bajaj, J. Canny, R. Garrity and J. Warren
Pages 81 - 90
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 988 KB

A new modular algorithm for computation of algebraic number polynomial gcds
T. J. Smedley
Pages 91 - 94
metadata:   index terms reviews  
rule rule rule rule
full text:   pdf 452 KB

A fast, reliable algorithm for calculating Pade´-Hermite forms
S. Cabay and G. Labahn
Pages 95 - 100
metadata:   abstract index terms reviews  
rule rule rule rule
full text:   pdf 572 KB

Computing with algebraic series
M. E. Alonso, T. Mora and M. Raimondo
Pages 101 - 111
metadata:   index terms  
rule rule rule rule
full text:   pdf 1107 KB

Recovery of algebraic numbers from their p-adic approximations
John Abbott
Pages 112 - 120
metadata:   abstract index terms reviews  
rule rule rule rule
full text:   pdf 905 KB

Solving systems of nonlinear polynomial equations faster
J. F. Canny, E. Kaltofen and L. Yagati
Pages 121 - 128
metadata:   index terms  
rule rule rule rule
full text:   pdf 795 KB

Some results on the defect
R. Bradford
Pages 129 - 135
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 610 KB

Sturm-Habicht sequence
L. Gaonzalez, H. Lombardi, T. Recio and M.-F. Roy
Pages 136 - 146
metadata:   index terms  
rule rule rule rule
full text:  

MINION: an environment to organize mathematical problem solving
J. M. Purtilo
Pages 147 - 154
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 795 KB

Can REDUCE be run in parallel?
J. Fitch
Pages 155 - 162
metadata:   abstract index terms reviews  
rule rule rule rule
full text:   pdf 659 KB

A code optimization package for REDUCE
J. A. van Hulzen, B. J. Hulshof, B. L. Gates and M. C. van Heerwaarden
Page 163
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 837 KB

A MACSYMA package for the generation and manipulation of chebyshev series
T. H. Einwohner and R. J. Fateman
Pages 180 - 185
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 483 KB

GENCRAY: a portable code generator for cray fortran
S. Weerawarana and P. S. Wang
Pages 186 - 191
metadata:   index terms  
rule rule rule rule
full text:   pdf 602 KB

Experimenting the Gro¨bner basis algorithm with the A1PI system
C. Traverso and L. Donati
Pages 192 - 198
metadata:   index terms  
rule rule rule rule
full text:   pdf 801 KB

A program generator for efficient evaluation of fourier series
B. R. Miller
Pages 199 - 206
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 818 KB

Simplification of real elementary functions
M. Bronstein
Pages 207 - 211
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 352 KB

On the risch-norman integration method and its implementation in MAPLE
K. O. Geddes and L. Y. Stefanus
Pages 212 - 217
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 449 KB

Symbolic summation with generating functions
R. A. Ravenscroft and E. A. Lamagna
Pages 228 - 233
metadata:   index terms reviews  
rule rule rule rule
full text:   pdf 513 KB

Automatic reasoning about numerical stability of rational expressions
B. W. Char
Pages 234 - 241
metadata:   abstract index terms reviews  
rule rule rule rule
full text:   pdf 672 KB

Computing the normal forms of matrices depending on parameters
G. Chen
Pages 242 - 249
metadata:   abstract index terms reviews  
rule rule rule rule
full text:   pdf 649 KB

On the castelnuovo regularity for curves
M. Giusti
Pages 250 - 253
metadata:   index terms  
rule rule rule rule
full text:   pdf 286 KB

Careful algebraic translations of geometry theorems
B. Kutzler
Pages 254 - 263
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 1024 KB

Quantifier elimination and the sign variation method for real root isolation
G. E. Collins and J. R. Johnson
Pages 264 - 271
metadata:   index terms reviews  
rule rule rule rule
full text:   pdf 776 KB

On the computer solution of symmetric homogeneous triangle inequalities
S. Rabinowitz
Pages 272 - 286
metadata:   index terms  
rule rule rule rule
full text:   pdf 1400 KB

Dense representation of affine coordinate rings of curves with one point at infinity
S. C. Porter
Pages 287 - 297
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 665 KB

A parallel implementation of the cylindrical algebraic decomposition algorithm
B. D. Saunders, H. R. Lee and S. K. Abdali
Pages 298 - 307
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 997 KB

Massively parallel symbolic computation
A. Deprit and E. Deprit
Pages 308 - 316
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 964 KB

Parallel algorithms for hermite normal form of an integer matrix
F. Siebert-Roch
Pages 317 - 321
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 398 KB

Using rewriting techniques to solve the generalized word problem in polycyclic groups
J. Avenhaus and D. Wi:Gbmann
Pages 322 - 337
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 1218 KB

A method for enumerating cosets of a group presented by a canonical system
N. Kuhn and K. Madlener
Pages 338 - 350
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 1127 KB

Reduction of group constructions to point stabilizers
G. Cooperman, L. Finkelstein and E. Luks
Pages 351 - 356
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 708 KB

Strong normalizability for the combined system of the typed lmbda calculus and an arbitrary convergent term rewrite system
M. Okada
Pages 357 - 363
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 645 KB

Note on theorem proving strategies for resolution counterparts of non-classical logics
P. O'Hearn and Z. Stachniak
Pages 364 - 372
metadata:   index terms  
rule rule rule rule
full text:   pdf 894 KB

Employing path dissolution to shorten tableaux proofs
N. V. Murray and E. Rosenthal
Pages 373 - 381
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 748 KB

Constrained equational reasoning
C. Kirchner and H. Kirchner
Pages 382 - 389
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 844 KB

Resolvents and symmetric functions
A. Valibouze
Pages 390 - 399
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 755 KB

blue HR
For full text in pdf, use Adobe Acrobat Reader.

blue HR
The Digital Library is published by the Association for Computing Machinery. Copyright © 1999, 2000 ACM, Inc. This page was last updated Wed, 1 Mar. 2000 15:44 -0500 .
 
dl homelist alphabeticallylist by sigsearch dlregister to dlsubscribe to dldl feedback
Made with Cascading Style Sheets Valid CSS! Valid HTML 4.0!