H. R. Wüthrich

According to our database, H. R. Wüthrich authored at least 2 papers between 1975 and 1976.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1976

Ein Entscheidungsverfahren für die Theorie der reell- abgeschlossenen Körper.

H. R. Wüthrich

Proceedings of the Komplexität von Entscheidungsproblemen, Ein Seminar, 1976

1975

An efficient quantifier elimination algorithm for algebraically closed fields of any characteristic.

Joos Heintz, H. R. Wüthrich

SIGSAM Bull., 1975