Theoretical Computer Science, Volume 187

Volume 187, Numbers 1-2, 15 November 1997

• Willi Geiselmann, Felix Ulmer:
  Constructing a Third-Order Linear Differential Equation. 3-6
  
• Evelyne Hubert:
  Detecting Degenerate Behaviors in First Order Algebraic Differential Equations. 7-25
  
• Winfried Fakler:
  On Second Order Homogeneous Linear Differential Equations with Liouvillian Solutions. 27-48
  
• G. Thomas:
  The Problem of Defining the Singular Points of Quasi-Linear Differential-Algebraic Systems. 49-79
  
• Eckhard Pflügel:
  On the Latest Cersion of DESIR-II. 81-86
  
• Christian Scheen:
  Implementation of the Painlevé Test for Ordinary Differential Systems. 87-104
  
• Laurent Bernardin:
  On Square-Free Factorization of Multivariate Polynomials over a Finite Field. 105-116
  
• Willem A. de Graaf:
  An Algorithm for the Decomposition of Semisimple Lie Algebras. 117-122
  
• Abdenacer Makhlouf:
  Algèbres associatives et calcul formel (Associative algebras and computer algebra). 123-145
  
• Christoph Zenger:
  Indexed Types. 147-165
  
• Daniel Mall:
  Covers and Fans of Polynomial Ideals. 167-178
  
• Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin:
  On the Walk. 179-202
  
• Jerzy Karczmarczuk:
  Generating Power of Lazy Semantics. 203-219
  
• Jacques Calmet, Karsten Homann:
  Towards the Mathematics Software Bus. 221-230
  
• Joze Korelc:
  Automatic Generation of Finite-Element Code by Simultaneous Optimization of Expressions. 231-248
  
• Abdallah El Hamidi, Marc Garbey:
  Using MAPLE for the Analysis of Bifurcation Phenomena in Gas Combustion. 249-262
  
• Alain Carrière, Louis-Rémi Oudin:
  Applications du calcul formel à la balistique. 263-284