Geometry theorem proving in vector spaces by means of Gröbner bases
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
A New Approach for Automatic Theorem Proving in Real Geometry
Journal of Automated Reasoning
Hi-index | 0.00 |