default search action
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 - Gabriel 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.