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: Author="Kredel, Heinz"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Algebraic structures as typed objects
Heinz Kredel
,
Raphael Jolly
Lecture Notes in Computer Science
6885
, 2011, pp. 294-308
Generic, type-safe and object oriented computer algebra software
Heinz Kredel
,
Raphael Jolly
Lecture Notes in Computer Science
6244
, 2010, pp. 162-177
A systems perspective on A3L
Heinz Kredel
Proceedings of the Algorithmic Algebra and Logic Conference in Honor of the 60th Birthday of Volker Weispfenning, A3L'2005 (Passau, Germany, April 3-6, 2005)
, 2005, pp. 141-146
Reduction of permutation-invariant polynomials - A noncommutative case study
Manfred Göbel
,
Heinz Kredel
Information and Computation
175
(2), 2002, pp. 158-170
Computing dimension and independent sets for polynomial ideals
Heinz Kredel
,
Volker Weispfenning
Journal Symbolic Computation
6
(2-3), 1988, pp. 231-247