1
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... bases and differential algebra -- A procedure to prove geometrical statements -- Some applications of a...