Art

J-GLOBAL ID：201402274540633520   Reference number：14A1382629

Mizarによる有限可換群の基本定理の形式化について

Author (4)： NAKAMASA KAZUHISA (信州大 大学院総合工学系研究科) ,  OKAZAKI HIROYUKI (信州大 大学院理工学系研究科) ,  YAMAZAKI HIROSHI (信州大 工) ,  SHIDAMA YASUNARI (信州大 工)
Material： 日本応用数理学会年会講演予稿集(CD-ROM)  (JSIAM年会講演予稿集(CD-ROM))
Volume： 2013  Page： ROMBUNNO.9039  Publication year： 2013 
JST Material Number： L6974B  ISSN： 1345-3378  Document type： Proceedings
Article type： 短報  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *group theory ,  *finite group ,  *Abelian group ,  *computer program ,  proof (evidence) ,  algebraic system ,  factorization in prime numbers ,  sub-group
Semi thesaurus term： Abelian group

JST classification (2)： Mathematical physics  (BA03000W) ,  Numerical computation  (JE02000J)

Terms in the title (3)： 可換群 ,  定理 ,  形式化