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 条
  • [1] A SIMPLE PROOF THAT GEOMETRIC REGULARITY IMPLIES FORMAL SMOOTHNESS
    FALTINGS, G
    ARCHIV DER MATHEMATIK, 1978, 30 (03) : 284 - 285
  • [2] THE COORDINATION OF COGNITIVE PROCESSES IN SOLVING GEOMETRIC PROBLEMS REQUIRING FORMAL PROOF
    Torregrosa, German
    Quesada, Humberto
    PROCEEDINGS OF THE JOINT MEETING OF PME 32 AND PME-NA XXX, VOL 4, 2008, : 321 - 328
  • [3] Formal proof
    Atkinson, Ti-Grace
    ARTFORUM INTERNATIONAL, 2008, 46 (09): : 111 - +
  • [4] 'GEOMETRIC PROOF'
    AMBACHER, R
    BALL STATE UNIVERSITY FORUM, 1975, 16 (04): : 26 - 26
  • [5] INFORMAL PROOF, FORMAL PROOF, FORMALISM
    Weir, Alan
    REVIEW OF SYMBOLIC LOGIC, 2016, 9 (01): : 23 - 43
  • [6] A Formal Proof Generator from Semi-formal Proof Documents
    Riesco, Adrian
    Ogata, Kazuhiro
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2017, 2017, 10580 : 3 - 12
  • [7] Formal proof sketches
    Wiedijk, F
    TYPES FOR PROOFS AND PROGRAMS, 2004, 3085 : 378 - 393
  • [8] GEOMETRIC FIGURE AND DIMENSIONS OF MOON
    GAVRILOV, IV
    SOVIET ASTRONOMY AJ USSR, 1968, 12 (02): : 319 - &
  • [9] FORMAL GEOMETRIC QUANTIZATION
    Paradan, Paul-Emile
    ANNALES DE L INSTITUT FOURIER, 2009, 59 (01) : 199 - 238
  • [10] Geometric quality inspection
    Chen, GM
    Chen, JH
    STATISTICA SINICA, 1998, 8 (01) : 135 - 149
12345