ISSAC 1990: Tokyo, Japan

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

Last update Tue Feb 14 04:06:02 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page