Mathematics - Proving a link between logic and origami

被引：1
|
作者：
Cipra, B
机构：
来源：
SCIENCE | 1998年 / 279卷 / 5352期
关键词：
D O I：
10.1126/science.279.5352.804
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：804 / 805
页数：2
相关论文
共 50 条
  • [41] Interactive theorem proving with temporal logic
    Felty, A
    Thery, L
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1997, 23 (04) : 367 - 397
  • [42] Proving pointer programs in Hoare logic
    Bornat, R
    [J]. MATHEMATICS OF PROGRAM CONSTRUCTION, 2000, 1837 : 102 - 126
  • [43] THE GARDENS REVISITED The link between technology, meaning and logic?
    Celani, Gabriela
    Duarte, Jose P.
    Vaz, Carlos V.
    [J]. PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED ARCHITECTURAL DESIGN RESEARCH IN ASIA (CAADRIA 2011): CIRCUIT BENDING, BREAKING AND MENDING, 2011, : 643 - 652
  • [44] Reasoning-and-Proving in School Mathematics Textbooks
    Stylianides, Gabriel J.
    [J]. MATHEMATICAL THINKING AND LEARNING, 2009, 11 (04) : 258 - 288
  • [45] A Link between Quantum Logic and Categorical Quantum Mechanics
    Harding, John
    [J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2009, 48 (03) : 769 - 802
  • [46] Origami Third international meeting of Origami science, mathematics, and education sponsored by OrgamiUSA
    Hull, TC
    [J]. ORIGAMI3, 2002, : IX - XI
  • [47] ON DOMINANT LOGIC, RELATEDNESS AND THE LINK BETWEEN DIVERSITY AND PERFORMANCE
    GRANT, RM
    [J]. STRATEGIC MANAGEMENT JOURNAL, 1988, 9 (06) : 639 - 642
  • [48] A Link between Quantum Logic and Categorical Quantum Mechanics
    John Harding
    [J]. International Journal of Theoretical Physics, 2009, 48 : 769 - 802
  • [49] Origami Logic Gates for Printable Robots
    Yan, Wenzhong
    Liu, Chang
    Mehta, Ankur
    [J]. 2021 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2021, : 6084 - 6089
  • [50] Region crossing change on origami and link
    Oshikiri, Tokio
    Shimizu, Ayaka
    Tamura, Junya
    [J]. JOURNAL OF KNOT THEORY AND ITS RAMIFICATIONS, 2024, 33 (07)
12345