dl homelist alphabeticallylist by sigsearch dlregister to dlsubscribe to dldl feedback
logodl
arrow International Conference on Symbolic and Algebraic Computation
 
Proceedings of the international symposium on Symbolic and algebraic computation
July 20 - 22, 1994, Oxford England

access SIGs conferences

Table of Contents
For full text in pdf, use Adobe Acrobat Reader.
blue HR
Computing selected solutions of polynomial equations
Dinesh Manocha
Pages 1 - 8
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 846 KB

Automating the construction of stationary multiple-point classes
Sylvain Petitjean
Pages 9 - 14
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 483 KB

On the isomorphisms of smooth algebraic curves
Hong Du
Pages 15 - 19
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 479 KB

Examples of automatic theorem proving a real geometry
Ahmed Guergueb, Jean Mainguené and Marie-Françoise Roy
Pages 20 - 24
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 512 KB

A first report on the A# compiler
Stephen M. Watt, Peter A. Broadbery, Samuel S. Dooley, Pietro Iglio, Scott C. Morrison, Jonathan M. Steinbach and Robert S. Sutor
Pages 25 - 31
metadata:   index terms  
rule rule rule rule
full text:   pdf 753 KB

How to make AXIOM into a scratchpad
Richard D. Jenks and Barry M. Trager
Pages 32 - 40
metadata:   index terms  
rule rule rule rule
full text:   pdf 991 KB

The Albert nonassociative algebra system: a progress report
David P. Jacobs
Pages 41 - 44
metadata:   index terms  
rule rule rule rule
full text:   pdf 383 KB

GENTRAN 90: a REDUCE package for the generation of Fortran 90 code
W. N. Borst, V. V. Goldman and J. A. van Hulzen
Pages 45 - 51
metadata:   abstract index terms reviews  
rule rule rule rule
full text:   pdf 762 KB

Programming with algebraic structures: design of the MAGMA language
Wieb Bosma, John Cannon and Graham Matthews
Pages 52 - 57
metadata:   abstract index terms reviews  
rule rule rule rule
full text:   pdf 623 KB

On a modular algorithm for computing GCDs of polynomials over algebraic number fields
Mark J. Encarnación
Pages 58 - 65
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 829 KB

Parallelization of the sparse modular GCD algorithm for multivariate polynomials on shared memory multiprocessors
Mohamed Omar Rayes, Paul S. Wang and Kenneth Weber
Pages 66 - 73
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 711 KB

Automatic identification of time scales in enzyme kinetics models
Bruce W. Char and Mark F. Russo
Pages 74 - 83
metadata:   index terms  
rule rule rule rule
full text:   pdf 867 KB

A system for the symbolic analysis of problems in engineering mechanics
Philip H. Todd, Robin J. Y. McLeod and Marcia Harris
Pages 84 - 89
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 462 KB

Factoring high-degree polynomials by the black box Berlekamp algorithm
Erich Kaltofen and Austin Lobo
Pages 90 - 98
metadata:   index terms  
rule rule rule rule
full text:   pdf 864 KB

Algebraic and geometric reasoning using Dixon resultants
Deepak Kapur, Tushar Saxena and Lu Yang
Pages 99 - 107
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 949 KB

On computing sparse shifts for univariate polynomials
Y. N. Lakshman and B. David Saunders
Pages 108 - 113
metadata:   index terms  
rule rule rule rule
full text:   pdf 663 KB

Monomial bases and polynomial system solving (extended abstract)
Ioannis Z. Emiris and Ashutosh Rege
Pages 114 - 122
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 897 KB

The Gro¨bner basis algorithm and subresultant theory
Ana Maria Mandache
Pages 123 - 128
metadata:   abstract index terms reviews  
rule rule rule rule
full text:   pdf 640 KB

The shape of the Shape Lemma
Eberhard Becker, Teo Mora, Maria Grazia Marinari and Carlo Traverso
Pages 129 - 133
metadata:   index terms  
rule rule rule rule
full text:   pdf 517 KB

Constructing permutation representations for large matrix groups
Gene Cooperman, Larry Finkelstein, Bryant York and Michael Tselman
Pages 134 - 138
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 569 KB

Computing normalizers in permutation p-groups
Eugene M. Luks, Ferenc Rákóczi and Charles R. B. Wright
Pages 139 - 146
metadata:   index terms  
rule rule rule rule
full text:   pdf 694 KB

Constructing canonical presentations for subgroups of context-free groups in polynomial time (extended abstract)
Robert Cremanns and Friedrich Otto
Pages 147 - 153
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 713 KB

Finding blocks of imprimitivity in small-base groups in nearly linear time
Martin Schönert and Ákos Seress
Pages 154 - 157
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 386 KB

A conjecture on integration in finite terms with elementary functions and polylogarithms
Jamil Baddoura
Pages 158 - 162
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 383 KB

Characteristic classes for irregular singularities
Ron Sommeling
Pages 163 - 168
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 450 KB

D'Alembertian solutions of linear differential and difference equations
Sergei A. Abramov and Marko Petkovšek
Pages 169 - 174
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 504 KB

Fast polynomial dispersion computation and its application to indefinite summation
Yiu-Kwong Man and Francis J. Wright
Pages 175 - 180
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 601 KB

An application of symbolic computation in the physical sciences
Charles C. Dyer
Pages 181 - 186
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 640 KB

Computing parameterizations of rational algebraic curves
Mark van Hoeij
Pages 187 - 190
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 408 KB

Implicitization of hypersurfaces and curves by the Primbasissatz and basis conversion
Sandra Licciardi and Teo Mora
Pages 191 - 196
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 648 KB

Sufficiency analysis for the calculus of variations
Robert M. Corless
Pages 197 - 204
metadata:   index terms  
rule rule rule rule
full text:   pdf 698 KB

How to compute the Melnikov vector?
Alain Goriely and Michael Tabor
Pages 205 - 210
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 492 KB

On the implementation of a new algorithm for the computation of hyperelliptic integrals
Laurent Bertrand
Pages 211 - 215
metadata:   index terms  
rule rule rule rule
full text:   pdf 401 KB

Algorithms for finding the structure of solutions of a system of linear partial differential equations
Toshinori Oaku
Pages 216 - 223
metadata:   index terms  
rule rule rule rule
full text:   pdf 744 KB

Algebraic geometry and group theory in geometric constraint satisfaction
Oscar E. Ruiz S. and Placid M. Ferreira
Pages 224 - 233
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 1012 KB

Symbolic-numeric stability investigations of Jameson's schemes for the thin-layer Navier-Stokes equations
V. G. Ganzha, E. V. Vorozhtsov, J. Boers and J. A. van Hulzen
Pages 234 - 241
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 772 KB

Chains of recurrences--a method to expedite the evaluation of closed-form functions
Olaf Bachmann, Paul S. Wang and Eugene V. Zima
Pages 242 - 249
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 787 KB

Branch cuts in computer algebra
Adam Dingle and Richard J. Fateman
Pages 250 - 257
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 951 KB

Quantifier elimination for real algebra--the cubic case
Volker Weispfenning
Pages 258 - 263
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 529 KB

An algorithm for complexes
Roberto La Scala
Pages 264 - 268
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 508 KB

A fine-grained parallel completion procedure
Reinhard Bündgen, Manfred Göbel and Wolfgang Küchlin
Pages 269 - 277
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 974 KB

Symbolic-numeric nonlinear equation solving
Kelly Roach
Pages 278 - 284
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 486 KB

The identity problem for elementary functions and constants
Dan Richardson and John Fitch
Pages 285 - 290
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 672 KB

Signature functions for algebraic numbers
Michael B. Monagan and Gaston H. Gonnet
Pages 291 - 296
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 654 KB

Asymptotically fast solution of Toeplitz-like singular linear systems
Erich Kaltofen
Pages 297 - 304
metadata:   index terms  
rule rule rule rule
full text:   pdf 723 KB

Fast algorithms for rational forms of integer matrices
Mark Giesbrecht
Pages 305 - 311
metadata:   index terms  
rule rule rule rule
full text:   pdf 813 KB

Fast parallel computation of the Smith normal form of polynomial matrices
Gilles Villard
Pages 312 - 317
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 660 KB

Inheritance of rewrite rule structures applied to symbolic computation
Jason F. Harris
Pages 318 - 323
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 598 KB

Algorithms for type inference with coercions
Andreas Weber
Pages 324 - 329
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 550 KB

MP: a protocol for efficient exchange of mathematical expressions
Simon Gray, Norbert Kajler and Paul Wang
Pages 330 - 335
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 647 KB

An improved algorithm for factoring linear ordinary differential operators
Manuel Bronstein
Pages 336 - 340
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 478 KB

The use of the special semi-groups for solving differential equations
Jacques-Arthur Weil
Pages 341 - 347
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 710 KB

Optical character recognition for typeset mathematics
Benjamin P. Berman and Richard J. Fateman
Pages 348 - 353
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 725 KB

On the symbolic insimplification of the general 6R-manipulator kinematic equations
T. Recio and M. J. González-López
Pages 354 - 358
metadata:   abstract index terms  
rule rule rule rule
full text:   pdf 414 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 Thu, 10 Feb. 2000 15:16 -0500 .
 
dl homelist alphabeticallylist by sigsearch dlregister to dlsubscribe to dldl feedback
Made with Cascading Style Sheets Valid CSS! Valid HTML 4.0!