Văn bản này: Invariant algebras and geometric reasoning