The fundamental theorem of projective geometry: evolution of its proof between 1847 and 1900

Voelke JD

首页> 外文期刊>Archive for History of Exact Sciences >The fundamental theorem of projective geometry: evolution of its proof between 1847 and 1900

【24h】

The fundamental theorem of projective geometry: evolution of its proof between 1847 and 1900

机译：射影几何的基本定理：1847年至1900年之间射影几何的证明的演变

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

The fundamental theorem of projective geometry:evolution of its proof between 1847 and 1900

机译：射影几何的基本定理：1847年至1900年其证明的演变

著录项

来源
《Archive for History of Exact Sciences》 |2008年第3期|共54页
作者
Voelke JD;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类自然科学总论;
关键词
fundamental theorem; evolution; theorem;

机译：基本定理演化定理;

相似文献

外文文献
中文文献
专利

1. The fundamental theorem of projective geometry: evolution of its proof between 1847 and 1900 [J] . Voelke JD Archive for History of Exact Sciences . 2008,第3期

机译：射影几何的基本定理：1847年至1900年之间射影几何的证明的演变
2. Automated short proof generation for projective geometric theorems with Cayley and bracket algebras Ⅰ. Incidence geometry [J] . Hongbo Li, Yihong Wu urnal of Symbolic Computation . 2003,第5期

机译：Cayley和方括号Ⅰ的射影几何定理的自动短证明生成。入射几何
3. Automated short proof generation for projective geometric theorems with Cayley and bracket algebras Ⅱ. Conic geometry [J] . Hongbo Li, Yihong Wu urnal of Symbolic Computation . 2003,第5期

机译：Cayley和方括号Ⅱ的射影几何定理的自动短证明生成。圆锥几何
4. Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry [C] . Dominique Michelucci International Workshop on Automated Deduction in Geometry . 2011

机译：有些LEMMAS希望能够找到搜索方法来查找突出几何致理性逻辑的简短和人类可读证明
5. The fundamental theorem of algebra: A survey of history and proofs. [D] . Noel, Linda Hand. 1991

机译：代数的基本定理：历史和证明的概述。
6. A FUNDAMENTAL THEOREM ON ONE-PARAMETER CONTINUOUS GROUPS OF PROJECTIVE FUNCTIONAL TRANSFORMATIONS [O] . L. S. Kennison 1930

机译：一元连续函数射影函数变换的基本定理
7. Automated short proof generation for projective geometric theorems with Cayley and bracket algebras II. Conic geometry [O] . Li Hongbo, Wu Yihong 2003

机译：用Cayley和方括号代数II自动生成投影几何定理的简短证明。圆锥几何

The fundamental theorem of projective geometry: evolution of its proof between 1847 and 1900

摘要

著录项

相似文献

相关主题

期刊订阅