Geometry Theorem Proving in Vector Spaces by Means of Grbner Bases.

Sabine Stifter

Browse the full ISSAC paper archive.