Invariant Algebras And Geometric Reasoning by Hongbo Li