Details:

Title
Author(s)	Deepak Kapur
Type	Article in Conference Proceedings
Abstract	Three different methods for automated geometry theorem proving - a generalized version of Dixon resultants, Groebner bases and characteristic sets - are reviewed. The main focus is, however, on the use of the generalized Dixon resultant formulation for solving geometric problems and determining geometric quantities.
Length	36
ISBN	3-540-64297-8
File
Language	English
Pages	1-36
Publisher	Springer-Verlag
Address	London, UK
Year	1997
Edition	0
Translation	No
Refereed	No
Organization	State University of New York