INSPECTION OF A GEOMETRIC FIGURE AND FORMAL PROOF

被引：0
|
作者：
STENIUS, E
机构：
来源：
STUDIA LEIBNITIANA | 1981年 / 13卷 / 01期
关键词：
D O I：
暂无
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
引用
收藏
页码：133 / 146
页数：14
相关论文
共 50 条
  • [21] Formal proof of a program:: Find
    Filliatre, Jean-Christophe
    SCIENCE OF COMPUTER PROGRAMMING, 2007, 64 (03) : 332 - 340
  • [22] A FORMAL PROOF OF THE KEPLER CONJECTURE
    Hales, Thomas
    Adams, Mark
    Bauer, Gertrud
    Tat Dat Dang
    Harrison, John
    Le Truong Hoang
    Kaliszyk, Cezary
    Magron, Victor
    Mclaughlin, Sean
    Tat Thang Nguyen
    Quang Truong Nguyen
    Nipkow, Tobias
    Obua, Steven
    Pleso, Joseph
    Rute, Jason
    Solovyev, Alexey
    Thi Hoai An Ta
    Nam Trung Tran
    Thi Diep Trieu
    Urban, Josef
    Vu, Ky
    Zumkeller, Roland
    FORUM OF MATHEMATICS PI, 2017, 5
  • [23] FORMAL GEOMETRIC QUANTIZATION II
    Paradan, Paul-Emile
    PACIFIC JOURNAL OF MATHEMATICS, 2011, 253 (01) : 169 - 211
  • [24] GEOMETRIC REGULARITY AND FORMAL SMOOTHNESS
    BREZULEA.A
    RADU, N
    ATTI DELLA ACCADEMIA NAZIONALE DEI LINCEI RENDICONTI-CLASSE DI SCIENZE FISICHE-MATEMATICHE & NATURALI, 1971, 51 (05): : 326 - &
  • [25] A formal specification of geometric refinements
    Cazier, D
    Dufourd, JF
    VISUAL COMPUTER, 1999, 15 (06): : 279 - 301
  • [26] A formal specification of geometric refinements
    David Cazier
    Jean-François Dufourd
    The Visual Computer, 1999, 15 : 279 - 301
  • [27] The Koch curve: A geometric proof
    Ungar, Sime
    AMERICAN MATHEMATICAL MONTHLY, 2007, 114 (01): : 61 - 66
  • [28] A GEOMETRIC PROOF OF A RECIPROCITY LAW
    HILL, R
    NAGOYA MATHEMATICAL JOURNAL, 1995, 137 : 77 - 144
  • [29] A Cognitive Tutor for Geometric Proof
    Ritter, Steven
    Towle, Brendon
    Murray, R. Charles
    Hausmann, Robert G. M.
    Connelly, John
    INTELLIGENT TUTORING SYSTEMS, PART II, 2010, 6095 : 453 - 453
  • [30] Geometric proof of a conjecture of Fulton
    Belkale, Prakash
    ADVANCES IN MATHEMATICS, 2007, 216 (01) : 346 - 357
12345