References
Hongbo Li
(2011). Projective geometric theorem proving with Grassmann–Cayley algebra. In S. Russ & J. Liesen (eds.) From Past to Future: Graßmann's Work in Context (pp. 275-285). Dordrecht: Springer.
(2011). Projective geometric theorem proving with Grassmann–Cayley algebra. In S. Russ & J. Liesen (eds.) From Past to Future: Graßmann's Work in Context (pp. 275-285). Dordrecht: Springer.