References
Hongbo Li
(2010-2019)
XProjective geometric theorem proving with Grassmann–Cayley algebra
2011
in: From Past to Future: Graßmann's Work in Context, Dordrecht : Springer
(2010-2019)
X2011
in: From Past to Future: Graßmann's Work in Context, Dordrecht : Springer