Automated Theorem Proving in the Homogeneous Model with Clifford Bracket Algebra

Li, H. (2002). Automated Theorem Proving in the Homogeneous Model with Clifford Bracket Algebra. In Applications of Geometric Algebra in Computer Science and Engineering (pp. 69–78). Birkhäuser Boston. https://doi.org/10.1007/978-1-4612-0089-5_5