Using Affine Bracket Algebra to Implement Machine Auto-Proving

As a branch of computational intelligence, machine auto-proving has been attracting many people's attention after the middle century. This paper introduce a new method called "affine bracket algebra" which comes from "bracket algebra". And I apply it into the machine auto-proving. Here I give some key algorithms for this aim. I also give the frame of implementing it in Maple 10. In fact, I have finished it and used it to implement auto-proving for many propositions.