References
Hongbo Li
Projective geometric theorem proving with Grassmann–Cayley algebra
2011
in: From Past to Future: Graßmann's Work in Context, Dordrecht : Springer
2011
in: From Past to Future: Graßmann's Work in Context, Dordrecht : Springer