对风车问题的公理化审视
逻辑
2012-09-27 v1 度量几何
摘要
我们将第 52 届国际数学奥林匹克竞赛中作为第 2 题提出的直观语言描述的问题形式化为正式陈述,并证明其在有序正则结合平面中是有效的,这是其模型可嵌入射影有序平面的最弱有序几何。
引用
@article{arxiv.1209.5979,
title = {An axiomatic look at a windmill},
author = {Victor Pambuccian},
journal= {arXiv preprint arXiv:1209.5979},
year = {2012}
}
备注
10 pages