Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=187
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Constructing a third-order linear differential equation
Willi Geiselman
,
Felix Ulmer
Theoretical Computer Science
187
(1-2), 1997, pp. 3-6
Detecting degenerate behaviors in first order algebraic differential equations
Evelyne Hubert
Theoretical Computer Science
187
(1-2), 1997, pp. 7-25
On second order homogeneous linear differential equations with Liouvillian solutions
Winfried Fakler
Theoretical Computer Science
187
(1-2), 1997, pp. 27-48
The problem of defining the singular points of quasi-linear differential-algebraic systems
G. Thomas
Theoretical Computer Science
187
(1-2), 1997, pp. 49-79
On the latest version of DESIR-II
E. Pflügel
Theoretical Computer Science
187
(1-2), 1997, pp. 81-86
Implementation of the Painlevé test for ordinary differential systems
Christian Scheen
Theoretical Computer Science
187
(1-2), 1997, pp. 87-104
On square-free factorization of multivariate polynomials over a finite field
Laurent Bernardin
Theoretical Computer Science
187
(1-2), 1997, pp. 105-116
An algorithm for the decomposition of semisimple Lie algebras
W.A. de Graaf
Theoretical Computer Science
187
(1-2), 1997, pp. 117-122
Algèbres associatives et calcul formel (Associative algebras and computer algebra)
Abdenacer Makhlouf
Theoretical Computer Science
187
(1-2), 1997, pp. 123-145
Indexed types
Christoph Zenger
Theoretical Computer Science
187
(1-2), 1997, pp. 147-165
Covers and fans of polynomial ideals
Daniel Mall
Theoretical Computer Science
187
(1-2), 1997, pp. 167-178
On the walk
Beatrice Amrhein
,
Oliver Gloor
,
Wolfgang Küchlein
Theoretical Computer Science
187
(1-2), 1997, pp. 179-202
Generating power of lazy semantics
Jerzy Karczmarczuk
Theoretical Computer Science
187
(1-2), 1997, pp. 203-219
Towards the Mathematics Software Bus
Jacques Calmet
,
Karsten Homann
Theoretical Computer Science
187
(1-2), 1997, pp. 221-230
Automatic generation of finite-element code by simultaneous optimization of expressions
Joz̑e Korelc
Theoretical Computer Science
187
(1-2), 1997, pp. 231-248
Using MAPLE for the analysis of bifurcation phenomena in gas combustion
A. El Hamidi
,
M. Garbey
Theoretical Computer Science
187
(1-2), 1997, pp. 249-262
Applications du calcul formel à la balistique
Alain Carrière
,
Louis-Rémi Oudin
Theoretical Computer Science
187
(1-2), 1997, pp. 263-284