ISSAC B

80 papers

YearTitle / Authors
1991"One Sugar cube, Please" or Selection Strategies in the Buchberger Algorithm.
Alessandro Giovini, Teo Mora, Gianfranco Niesi, Lorenzo Robbiano, Carlo Traverso
1991A Bound of Degree of Irreducible Eigenpolynomial of Some Differential Operator.
A. V. Astrelin
1991A Deductive Database of the Groups of Order Dividing 128.
Gregory Butler, Sridhar S. Iyer, Susan H. Ley
1991A Fast Deterministic Algorithm for Factoring Polynomials over Finite Fields of Small Characteristic.
Victor Shoup
1991A Heuristic Selection Strategy for Lexicographic Gröbner Bases?
Stephen R. Czapor
1991A Package for Computations in Simple Lie Algebra Representations.
Andrej A. Zolotykh
1991A Program for Symmetry Analysis of Differential Equations.
Vladimir V. Kornyak, W. I. Fushchich
1991A Subresultant Theory for Multivariate Polynomials.
Laureano González-Vega
1991A Theory for Parametric Linear Systems.
William Y. Sit
1991A Toolkit for Manipulating Indefinite Summations with Application to Neural Networks.
Dongming Wang
1991Algebraic Perturbative Calculations in High Energy Physics: Methods, Algorithms, Computer Programs and Physical Applications.
Levan R. Surguladze, Mark A. Samuel
1991Algebraic Programs Optimization.
Alexander A. Letichevsky, Julia V. Kapitonova, S. V. Konozenko
1991Algorithms for Difference Schemes construction on Non-Orthogonal Logically Rectangular Meshes.
Richard Liska, Mikhail Yu. Shashkov
1991Algorithms for Sparse Rational Interpolation.
Dima Grigoriev, Marek Karpinski
1991An Algebra of Properties.
Trudy Weibel, Gaston H. Gonnet
1991An Algorithm for Computing Genera of Ternary and Quaternary Quadratic Forms.
Rainer Schulze-Pillot
1991An Algorithm for Determining the Regulator and the Fundamental Unit of Hyperelliptic congruence Function Field.
Andreas Stein, Horst Günter Zimmer
1991An Algorithms for Computing Integral Bases of an Algebraic Function Field.
Marc Rybowicz
1991An Analysis of the Subresultant Algorithm Over an Algebraic Number Field.
Lars Langemyr
1991An Application of the REDUCE System for Solving a Mathematical Geodesy Problem.
I. Trenkov, Margarita Spiridonova, M. Daskalova
1991An Embedding Algorithm for Algebraic Congruence Function Fields.
Joacheim Schmitt
1991An Improved Approach to Automatic Error Cumulation Control.
J. H. J. Molenkamp, V. V. Goldman, J. A. van Hulzen
1991An Optimal Condition for Determining the Exact Number of Roots of a Polynomial System.
John F. Canny, J. Maurice Rojas
1991Application of Computer Algebra to Surface Lattice Dynamics.
R. Berndt, A. Lock, G. Witte, Ch. Wöll
1991Application of Computer Algebra to the Investigation of the Orbital Satellite Motion.
V. M. Rudenko, V. V. Leonov, A. F. Bragazin, I. P. Shmyglevsky
1991Application of Gröbner Bases to the Resolution of Systems of Norm Equations.
Attila Pethö
1991CASA: A Computer Algebra Package for Constructive Algebraic Geometry.
R. Gebauer, Michael Kalkbrener, B. Wall, Franz Winkler
1991Canonical Representations in Lisp and Applications to Computer Algebra systems.
Richard J. Fateman
1991Completion of Integral Polynomials by AC-Term Completion.
Reinhard Bündgen
1991Computations Involving Differential Operators and Their Actions on Functions.
Peter E. Crouch, Robert L. Grossman, Richard G. Larson
1991Computations with Finitely Generated Modules over Dedekind Rings.
Wieb Bosma, Michael Pohst
1991Computations with Parametric Equations.
Xiao-Shan Gao, Shang-Ching Chou
1991Computing the Number of Points of Elliptic Curves Over Finite Fields.
Johannes A. Buchmann, Volker Müller
1991Coset Enumeration Strategies.
George Havas
1991DSC: A System for Distributed Symbolic Computation.
Angel Díaz, Erich L. Kaltofen, Kurt Schmitz, Thomas Valente
1991Determination of the Root System of Semisimple Lie Algebras from the Dynkin Diagram.
H. Schlegel
1991Efficient Techniques for Multipolynomial Resultant Algorithms.
Dinesh Manocha, John F. Canny
1991Existence Theorems for Polynomial First Integrals.
Fritz Schwarz
1991FELIX - An Assistant for Alebraists.
Joachim Apel, Uwe Klaus
1991Fast Algorithms to Search for the Rational Solutions of Linear Differential Equations with Polynomial Coefficients.
Sergei A. Abramov, K. Yu. Kvashenko
1991Fast Reduction and Composition of Binary Quadratic Forms.
Arnold Schönhage
1991Features of Symbolic Computation Exploited in the Calculation of Lower Energy Bounds of Cyclic Polyene Models.
F. Vinette
1991Finding (good) Normal Bases in Finite Fields.
Thomas Beth, Willi Geiselmann, F. Meyer
1991For Computations with Coherent Configurations.
I. A. Faradzev, Mikhail H. Klin
1991Formal Methods in Delay-Differential Equations.
Giampiero Pecelli
1991Gröbner Bases of Ideals Given by Dual Bases.
Maria Grazia Marinari, H. Michael Möller, Teo Mora
1991How We Proved That There Are Exactly 924 Cyclic 7-Roots.
Jörgen Backelin, Ralf Fröberg
1991Implementation of Multilinear Operators in REDUCE and Applications in Mathematics.
Marcel Roelofs, Peter K. H. Gragert
1991Integrated System INTERCOMP and Computer Language for Physicists.
S. N. Grudtsin, V. N. Larin
1991Lie-Bäcklund Symmetries of Coupled Nonlinear Schrödinger Equations.
Vladimir P. Gerdt, N. V. Khutornoy, A. Yu. Zharkov
1991Mixed Symbolic-Numeric Solution of Symmetrical Nonlinear Systems.
Karin Gatermann
1991Nearly Linear Time Algorithms for Permutation Groups with a Small Base.
László Babai, Gene Cooperman, Larry Finkelstein, Ákos Seress
1991Nilpotent Normal Form via Carleman Linearization (for systems of ordinary differential equations).
Guoting Chen, Jean Della Dora, Laurent Stolovitch
1991Nonlinear Evolution Equations and the Painlevé Analysis: A Constructive Approach with REDUCE.
Friedrich Renner
1991Obtaining Exact Steady-state Responses in Driven Undamped Oscillators.
Ian Cohen, Karl-Erik Thylwe
1991On the Multi-Threaded Computation of Integral Polynomial Greatest Common Divisors.
Wolfgang Küchlin
1991On the Resolution of Index Form Equations.
István Gaál, Attila Pethö, Michael Pohst
1991Operating Computer Algebra Systems by Handprinted Input.
Reiner Marzinkewitsch
1991PAC: First Experiments on a 128 Transputers Méganode.
Françoise Roch-Siebert, Gilles Villard
1991PC Implementation of Fast Dirac Matrix Trace Calculations.
Viatcheslav A. Ilyin, Alexander P. Kryukov, A. Ya. Rodionov, A. Yu. Taranov
1991Practical Factorization of Univariate Polynomials over Finite Fields.
Vilmar Trevisan, Paul S. Wang
1991Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, ISSAC '91, Bonn, Germany, July 15-17, 1991
Stephen M. Watt
1991Qualitative Reasoning, Dimensional Analysis and Computer Algebra.
Waldir L. Roque, Renato P. dos Santos
1991REDUCE Usage for Calculation of Low-Energy Process Amplitudes in Chiral QCD Model.
Alexander A. Bel'kov, Alexander V. Lanyov
1991Rational Function Decomposition.
Richard Zippel
1991Reduction of Systems of Differential Equations to Standard form and Their Integration Using Directed Graphs.
Gregory J. Reid, A. Boulton
1991Scratchpad and the Rogers-Ramanujan Identities.
William H. Burge
1991Scratchpad's View of Algebra II: A Categorical View of Factorization.
James H. Davenport, Patrizia M. Gianni, Barry M. Trager
1991Searching for Integrable PDE's by Testing Hirota's Three-Soliton Condition.
Jarmo Hietarinta
1991Stability Analysis of Difference Schemes by the Catastrophe Theory Methods and by Means of Computer Algebra.
Victor G. Ganzha, B. Yu. Scobelev, Evgenii V. Vorozhtsov
1991Symbolic Calculation of Zero Dynamics for Nonlinear Control Systems.
Bram de Jager
1991Symbolic Simplification of Tensor Expressions Using Symmetries, Dummy Indices and Identities.
Viatcheslav A. Ilyin, Alexander P. Kryukov
1991Systematic Computer-Aided Analysis of Dynamic Systems.
W. Kleczka, E. Kreuzer
1991The Betatron Oscillations in the Vicinity of Nonlinear Resonance in Cyclic Accelerator Investigation.
Ilkizar V. Amirkhanov, E. P. Zhidkov, I. E. Zhidkova
1991The Chinese Remainder Problem, Multivariate Interpolation, and Gröbner Bases.
Thomas Becker, Volker Weispfenning
1991The Evaluation of Integrals and Series with Respect to Indices (Parameters) of Hypergeometric Functions.
Semyon B. Yakubovich, Yu. F. Luchko
1991The Risch Differential equation on an Algebraic Curve.
Manuel Bronstein
1991The Yang-Baxter Equation and a Systematic Search for Poisson Brackets on Associative Algebras.
Walter Oevel, Klaus Strack
1991Towards Computing Non Algebraic Cylindrical Decompositions.
Daniel Richardson
1991Working with Real Algebraic Plane Curves in REDUCE the GCUR Package.
Laureano González-Vega