Home
|
Quick Search
|
Advanced Search
|
Bibliography submission
|
Bibliography submission using bibtex
|
Bibliography submission using bibtex file
|
Links
|
Help
|
Internal
Details:
Title
On the application of Buchberger's algorithm to automated geometry theorem proving
Author(s)
Bernhard Kutzler
,
Sabine Stifter
Type
Article in Journal
ISSN
0747-7171
Language
English
Journal
Journal of Symbolic Computation
Volume
2
Number
4
Pages
389-397
Publisher
Academic Press, Inc.
Address
Duluth, MN, USA
Year
1986
Translation
No
Refereed
No
Organization
Johannes Kepler University Linz
Institution
RISC (Research Institute for Symbolic Computation)
Webmaster