Franz Winkler

Born: 1955

No bio available. Add one in Open Library.

Born: 1955

Books by Franz Winkler (50 max)

+ shelf+ list

Gröbner bases and applications

1998

Bruno Buchberger, Franz Winkler

+ shelf+ list

The Church Rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms

1984

Franz Winkler

+ shelf+ list

Polynomial algorithms in computer algebra

1996

Franz Winkler

+ shelf+ list

Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers (Lecture Notes in Computer Science)

2004

Franz Winkler