ISSAC 1990:
Tokyo,
Japan
Proceedings of the International Symposium on Symbolic and Algebraic Computation,
ISSAC '90,
August 20-24,
1990,
Tokyo,
Japan. ACM,
1990
- Karl Aberer:
Normal Forms in Function Fields.
1-7
Electronic Edition (ACM DL) BibTeX
- Norbert Kuhn, Klaus Madlener, Friedrich Otto:
A Test for lambda-Confluence for Certain Prefix Rewriting Systems with Applications to the Generalized Word Problem.
8-15
Electronic Edition (ACM DL) BibTeX
- Marta Franová:
PRECOMAS an Implementation of Constructive Matching Methodology.
16-23
Electronic Edition (ACM DL) BibTeX
- Domenico Cantone, Vincenzo Cutello:
A Decidable Fragment of the Elementary Theory of Relations and Some Applications.
24-29
Electronic Edition (ACM DL) BibTeX
- Matthias Baaz, Alexander Leitsch:
A Strong Problem Reduction Method Based on Function Introduction.
30-37
Electronic Edition (ACM DL) BibTeX
- Zbigniew Stachniak:
Resolution Proof Systems with Weak Transformation Rules.
38-43
Electronic Edition (ACM DL) BibTeX
- Susumu Yamasaki:
Dataflow for Logic Program as Substitution Manipulator.
44-51
Electronic Edition (ACM DL) BibTeX
- Neil V. Murray, Erik Rosenthal:
Reexamining Intractability of Tableau Methods.
52-59
Electronic Edition (ACM DL) BibTeX
- Richard J. Fateman:
Advances and Trends in the Design and Construction of Algebraic Manipulation Systems.
60-67
Electronic Edition (ACM DL) BibTeX
- Alexander A. Letichevsky, Julia V. Kapitonova:
Algebraic Programming in the APS System.
68-75
Electronic Edition (ACM DL) BibTeX
- John Fitch:
A Delivery System for REDUCE.
76-81
Electronic Edition (ACM DL) BibTeX
- Julian A. Padget, A. Barnes:
Univariate Power Series Expansions in REDUCE.
82-87
Electronic Edition (ACM DL) BibTeX
- Y. Doleh, Paul S. Wang:
SUI: A System Independent User Interface for an Integrated Scientific Computing Environment.
88-95
Electronic Edition (ACM DL) BibTeX
- Bruce W. Char:
Progress Report on a System for General-Purpose Parallel Symbolic Algebraic Computation.
96-103
Electronic Edition (ACM DL) BibTeX
- Dima Grigoriev:
How to Test in Subexponential Time Whether Two Points Can Be Connected by a Curve in a Semialgebraic Set.
104-105
Electronic Edition (ACM DL) BibTeX
- Kioshi Shirayanagi:
On the Isomorphism Problem for Finite-Dimensional Binomial Algebras.
106-111
Electronic Edition (ACM DL) BibTeX
- K. Gatemann:
Symbolic Solution Polynomial Equation Systems with Symmetry.
112-119
Electronic Edition (ACM DL) BibTeX
- Bhubaneswar Mishra, Paul Pedersen:
Arithmetic with Real Algebraic Numbers is in NC.
120-126
Electronic Edition (ACM DL) BibTeX
- Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima:
On Determining the Solvability of Polynomials.
127-134
Electronic Edition (ACM DL) BibTeX
- Erich Kaltofen, Yagati N. Lakshman, J.-M. Wiley:
Modular Rational Sparse Multivariate Polynomial Interpolation.
135-139
Electronic Edition (ACM DL) BibTeX
- Joachim von zur Gathen:
Polynomials over Finite Fields with Large Images.
140-144
Electronic Edition (ACM DL) BibTeX
- Paul S. Wang:
Parallel Univariate Polynomial Factorization on Shared-Memory Multiprocessors.
145-151
Electronic Edition (ACM DL) BibTeX
- Nobuki Takayama:
Gröbner Basis, Integration and Transcendental Functions.
152-156
Electronic Edition (ACM DL) BibTeX
- Gregory J. Fee:
Computation of Catalan's Constant Using Ramanujan's Formula.
157-160
Electronic Edition (ACM DL) BibTeX
- Gene Cooperman, Larry Finkelstein, N. Sarawagi:
A Random Base Change Algorithm for Permutation Groups.
161-168
Electronic Edition (ACM DL) BibTeX
- Richard Liska, L. Drsda:
FIDE: a REDUCE package for automation of FInite difference method for solving pDE.
169-176
Electronic Edition (ACM DL) BibTeX
- S. I. Mazurik, Evgenii V. Vorozhtsov:
Symbolic-Numerical Computations in the Stability Analyses of Difference Schemes.
177-184
Electronic Edition (ACM DL) BibTeX
- Victor G. Ganzha, Michail Yu. Shashkov:
Local Approximation Study of Difference Operators by Means of REDUCE System.
185-192
Electronic Edition (ACM DL) BibTeX
- K. Okubo:
Global Theory of Ordinary Differential Equations and Formula Manipulation.
193-200
Electronic Edition (ACM DL) BibTeX
- A. C. Norman:
A Critical-Pair/Completion Based Integration Algorithm.
201-205
Electronic Edition (ACM DL) BibTeX
- Nobuki Takayama:
An Algorithm of Constructing the Integral of a Module - an Infinite Dimensional Analog of Gröbner Basis.
206-211
Electronic Edition (ACM DL) BibTeX
- Victor Adamchik, O. I. Marichev:
The Algorithm for Calculating Integrals of Hypergeometric Type Functions and Its Realization in REDUCE System.
212-224
Electronic Edition (ACM DL) BibTeX
- Dima Grigoriev:
Complexity of Irreducibility Testing for a System of Linear Ordinary Differential Equations.
225-230
Electronic Edition (ACM DL) BibTeX
- Guoting Chen:
An Algorithm for Computing the Formal Solutions of Differential Systems in the Neighborhood of an Irregular Singular Point.
231-235
Electronic Edition (ACM DL) BibTeX
- Felix Ulmer, Jacques Calmet:
On Liouvillian Solutions of Homogeneous Linear Differential Equations.
236-243
Electronic Edition (ACM DL) BibTeX
- M. Kohno:
Reduction Problems in the Theory of Differential Equations.
244-249
Electronic Edition (ACM DL) BibTeX
- Vladimir P. Gerdt, A. Yu. Zharkov:
Computer Generation of Necessary Integrability Conditions for Polynomial-Nonlinear Evolution Systems.
250-254
Electronic Edition (ACM DL) BibTeX
- Shang-Ching Chou:
Automated Reasoning in Geometries Using the Characteristic Set Method and Gröbner Basis Method.
255-260
Electronic Edition (ACM DL) BibTeX
- H. Hong:
An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition.
261-264
Electronic Edition (ACM DL) BibTeX
- Shang-Ching Chou, Xiao-Shan Gao:
Methods for Mechanical Geometry Formula Deriving.
265-270
Electronic Edition (ACM DL) BibTeX
- Dinesh Manocha:
Regular Curves and Proper Parametrizations.
271-276
Electronic Edition (ACM DL) BibTeX
- Deepak Kapur, H. K. Wan:
Refutational Proofs of Geometry Theorems via Characteristic Set Computation.
277-284
Electronic Edition (ACM DL) BibTeX
- Ferroudj Cherief:
An Algebraic Model for the Parallel Interpretation of Equationally Defined Functions (abstract).
285
Electronic Edition (ACM DL) BibTeX
- Robert Glück, Valentin F. Turchin:
Application of Metasystem Transition to Function Inversion and Transformation.
286-287
Electronic Edition (ACM DL) BibTeX
- Mounira Belmesk:
An Execution Model for Exploiting And-Or Parallelism in Logic Programs (abstract).
288
Electronic Edition (ACM DL) BibTeX
- Philippe Codognet:
Equations, Disequations and Unsolvable Subsets (abstract).
289
Electronic Edition (ACM DL) BibTeX
- C. Faure:
A Meta Simplifier.
290
Electronic Edition (ACM DL) BibTeX
- S. V. Kolyada:
Systems for Symbolic Computations in Boolean Algebra.
291
Electronic Edition (ACM DL) BibTeX
- Trevor J. Smedley:
Detecting Algebraic Dependencies Between Unnested Radicals (abstract).
292-293
Electronic Edition (ACM DL) BibTeX
- Dario Bini, Victor Y. Pan:
Parallel Polynomial Computations by Recursive Processes.
294
Electronic Edition (ACM DL) BibTeX
- Michael Kalkbrener:
Solving Systems of Bivariate Algebraic Equations by Using Primitive Polynomial Remainder Sequences.
295
Electronic Edition (ACM DL) BibTeX
- Russell J. Bradford:
A Parallelization of the Buchberger Algorithm.
296
Electronic Edition (ACM DL) BibTeX
- Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima:
On Factoring Multi-Variate Polynomials over Algebraically Closed Fields (abstract).
297
Electronic Edition (ACM DL) BibTeX
- Juan Llovet, J. Rafael Sendra:
A Modular Approach to the Computation of the Number of Real Roots.
298
Electronic Edition (ACM DL) BibTeX
- Vladimir P. Gerdt, N. V. Khutornoy, A. Yu. Zharkov:
Solving Algebraic Systems which Arise as Necessary Integrability Conditions for Polynomial-Nonlinear Evolution Equations.
299
Electronic Edition (ACM DL) BibTeX
- Z.-J. Liu:
An Algorithm for Finding all Isolated Zeros of Polynomial Systems.
300
Electronic Edition (ACM DL) BibTeX
- Victor G. Ganzha, S. V. Meleshko, V. P. Shelest:
Application of REDUCE System for Analyzing Consistency of Systems of P.D.E.'s.
301
Electronic Edition (ACM DL) BibTeX
- Tony C. Scott, Gregory J. Fee:
Some Applications of Maple Symbolic Computation to Scientific and Engineering Problems.
302-303
Electronic Edition (ACM DL) BibTeX
- M. T. Noda, E. Miyahiro:
On the Symbolic/Numeric Hybrid Integration.
304
Electronic Edition (ACM DL) BibTeX
- H. Q. Tan, X. Dong:
Optimization Techniques for Symbolic Equation Solver in Engineering Applications.
305
Electronic Edition (ACM DL) BibTeX
- Q.-S. Tao:
Symbolic and Algebraic Manipulation for Formulae of Interpolation and Quadrature.
306
Electronic Edition (ACM DL) BibTeX
- Guoting Chen, I. Gil:
The Implementation of an Algorithm in Macsyma: Computing the Formal Solutions of Differential Systems in the Neighborhood of Regular Singular Point.
307
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 23:26:20 2009
by Michael Ley (ley@uni-trier.de)