logodl
arrow International Conference on Symbolic and Algebraic Computation
 
Proceedings of the 1996 international symposium on Symbolic and algebraic computation
July 24 - 26, 1996, Zurich Switzerland

access SIGs conferences

Table of Contents
For full text in pdf, use Adobe Acrobat Reader.
blue HR
Arithmetic and factorization of polynomial over F2 (extended abstract)
Joachim von zur Gathen and Jürgen Gerhard
Pages 1 - 9
metadata:   index terms  
rule rule rule rule
full text:   pdf 929 KB

Factoring modular polynomials (extended abstract)
Joachim von zur Gathen and Silke Hartlieb
Pages 10 - 17
metadata:   index terms  
rule rule rule rule
full text:   pdf 773 KB

Parallel distinct degree factorization algorithm
Tetsuro Fujise and Hirokazu Murao
Pages 18 - 25
metadata:   index terms  
rule rule rule rule
full text:   pdf 789 KB

Computing the complexification of a semi-algebraic set
Marie-Françoise Roy and Nicolai Vorobjov
Pages 26 - 34
metadata:   index terms  
rule rule rule rule
full text:   pdf 861 KB

Approximate polynomial greatest common divisors and nearest singular polynomials
N. Karmarkar and Y. N. Lakshman
Pages 35 - 39
metadata:   index terms  
rule rule rule rule
full text:   pdf 523 KB

The Euclidean algorithm in dimension n
Loïc Pottier
Pages 40 - 42
metadata:   index terms  
rule rule rule rule
full text:   pdf 281 KB

Fast computations in the lattice of polynomial rational function fields
Franz Binder
Pages 43 - 48
metadata:   index terms  
rule rule rule rule
full text:   pdf 534 KB

Testing shift-equivalence of polynomials using quantum machines
D. Grigoriev
Pages 49 - 54
metadata:   index terms  
rule rule rule rule
full text:   pdf 634 KB

An optimal algorithm for constructing the reduced Gro¨bner basis of binomial ideals
Ulla Koppenhagen and Ernst W. Mayr
Pages 55 - 62
metadata:   index terms  
rule rule rule rule
full text:   pdf 822 KB

Exponential space computation of Gro¨bner bases
Klaus Kühnle and Ernst W. Mayr
Pages 63 - 71
metadata:   index terms  
rule rule rule rule
full text:   pdf 1044 KB

Multigraded Hilbert functions and Buchberger algorithm
Massimo Caboara, Gabriel de Dominicis and Lorenzo Robbiano
Pages 72 - 78
metadata:   index terms  
rule rule rule rule
full text:   pdf 1196 KB

Groebner basis under composition II
Hoon Hong
Pages 79 - 85
metadata:   index terms  
rule rule rule rule
full text:   pdf 614 KB

Symbolic mathematics system evaluators (extended abstract)
Richard J. Fateman
Pages 86 - 94
metadata:   index terms  
rule rule rule rule
full text:   pdf 1215 KB

A case study of multi-threaded Gro¨bner basis completion
Beatrice Amrhein, Oliver Gloor and Wolfgang Küchlin
Pages 95 - 102
metadata:   index terms  
rule rule rule rule
full text:   pdf 949 KB

MPP: a framework for distributed polynomial computations
Olaf Bachmann, Hans Schönemann and Simon Gray
Pages 103 - 112
metadata:   index terms  
rule rule rule rule
full text:   pdf 1198 KB

Memory tracing of algebraic calculations
Arthur Norman and John Fitch
Pages 113 - 119
metadata:   index terms  
rule rule rule rule
full text:   pdf 721 KB

Solution of elementary systems of equations in a box in Rn
Daniel Richardson
Pages 120 - 126
metadata:   index terms  
rule rule rule rule
full text:   pdf 802 KB

Analysis of zero clusters in multivariate polynomial systems
Hans J. Stetter
Pages 127 - 136
metadata:   index terms  
rule rule rule rule
full text:   pdf 1002 KB

A tangent-secant method for polynomial complex root calculation
George E. Collins and Werner Krandick
Pages 137 - 141
metadata:   index terms  
rule rule rule rule
full text:   pdf 416 KB

Fast high-precision computation of complex square roots
Timm Ahrendt
Pages 142 - 149
metadata:   index terms  
rule rule rule rule
full text:   pdf 856 KB

Computing character tables of p-groups
Andreas Thümmel
Pages 150 - 154
metadata:   index terms  
rule rule rule rule
full text:   pdf 509 KB

New sequential and parallel algorithms for generating high dimension Hecke algebras using the condensation technique
Gene Cooperman and Michael Tselman
Pages 155 - 160
metadata:   index terms  
rule rule rule rule
full text:   pdf 730 KB

Algorithms for primitive elements of free Lie algebras and Lie superalgebras
Alexander A. Mikhalev and Andrej A. Zolotykh
Pages 161 - 169
metadata:   index terms  
rule rule rule rule
full text:   pdf 780 KB

Efficient decomposition of associative algebras
W. Eberly and M. Giesbrecht
Pages 170 - 178
metadata:   index terms  
rule rule rule rule
full text:   pdf 1138 KB

Janet bases of 2nd order ordinary differential equations
Fritz Schwarz
Pages 179 - 188
metadata:   index terms  
rule rule rule rule
full text:   pdf 799 KB

The general solution of an ordinary differential equation
Evelyne Hubert
Pages 189 - 195
metadata:   index terms  
rule rule rule rule
full text:   pdf 747 KB

Symbolic computation of the index of quasilinear differential-algebraic equations
G. Thomas
Pages 196 - 203
metadata:   index terms  
rule rule rule rule
full text:   pdf 653 KB

MapleTensor: progress report on a new system for performing indicial and component tensor calculations using symbolic computation
Masoud Kavian, R. G. McLenaghan and K. O. Geddes
Pages 204 - 211
metadata:   index terms  
rule rule rule rule
full text:   pdf 678 KB

Differentially homogeneous differential polynomials
Georg M. Reinhart and William Sit
Pages 212 - 218
metadata:   index terms  
rule rule rule rule
full text:   pdf 655 KB

Rational solutions of the mixed differential equation and its application to factorization of differential operators
Mark van Hoeij
Pages 219 - 225
metadata:   index terms  
rule rule rule rule
full text:   pdf 757 KB

An algorithm for complete enumeration of all factorizations of a linear ordinary differential operator
S. P. Tsarev
Pages 226 - 231
metadata:   index terms  
rule rule rule rule
full text:   pdf 730 KB

D'Alembertian solutions of inhomogeneous linear equations (differential, difference, and some other)
Sergei A. Abramov and Eugene V. Zima
Pages 232 - 240
metadata:   index terms  
rule rule rule rule
full text:   pdf 856 KB

On rank properties of Toeplitz matrices over finite fields
E. Kaltofen and A. Lobo
Pages 241 - 249
metadata:   index terms  
rule rule rule rule
full text:   pdf 765 KB

Computing Popov and Hermite forms of polynomial matrices
G. Villard
Pages 250 - 258
metadata:   index terms  
rule rule rule rule
full text:   pdf 1013 KB

Asymptotically fast computation of Hermite normal forms of integer matrices
Arne Storjohann and George Labahn
Pages 259 - 266
metadata:   index terms  
rule rule rule rule
full text:   pdf 757 KB

Near optimal algorithms for computing Smith normal forms of integer matrices
Arne Storjohann
Pages 267 - 274
metadata:   index terms  
rule rule rule rule
full text:   pdf 656 KB

Generic Gram-Schmidt orthogonalization by exact division
Úlfar Erlingsson, Erich Kaltofen and David Musser
Pages 275 - 282
metadata:   index terms  
rule rule rule rule
full text:   pdf 711 KB

Automatic generation of optimization code based on symbolic non-linear domain formulation
Rainer Bacher
Pages 283 - 291
metadata:   index terms  
rule rule rule rule
full text:   pdf 984 KB

A methodology of parsing mathematical notation for mathematical computation
Yanjie Zhao, Tetsuya Sakurai, Hiroshi Sugiura and Tatsuo Torii
Pages 292 - 300
metadata:   index terms  
rule rule rule rule
full text:   pdf 892 KB

Hypergeometric function representations
Kelly Roach
Pages 301 - 308
metadata:   index terms  
rule rule rule rule
full text:   pdf 505 KB

Asymptotic expansions of exp-log functions
Daniel Richardson, Bruno Salvy, John Shackell and Joris Van der Hoeven
Pages 309 - 313
metadata:   index terms  
rule rule rule rule
full text:   pdf 517 KB

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

blue HR