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

Details:

   
TitleOn the application of Buchberger's algorithm to automated geometry theorem proving
Author(s) Bernhard Kutzler, Sabine Stifter
TypeArticle in Journal
ISSN0747-7171
LanguageEnglish
JournalJournal of Symbolic Computation
Volume2
Number4
Pages389-397
PublisherAcademic Press, Inc.
AddressDuluth, MN, USA
Year1986
Translation No
Refereed No
Organization Johannes Kepler University Linz
Institution RISC (Research Institute for Symbolic Computation)
Webmaster