首页> 外文OA文献 >Automatically Generating Counterexamples to Naive Free Theorems

【2h】

Automatically Generating Counterexamples to Naive Free Theorems

机译：自动生成反例到朴素的自由定理

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Daniel Seidel; Janis Voigtländer;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Fixed-point-free functions generating counterexamples to Rolle's theorem in [J] . Jesus Ferrer: Fixed point theory: An international journal o fixed point theory computation and applications . 2016,第2期

机译：不带定点的函数会在以下情况中生成Rolle定理的反例
2. A Generating Function Approach to Counting Theorems for Square-Free Polynomials and Maximal Tori [J] . Fulman Jason Annals of combinatorics . 2016,第3期

机译：无平方多项式和最大花托计数定理的生成函数方法
3. A Juzvinskii addition theorem for finitely generated free group actions [J] . LEWIS BOWEN, YONATAN GUTMAN Ergodic Theory and Dynamical Systems . 2014,第Pta1期

机译：有限生成的自由群动作的Juzvinskii加法定理
4. Automatically Generating Counterexamples to Naive Free Theorems [C] . Daniel Seidel, Janis Voigtlander Functional and logic programming . 2010

机译：自动生成天真自由定理的反例
5. ON AUTOMATICALLY GENERATING AND USING EXAMPLES IN A COMPUTATIONAL LOGIC SYSTEM (ARTIFICIAL INTELLIGENCE, THEOREM PROVING, FORMAL REASONING). [D] . KIM, MYUNG WON. 1986

机译：计算逻辑系统中的自动生成和使用示例（人工智能，定理证明，形式推理）。
6. Can Ethograms Be Automatically Generated Using Body Acceleration Data from Free-Ranging Birds? [O] . Kentaro Q. Sakamoto, Katsufumi Sato, Mayumi Ishizuka, 2009

机译：可以使用自由放养鸟类的身体加速度数据自动生成人种图吗？
7. A generating function approach to counting theorems for square-free polynomials and maximal tori [O] . Fulman, Jason 2014

机译：一种生成函数的方法来计算无平方的定理多项式和最大圆环
8. Rao-Blackwell Theorem in Stereology and Some Counterexamples [R] . Baddeley, A. J., Cruz-Orive, L. M. 1993

机译：体视学中的Rao-Blackwell定理及其一些反例

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号