Title :
Using Affine Bracket Algebra to Implement Machine Auto-Proving
Author_Institution :
Central Univ. of Finance & Econ., Beijing
Abstract :
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.
Keywords :
algebra; mathematics computing; symbol manipulation; theorem proving; Maple 10; affine bracket algebra; computational intelligence; machine auto-proving; Algebra; Computer errors; Contracts; Control systems; Electron traps; Error correction; Industrial electronics; Pattern matching; Polynomials; Process control;
Conference_Titel :
Industrial Electronics and Applications, 2007. ICIEA 2007. 2nd IEEE Conference on
Conference_Location :
Harbin
Print_ISBN :
978-1-4244-0737-8
Electronic_ISBN :
978-1-4244-0737-8
DOI :
10.1109/ICIEA.2007.4318500