Theorem proving in a mathematical information environment

被引：0
|
作者：
Yu. V. Kapitonova
A. A. Letichevskii
机构：
来源：
Cybernetics and Systems Analysis | 1998年 / 34卷
关键词：
Theorem Prove; Constraint System; Entailment Relation; Mathematical Text; Artificial Theoretician;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：481 / 488
页数：7
相关论文
共 50 条
  • [31] Advances in theorem proving
    Kientzle, T
    DR DOBBS JOURNAL, 1997, 22 (03): : 16 - 16
  • [32] Theorem Proving Modulo
    Gilles Dowek
    Thérèse Hardin
    Claude Kirchner
    Journal of Automated Reasoning, 2003, 31 : 33 - 72
  • [33] Automated theorem proving
    Plaisted, David A.
    WILEY INTERDISCIPLINARY REVIEWS-COGNITIVE SCIENCE, 2014, 5 (02) : 115 - 128
  • [34] Unsound theorem proving
    Lynch, C
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2004, 3210 : 473 - 487
  • [35] The Effects of the Extended Triad Model and Cognitive Style on the Abilities of Mathematical Representation and Proving of Theorem
    Widada, Wahyu
    Herawaty, Dewi
    PROCEEDINGS OF THE 1ST ANNUAL INTERNATIONAL CONFERENCE ON MATHEMATICS, SCIENCE, AND EDUCATION (ICOMSE 2017), 2017, 218 : 89 - 95
  • [36] Proving Termination by Dependency Pairs and Inductive Theorem Proving
    Carsten Fuhs
    Jürgen Giesl
    Michael Parting
    Peter Schneider-Kamp
    Stephan Swiderski
    Journal of Automated Reasoning, 2011, 47 : 133 - 160
  • [37] Proving Termination by Dependency Pairs and Inductive Theorem Proving
    Fuhs, Carsten
    Giesl, Juergen
    Parting, Michael
    Schneider-Kamp, Peter
    Swiderski, Stephan
    JOURNAL OF AUTOMATED REASONING, 2011, 47 (02) : 133 - 160
  • [38] Calculation by Tactic in Theorem Proving
    Li, Bing
    Zhang, Jian
    Su, Wei
    Li, Lian
    2012 WORLD AUTOMATION CONGRESS (WAC), 2012,
  • [39] Logical errors on proving theorem
    Sari, C. K.
    Waluyo, M.
    Ainur, C. M.
    Darmaningsih, E. N.
    1ST INTERNATIONAL CONFERENCE OF EDUCATION ON SCIENCES, TECHNOLOGY, ENGINEERING, AND MATHEMATICS (ICE-STEM), 2018, 948
  • [40] CONCEPT OF DEMODULATION IN THEOREM PROVING
    WOS, L
    ROBINSON, GA
    CARSON, DF
    SHALLA, L
    JOURNAL OF THE ACM, 1967, 14 (04) : 698 - &
12345