 |  | |||||
|
| |||||||||
|
 |
 |
 |
 |
 |
|
Table of Contents
For full text in
 , use Adobe Acrobat Reader.
Rational function decomposition
Richard Zippel
Pages 1 - 6
Algorithms for sparse rational interpolation
Dima Yu. Grigoriev and Marek Karpinski
Pages 7 - 13
A fast deterministic algorithm for factoring polynomials over finite fields of small characteristic
Victor Shoup
Pages 14 - 21
Practical factorization of univariate polynomials over finite fields
Vilmar Trevisan and Paul Wang
Pages 22 - 31
Scratchpad's view of algebra II: A categorical view of factorization
J. H. Davenport, P. Gianni and B. M. Trager
Pages 32 - 38
A heuristic selection strategy for lexicographic Gro¨bner bases?
S. R. Czapor
Pages 39 - 48
"One sugar cube, please" or selection strategies in the Buchberger algorithm
Alessandro Giovini, Teo Mora, Gianfranco Niesi, Lorenzo Robbiano and Carlo Traverso
Pages 49 - 54
Gro¨bner bases of ideals given by dual bases
M. G. Marinari, H. M. Möller and T. Mora
Pages 55 - 63
The Chinese remainder problem, multivariate interpolation, and Gro¨bner bases
Thomas Becker and Volker Weispfenning
Pages 64 - 69
Completion of integral polynomials by AC-term completion
Reinhard Bündgen
Pages 70 - 78
A subresultant theory for multivariate polynomials
Laureano González-Vega
Pages 79 - 85
Efficient techniques for multipolynomial resultant algorithms
Dinesh Manocha and John Canny
Pages 86 - 95
An optimal condition for determining the exact number of roots of a polynomial system
John Canny and J. Maurice Rojas
Pages 96 - 102
How we proved that there are exactly 924 cyclic 7-roots
Jörgen Backelin and Ralf Fröberg
Pages 103 - 111
A theory for parametric linear systems
William Y. Sit
Pages 112 - 121
Computations with parametric equations
Xiao-Shan Gao and Shang-Ching Chou
Pages 122 - 127
Fast reduction and composition of binary quadratic forms
Arnold Schönhage
Pages 128 - 133
An algorithm for computing genera of ternary and quaternary quadratic forms
Rainer Schulze-Pillot
Pages 134 - 143
Application of Gro¨bner bases to the resolution of systems of norm equations
Attila Pethö
Pages 144 - 150
Computations with finitely generated modules over Dedekind rings
Wieb Bosma and Michael Pohst
Pages 151 - 156
An algorithms for computing integral bases of an algebraic function field
Marc Rybowicz
Pages 157 - 166
An analysis of the subresultant algorithm over an algebraic number field
Lars Langemyr
Pages 167 - 172
Finding (good) normal bases in finite fields
T. Beth, W. Geiselmann and F. Meyer
Pages 173 - 178
Computing the number of points of elliptic curves over finite fields
Johannes Buchmann and Volker Müller
Pages 179 - 182
An algorithm for determining the regulator and the fundamental unit of hyperelliptic congruence function field
Andreas Stein and Horst Günter Zimmer
Pages 183 - 184
On the resolution of index form equations
I. Gaál, A. Pethö and M. Pohst
Pages 185 - 186
An embedding algorithm for algebraic congruence function fields
Joacheim Schmitt
Pages 187 - 188
Scratchpad and the Rogers-Ramanujan identities
William H. Burge
Pages 189 - 190
Coset enumeration strategies
George Havas
Pages 191 - 199
Nearly linear time algorithms for permutation groups with a small base
László Babai, Gene Cooperman, Larry Finkelstein and Ákos Seress
Pages 200 - 209
A deductive database of the groups of order dividing 128
Greg Butler, Sridhar S. Iyer and Susan H. Ley
Pages 210 - 218
For computations with coherent configurations
I. A. Faradzev and M. H. Klin
Pages 219 - 223
Symbolic simplification of tensor expressions using symmetries, dummy indices and identities
V. A. Ilyin and A. P. Kryukov
Pages 224 - 228
The Yang-Baxter equation and a systematic search for Poisson brackets on associative algebras
Walter Oevel and Klaus Strack
Pages 229 - 236
A package for computations in simple lie algebra representations
A. A. Zolotykh
Pages 237 - 238
Determination of the root system of semisimple Lie algebras from the Dynkin diagram
H. Schlegel
Pages 239 - 240
The Risch differential equation on an algebraic curve
Manuel Bronstein
Pages 241 - 246
Towards computing non algebraic cylindrical decompositions
Daniel Richardson
Pages 247 - 255
Existence theorems for polynomial first integrals
Fritz Schwarz
Pages 256 - 264
A bound of degree of irreducible eigenpolynomial of some differential operator
A. V. Astrelin
Pages 265 - 266
Fast algorithms to search for the rational solutions of linear differential equations with polynomial coefficients
S. A. Abramov and K. Yu. Kvansenko
Pages 267 - 270
The evaluation of integrals and series with respect to indices (parameters) of hypergeometric functions
S. B. Yakubovich and Yu. F. Luchko
Pages 271 - 280
Nilpotent normal form via Carleman linearization (for systems of ordinary differential equations)
Guoting Chen, Jean Della Dora and Laurent Stolovitch
Pages 281 - 288
Nonlinear evolution equations and the Painleve´ analysis: a constructive approach with REDUCE
Friedrich Renner
Pages 289 - 294
Searching for integrable PDE's by testing Hirota's three-soliton condition
Jarmo Hietarinta
Pages 295 - 300
Computations involving differential operators and their actions on functions
Peter Crouch, Robert Grossman and Richard Larson
Pages 301 - 307
Reduction of systems of differential equations to standard form and their integration using directed graphs
G. J. Reid and A. Boulton
Pages 308 - 312
Lie-Ba¨cklund symmetries of coupled nonlinear Schro¨dinger equations
V. P. Gerdt, N. V. Khutornoy and A. Yu. Zjarkov
Pages 313 - 314
A program for symmetry analysis of differential equations
V. V. Kornyak and W. I. Fushchich
Pages 315 - 316
Formal methods in delay-differential equations
Giampiero Pecelli
Pages 317 - 318
Obtaining exact steady-state responses in driven undamped oscillators
Ian Cohen and Karl-Erik Thylwe
Pages 319 - 320
Symbolic calculation of zero dynamics for nonlinear control systems
Bram de Jager
Pages 321 - 322
DSC: a system for distributed symbolic computation
A. Diaz, E. Kaltofen, K. Schmitz and T. Valente
Pages 323 - 332
On the multi-threaded computation of integral polynomial greatest common divisors
Wolfgang Küchlin
Pages 333 - 342
PAC: first experiments on a 128 transputers me´ganode
Françoise Roch-Siebert and Gilles Villard
Pages 343 - 351
An algebra of properties
Trudy Weibel and Gaston H. Gonnet
Pages 352 - 359
Canonical representations in Lisp and applications to computer algebra systems
Richard J. Fateman
Pages 360 - 369
Algebraic programs optimization
A. A. Letichevsky, J. V. Kapitonova and S. V. Konozenko
Pages 370 - 376
Integrated system INTERCOMP and computer language for physicists
S. N. Grudtsin and V. N. Larin
Pages 377 - 381
FELIX--an assistant for alebraists
Joachim Apel and Uwe Klaus
Pages 382 - 389
Implementation of multilinear operators in REDUCE and applications in mathematics
Marcel Roelofs and Peter K. H. Gragert
Pages 390 - 396
Working with real algebraic plane curves in REDUCE the GCUR package
Laureano González-Vega
Pages 397 - 402
CASA: A computer algebra package for constructive algebraic geometry
R. Gebauer, M. Kalkbrener, B. Wall and F. Winkler
Pages 403 - 410
Operating computer algebra systems by handprinted input
Reiner Marzinkewitsch
Pages 411 - 413
An improved approach to automatic error cumulation control
J. H. J. Molenkamp, V. V. Goldman and J. A. van Hulzen
Pages 414 - 418
Algorithms for difference schemes construction on non-orthogonal logically rectangular meshes
Richard Liska and Michail Yu. Shashkov
Pages 419 - 426
Stability analysis of difference schemes by the catastrophe theory methods and by means of computer algebra
V. G. Ganzha, B. Yu. Scobelev and E. V. Vorozhtosov
Pages 427 - 428
Systematic computer-aided analysis of dynamic systems
W. Kleczka and E. Kreuzer
Pages 429 - 430
Mixed symbolic-numeric solution of symmetrical nonlinear systems
Karin Gatermann
Pages 431 - 432
Application of computer algebra to surface lattice dynamics
R. Berndt, A. Lock, G. Witte and Ch. Wöll
Pages 433 - 438
Algebraic perturbative calculations in high energy physics: Methods, algorithms, computer programs and physical applications
Levan R. Surguladze and Mark A. Samuel
Pages 439 - 447
An application of the REDUCE system for solving a mathematical Geodesy problem
I. Trenkov, M. Spiridonova and M. Daskalova
Pages 448 - 449
Application of computer algebra to the investigation of the orbital satellite motion
V. M. Rudenko, V. V. Leonov, A. F. Bragazin and I. P. Shmyglevsky
Pages 450 - 451
The betatron oscillations in the vicinity of nonlinear resonance in cyclic accelerator investigation
I. V. Amirkhanov, E. P. Zhidkov and I. E. Zhidkova
Pages 452 - 453
REDUCE usage for calculation of low-energy process amplitudes in chiral QCD model
Alexander A. Bel'kov and Alexander V. Lanyov
Pages 454 - 455
PC implementation of fast Dirac matrix trace calculations
V. A. Ilyin, A. P. Kryukov, A. Ya. Rodionov and A. Yu. Taranov
Pages 456 - 457
Features of symbolic computation exploited in the calculation of lower energy bounds of cyclic polyene models
F. Vinette
Pages 458 - 459
Qualitative reasoning, dimensional analysis and computer algebra
W. L. Roque and R. P. Dos Santos
Pages 460 - 461
A toolkit for manipulating indefinite summations with application to neural networks
Dongming Wang
Pages 462 - 463
|
|
For full text in
, use Adobe Acrobat Reader. |
|
|
The Digital Library is published by the Association for Computing Machinery. Copyright © 1999, 2000 ACM, Inc.
This page was last updated Thu, 24 Feb. 2000 12:21 -0500
.
|
|
      
| |
