DocumentCode
3442900
Title
Using Affine Bracket Algebra to Implement Machine Auto-Proving
Author
Ning, Zhang
Author_Institution
Central Univ. of Finance & Econ., Beijing
fYear
2007
fDate
23-25 May 2007
Firstpage
719
Lastpage
722
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICIEA.2007.4318500
Filename
4318500
Link To Document