廣義循環(huán)矩陣的性質及循環(huán)矩陣在Mizar系統(tǒng)中的實現(xiàn).pdf

1、青島科技大學碩士學位論文廣義循環(huán)矩陣的性質及循環(huán)矩陣在Mizar系統(tǒng)中的實現(xiàn)姓名：岳曉鵬申請學位級別：碩士專業(yè)：應用數(shù)學指導教師：趙立寬20070416廣義循環(huán)矩陣的性質及循環(huán)矩陣在Mizar系統(tǒng)中的實現(xiàn)THEPROPERTIESOFGENERALIZEDCIRCULANTMATRlXANDTHEREALIZATl0NOFCIRCULANTMATRIXNZARSYSTEMABSTRACTThecirculantmatrixbelongs

2、totheTeoplitzmatrixclassFor門x力Teoplitzmatrix，ithas2n一1elements，theelementsontheIineparallelingthemaindiagonallinearethesameThecirculantmatrixhasmorespecialproperties：for／7刀circulantmatrix。itonlyhasnelements：itsarbitrary1

3、inecomesfromthepermutationofthefirst1ine，andSOOI]Becauseofitsspecialstructureandgoodproperties，theresearchofitwillbringoutalotofmeaningfulresultsTheMizarsystemiSoneofthefifteenfamousautomatedmathematicaltheoremprovingsys

4、temsIthasdevelopedforthirtyyearsbytheleadingofProAndrzejtrublycofPlockscienceassociationIthasformedselfcontainedformalizationsystemofmathematicalknowledgewhichalmostcoversa11thebranchesofmathematicalComparedwiththehugere

5、positoryofmathematics，therearemanyareasneededtoexploreandstudyInthiSpaper，wediSCUSSthediagonalizationofgeneralizedcirculantmatrixbyusinggeneralizedvandermondematrixThengetsomerelatedpropertiesofgeneralizedcirculantmatrix

6、AfterthatdiSCUSSsomealgorithmsofreversingofgeneralizedcirculationmatricesAtlastwegivethedefinitionofcirculantmatrixinMizarsystembyusingfinitesequenceandgivethedeterminationofsomebasiepropertiesofcirculantmatrixinMizarsys