Automated Geometric Reasoning with Geometric Algebra: Theory and Practice.

Hongbo Li

Browse the full ISSAC paper archive.