Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleAutomated Geometric Reasoning: Dixon Resultants, Gröbner Bases, and Characteristic Sets
Author(s) Deepak Kapur
TypeArticle in Conference Proceedings
AbstractThree 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.
Length36
ISBN3-540-64297-8
File
LanguageEnglish
Pages1-36
PublisherSpringer-Verlag
AddressLondon, UK
Year1997
Edition0
Translation No
Refereed No
Organization State University of New York
Webmaster