ISSAC 1991:
Bonn,
Germany
Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation,
ISSAC '91,
Bonn,
Germany,
July 15-17,
1991. ACM,
1991
- Richard Zippel:
Rational Function Decomposition.
1-6
Electronic Edition (ACM DL) BibTeX
- Dima Grigoriev, Marek Karpinski:
Algorithms for Sparse Rational Interpolation.
7-13
Electronic Edition (ACM DL) BibTeX
- Victor Shoup:
A Fast Deterministic Algorithm for Factoring Polynomials over Finite Fields of Small Characteristic.
14-21
Electronic Edition (ACM DL) BibTeX
- Vilmar Trevisan, Paul S. Wang:
Practical Factorization of Univariate Polynomials over Finite Fields.
22-31
Electronic Edition (ACM DL) BibTeX
- James H. Davenport, Patrizia M. Gianni, Barry M. Trager:
Scratchpad's View of Algebra II: A Categorical View of Factorization.
32-38
Electronic Edition (ACM DL) BibTeX
- Stephen R. Czapor:
A Heuristic Selection Strategy for Lexicographic Gröbner Bases?
39-48
Electronic Edition (ACM DL) BibTeX
- Alessandro Giovini, Teo Mora, Gianfranco Niesi, Lorenzo Robbiano, Carlo Traverso:
``One Sugar cube, Please'' or Selection Strategies in the Buchberger Algorithm.
49-54
Electronic Edition (ACM DL) BibTeX
- Maria Grazia Marinari, H. Michael Möller, Teo Mora:
Gröbner Bases of Ideals Given by Dual Bases.
55-63
Electronic Edition (ACM DL) BibTeX
- Thomas Becker, Volker Weispfenning:
The Chinese Remainder Problem, Multivariate Interpolation, and Gröbner Bases.
64-69
Electronic Edition (ACM DL) BibTeX
- Reinhard Bündgen:
Completion of Integral Polynomials by AC-Term Completion.
70-78
Electronic Edition (ACM DL) BibTeX
- Laureano González-Vega:
A Subresultant Theory for Multivariate Polynomials.
79-85
Electronic Edition (ACM DL) BibTeX
- Dinesh Manocha, John F. Canny:
Efficient Techniques for Multipolynomial Resultant Algorithms.
86-95
Electronic Edition (ACM DL) BibTeX
- John F. Canny, J. Maurice Rojas:
An Optimal Condition for Determining the Exact Number of Roots of a Polynomial System.
96-102
Electronic Edition (ACM DL) BibTeX
- Jörgen Backelin, Ralf Fröberg:
How We Proved That There Are Exactly 924 Cyclic 7-Roots.
103-111
Electronic Edition (ACM DL) BibTeX
- William Y. Sit:
A Theory for Parametric Linear Systems.
112-121
Electronic Edition (ACM DL) BibTeX
- Xiao-Shan Gao, Shang-Ching Chou:
Computations with Parametric Equations.
122-127
Electronic Edition (ACM DL) BibTeX
- Arnold Schönhage:
Fast Reduction and Composition of Binary Quadratic Forms.
128-133
Electronic Edition (ACM DL) BibTeX
- Rainer Schulze-Pillot:
An Algorithm for Computing Genera of Ternary and Quaternary Quadratic Forms.
134-143
Electronic Edition (ACM DL) BibTeX
- Attila Pethö:
Application of Gröbner Bases to the Resolution of Systems of Norm Equations.
144-150
Electronic Edition (ACM DL) BibTeX
- Wieb Bosma, Michael Pohst:
Computations with Finitely Generated Modules over Dedekind Rings.
151-156
Electronic Edition (ACM DL) BibTeX
- Marc Rybowicz:
An Algorithms for Computing Integral Bases of an Algebraic Function Field.
157-166
Electronic Edition (ACM DL) BibTeX
- Lars Langemyr:
An Analysis of the Subresultant Algorithm Over an Algebraic Number Field.
167-172
Electronic Edition (ACM DL) BibTeX
- Thomas Beth, Willi Geiselmann, F. Meyer:
Finding (good) Normal Bases in Finite Fields.
173-178
Electronic Edition (ACM DL) BibTeX
- Johannes Buchmann, Volker Müller:
Computing the Number of Points of Elliptic Curves Over Finite Fields.
179-182
Electronic Edition (ACM DL) BibTeX
- Andreas Stein, Horst Günter Zimmer:
An Algorithm for Determining the Regulator and the Fundamental Unit of Hyperelliptic congruence Function Field.
183-184
Electronic Edition (ACM DL) BibTeX
- István Gaál, Attila Pethö, Michael Pohst:
On the Resolution of Index Form Equations.
185-186
Electronic Edition (ACM DL) BibTeX
- Joacheim Schmitt:
An Embedding Algorithm for Algebraic Congruence Function Fields.
187-188
Electronic Edition (ACM DL) BibTeX
- William H. Burge:
Scratchpad and the Rogers-Ramanujan Identities.
189-190
Electronic Edition (ACM DL) BibTeX
- George Havas:
Coset Enumeration Strategies.
191-199
Electronic Edition (ACM DL) BibTeX
- László Babai, Gene Cooperman, Larry Finkelstein, Ákos Seress:
Nearly Linear Time Algorithms for Permutation Groups with a Small Base.
200-209
Electronic Edition (ACM DL) BibTeX
- Gregory Butler, Sridhar S. Iyer, Susan H. Ley:
A Deductive Database of the Groups of Order Dividing 128.
210-218
Electronic Edition (ACM DL) BibTeX
- I. A. Faradzev, Mikhail H. Klin:
For Computations with Coherent Configurations.
219-223
Electronic Edition (ACM DL) BibTeX
- V. A. Ilyin, A. P. Kryukov:
Symbolic Simplification of Tensor Expressions Using Symmetries, Dummy Indices and Identities.
224-228
Electronic Edition (ACM DL) BibTeX
- Walter Oevel, Klaus Strack:
The Yang-Baxter Equation and a Systematic Search for Poisson Brackets on Associative Algebras.
229-236
Electronic Edition (ACM DL) BibTeX
- Andrej A. Zolotykh:
A Package for Computations in Simple Lie Algebra Representations.
237-238
Electronic Edition (ACM DL) BibTeX
- H. Schlegel:
Determination of the Root System of Semisimple Lie Algebras from the Dynkin Diagram.
239-240
Electronic Edition (ACM DL) BibTeX
- Manuel Bronstein:
The Risch Differential equation on an Algebraic Curve.
241-246
Electronic Edition (ACM DL) BibTeX
- Daniel Richardson:
Towards Computing Non Algebraic Cylindrical Decompositions.
247-255
Electronic Edition (ACM DL) BibTeX
- Fritz Schwarz:
Existence Theorems for Polynomial First Integrals.
256-264
Electronic Edition (ACM DL) BibTeX
- A. V. Astrelin:
A Bound of Degree of Irreducible Eigenpolynomial of Some Differential Operator.
265-266
Electronic Edition (ACM DL) BibTeX
- Sergei A. Abramov, K. Yu. Kvashenko:
Fast Algorithms to Search for the Rational Solutions of Linear Differential Equations with Polynomial Coefficients.
267-270
Electronic Edition (ACM DL) BibTeX
- S. B. Yakubovich, Yu. F. Luchko:
The Evaluation of Integrals and Series with Respect to Indices (Parameters) of Hypergeometric Functions.
271-280
Electronic Edition (ACM DL) BibTeX
- Guoting Chen, Jean Della Dora, Laurent Stolovitch:
Nilpotent Normal Form via Carleman Linearization (for systems of ordinary differential equations).
281-288
Electronic Edition (ACM DL) BibTeX
- Friedrich Renner:
Nonlinear Evolution Equations and the Painlevé Analysis: A Constructive Approach with REDUCE.
289-294
Electronic Edition (ACM DL) BibTeX
- Jarmo Hietarinta:
Searching for Integrable PDE's by Testing Hirota's Three-Soliton Condition.
295-300
Electronic Edition (ACM DL) BibTeX
- Peter Crouch, Robert L. Grossman, Richard G. Larson:
Computations Involving Differential Operators and Their Actions on Functions.
301-307
Electronic Edition (ACM DL) BibTeX
- Gregory J. Reid, A. Boulton:
Reduction of Systems of Differential Equations to Standard form and Their Integration Using Directed Graphs.
308-312
Electronic Edition (ACM DL) BibTeX
- Vladimir P. Gerdt, N. V. Khutornoy, A. Yu. Zharkov:
Lie-Bäcklund Symmetries of Coupled Nonlinear Schrödinger Equations.
313-314
Electronic Edition (ACM DL) BibTeX
- Vladimir V. Kornyak, W. I. Fushchich:
A Program for Symmetry Analysis of Differential Equations.
315-316
Electronic Edition (ACM DL) BibTeX
- Giampiero Pecelli:
Formal Methods in Delay-Differential Equations.
317-318
Electronic Edition (ACM DL) BibTeX
- Ian Cohen, Karl-Erik Thylwe:
Obtaining Exact Steady-state Responses in Driven Undamped Oscillators.
319-320
Electronic Edition (ACM DL) BibTeX
- Bram De Jager:
Symbolic Calculation of Zero Dynamics for Nonlinear Control Systems.
321-322
Electronic Edition (ACM DL) BibTeX
- Angel Díaz, Erich Kaltofen, K. Schmitz, T. Valente:
DSC: A System for Distributed Symbolic Computation.
323-332
Electronic Edition (ACM DL) BibTeX
- Wolfgang Küchlin:
On the Multi-Threaded Computation of Integral Polynomial Greatest Common Divisors.
333-342
Electronic Edition (ACM DL) BibTeX
- Françoise Roch-Siebert, Gilles Villard:
PAC: First Experiments on a 128 Transputers Méganode.
343-351
Electronic Edition (ACM DL) BibTeX
- Trudy Weibel, Gaston H. Gonnet:
An Algebra of Properties.
352-359
Electronic Edition (ACM DL) BibTeX
- Richard J. Fateman:
Canonical Representations in Lisp and Applications to Computer Algebra systems.
360-369
Electronic Edition (ACM DL) BibTeX
- Alexander A. Letichevsky, Julia V. Kapitonova, S. V. Konozenko:
Algebraic Programs Optimization.
370-376
Electronic Edition (ACM DL) BibTeX
- S. N. Grudtsin, V. N. Larin:
Integrated System INTERCOMP and Computer Language for Physicists.
377-381
Electronic Edition (ACM DL) BibTeX
- Joachim Apel, Uwe Klaus:
FELIX - An Assistant for Alebraists.
382-389
Electronic Edition (ACM DL) BibTeX
- Marcel Roelofs, Peter K. H. Gragert:
Implementation of Multilinear Operators in REDUCE and Applications in Mathematics.
390-396
Electronic Edition (ACM DL) BibTeX
- Laureano González-Vega:
Working with Real Algebraic Plane Curves in REDUCE the GCUR Package.
397-402
Electronic Edition (ACM DL) BibTeX
- R. Gebauer, Michael Kalkbrener, B. Wall, Franz Winkler:
CASA: A Computer Algebra Package for Constructive Algebraic Geometry.
403-410
Electronic Edition (ACM DL) BibTeX
- Reiner Marzinkewitsch:
Operating Computer Algebra Systems by Handprinted Input.
411-413
Electronic Edition (ACM DL) BibTeX
- J. H. J. Molenkamp, V. V. Goldman, J. A. van Hulzen:
An Improved Approach to Automatic Error Cumulation Control.
414-418
Electronic Edition (ACM DL) BibTeX
- Richard Liska, Michail Yu. Shashkov:
Algorithms for Difference Schemes construction on Non-Orthogonal Logically Rectangular Meshes.
419-426
Electronic Edition (ACM DL) BibTeX
- Victor G. Ganzha, B. Yu. Scobelev, Evgenii V. Vorozhtsov:
Stability Analysis of Difference Schemes by the Catastrophe Theory Methods and by Means of Computer Algebra.
427-428
Electronic Edition (ACM DL) BibTeX
- W. Kleczka, E. Kreuzer:
Systematic Computer-Aided Analysis of Dynamic Systems.
429-430
Electronic Edition (ACM DL) BibTeX
- Karin Gatermann:
Mixed Symbolic-Numeric Solution of Symmetrical Nonlinear Systems.
431-432
Electronic Edition (ACM DL) BibTeX
- R. Berndt, A. Lock, G. Witte, Ch. Wöll:
Application of Computer Algebra to Surface Lattice Dynamics.
433-438
Electronic Edition (ACM DL) BibTeX
- Levan R. Surguladze, Mark A. Samuel:
Algebraic Perturbative Calculations in High Energy Physics: Methods, Algorithms, Computer Programs and Physical Applications.
439-447
Electronic Edition (ACM DL) BibTeX
- I. Trenkov, M. Spiridonova, M. Daskalova:
An Application of the REDUCE System for Solving a Mathematical Geodesy Problem.
448-449
Electronic Edition (ACM DL) BibTeX
- V. M. Rudenko, V. V. Leonov, A. F. Bragazin, I. P. Shmyglevsky:
Application of Computer Algebra to the Investigation of the Orbital Satellite Motion.
450-451
Electronic Edition (ACM DL) BibTeX
- I. V. Amirkhanov, E. P. Zhidkov, I. E. Zhidkova:
The Betatron Oscillations in the Vicinity of Nonlinear Resonance in Cyclic Accelerator Investigation.
452-453
Electronic Edition (ACM DL) BibTeX
- Alexander A. Bel'kov, Alexander V. Lanyov:
REDUCE Usage for Calculation of Low-Energy Process Amplitudes in Chiral QCD Model.
454-455
Electronic Edition (ACM DL) BibTeX
- V. A. Ilyin, A. P. Kryukov, A. Ya. Rodionov, A. Yu. Taranov:
PC Implementation of Fast Dirac Matrix Trace Calculations.
456-457
Electronic Edition (ACM DL) BibTeX
- F. Vinette:
Features of Symbolic Computation Exploited in the Calculation of Lower Energy Bounds of Cyclic Polyene Models.
458-459
Electronic Edition (ACM DL) BibTeX
- W. L. Roque, R. P. Dos Santos:
Qualitative Reasoning, Dimensional Analysis and Computer Algebra.
460-461
Electronic Edition (ACM DL) BibTeX
- Dongming Wang:
A Toolkit for Manipulating Indefinite Summations with Application to Neural Networks.
462-463
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 23:26:20 2009
by Michael Ley (ley@uni-trier.de)
