Fermi systems, Hubbard model and a SymbolicC++ implementation

We show how the anticommutation relations for Fermi operators can be implem ented with computer algebra using SymbolicC++. We describe applications to the Hubbard model. An important identity for Fermi operators is proved. The n, we test for higher order constants of motion for the Hubbard model. Fina lly, the matrix representation for the four point Hubbard model is calculat ed.