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

1、青島科技大學(xué)碩士學(xué)位論文廣義循環(huán)矩陣的性質(zhì)及循環(huán)矩陣在Mizar系統(tǒng)中的實(shí)現(xiàn)姓名：岳曉鵬申請學(xué)位級別：碩士專業(yè)：應(yīng)用數(shù)學(xué)指導(dǎo)教師：趙立寬20070416廣義循環(huán)矩陣的性質(zhì)及循環(huán)矩陣在Mizar系統(tǒng)中的實(shí)現(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