ISSAC 1991: Bonn, Germany

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

Last update Wed Feb 15 05:11:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page