%0 Journal Article
%T Algebraic Methods for Geometric Reasoning
%A B. Buchberger
%A B. Kutzler
%A G. E. Collins
%J -
%D 1988
%R 10.1146/annurev.cs.03.060188.000505
%U https://www.annualreviews.org/doi/abs/10.1146/annurev.cs.03.060188.000505