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
[1]
Hilfe
Suche: Author="Winkler, F."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
CASA: A computer algebra package for constructive algebraic geometry
R. Gebauer
,
M. Kalkbrener
,
B. Wall
,
F. Winkler
Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, ISSAC'91 (Bonn, Germany, July 15-17, 1991)
, 1991, pp. 403-410
Knuth-Bendix procedure and Buchberger algorithm - A synthesis
A. Kandri-Rody
,
D. Kapur
,
F. Winkler
Technical Report (89-18), 1989
A geometrical decision algorithm based on the Gröbner bases algorithm
F. Winkler
Lecture Notes in Computer Science
358
, 1989, pp. 356-363
A
p
-adic approach to the computation of Gröbner bases
F. Winkler
Computational aspects of commutative algebra, 1989, pp. 153-170
Reducing the complexity of the Knuth-Bendix completion algorithm: A ``unification'' of different approaches
F. Winkler
Lecture Notes in Computer Science
204
, 1985, pp. 378-389
On the complexity of the Groebner-bases algorithm over K[x,y,z]
F. Winkler
Lecture Notes in Computer Science
174
, 1984, pp. 184-194