The Rooster and the Butterflies

机译：公鸡与蝴蝶

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper describes a machine-checked proof of the Jordan-Holder theorem for finite groups. This purpose of this description is to discuss the representation of the elementary concepts of finite group theory inside type theory. The design choices underlying these representations were crucial to the successful formalization of a complete proof of the Odd Order Theorem with the Coq system.

机译：本文描述了有限群的Jordan-Holder定理的机器检验证明。本描述的目的是讨论类型理论中有限群论基本概念的表示。这些表示形式所依据的设计选择对于用Coq系统成功形式化奇数定理的完整证明至关重要。

著录项

来源
《Intelligent computer mathematics》|2013年|1-18|共18页
会议地点 Bath(GB)
作者
Assia Mahboubi;
展开▼
作者单位

Microsoft Research - Inria Joint Centre;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Transgenerational effect of feeding genetically modified maroACC corn to laying hens and offspring roosters on offspring roosters growth and reproduction [J] . Zhong R., Chen L., Zhang L., Journal of Animal Science . 2017,第Suppla4期

机译：转基因MaroACC玉米饲喂母鸡和后代农民对后代公鸡生长和繁殖的转基因作用
2. Butterfly Gardens and Butterfly Populations: Do Host and Nectar Plant Strategies Drive Butterfly Status [J] . Revathy Vadakkutt Sankaranarayanan, George Mathew, Narayanankutty Naduvil, Research journal of environmental sciences . 2018,第1期

机译：蝴蝶园和蝴蝶种群：寄主和花蜜植物策略是否会推动蝴蝶地位
3. Butterfly Gardens and Butterfly Populations: Do Host and Nectar Plant Strategies Drive Butterfly Status [J] . Revathy Vadakkutt Sankaranarayanan, George Mathew, Narayanankutty Naduvil, Research journal of environmental sciences . 2018,第1期

机译：蝴蝶园和蝴蝶种群：寄主和花蜜植物策略是否会推动蝴蝶地位
4. The Rooster and the Butterflies [C] . Assia Mahboubi Symposium on the Integration of Symbolic Computation and Mechanized Reasoning . 2013

机译：雄鸡和蝴蝶
5. Flutter-by Interactive Butterfly Using interactivity to excite and educate children about butterflies and the National Museum of Play at The Strong's Dancing Wings Butterfly Garden [D] . Powers, Lydia 2012

机译：Flutter-by互动式蝴蝶利用互动性激发和教育孩子们有关蝴蝶的知识，并在The Strong's Dancing Wings Butterfly Garden参观国家游戏博物馆
6. Flower-Visiting Butterflies Avoid Predatory Stimuli and Larger Resident Butterflies: Testing in a Butterfly Pavilion [O] . Yuya Fukano, Yosuke Tanaka, Sayed Ibrahim Farkhary, -1

机译：访花蝴蝶避免掠食性刺激和较大的常驻蝴蝶：在蝴蝶馆中进行测试
7. The Rooster and the Butterflies [O] . Mahboubi, Assia 2013

机译：公鸡与蝴蝶

The Rooster and the Butterflies

摘要

著录项

相似文献

相关主题

期刊订阅