A computer-assisted environment for understanding geometry theorem proving problems and making conjectures

被引：0
|
作者：
Wong, Wing-Kwong [1 ]
Huang, Chun-Wei [1 ]
Yin, Sheng-Kai [2 ]
Yang, Hsi-Hsun [2 ]
Chen, Po-Yu [2 ]
Hsu, Sheng-Cheng [3 ]
Wu, Shih-Hung [4 ]
机构：
[1] Department of Electronic Engineering, National Yunlin University of Science and Technology, No. 123 University Road, Douliou, Yunlin 64002, Taiwan
[2] Graduate School of Engineering Science and Technology, National Yunlin University of Science and Technology, No. 123 University Road, Douliou, Yunlin 64002, Taiwan
[3] Department of Information Management, Nan Kai University of Technology, No. 568 Chungcheng Road, Caotun, Nantou 542, Taiwan
[4] Department of Computer Science and Information Engineering, Chaoyang University of Technology, No. 168 Jifong E. Road, Wufong, Taichung 413, Taiwan
来源：
International Journal of Intelligent Information and Database Systems | 2009年 / 3卷 / 03期
关键词：
D O I：
10.1504/IJIIDS.2009.027684
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：231 / 245
相关论文
共 50 条
  • [1] A COMPUTER-ASSISTED PROOF OF THE FEIGENBAUM CONJECTURES
    LANFORD, OE
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1982, 6 (03) : 427 - 434
  • [2] COMPUTER-ASSISTED PROVING OF COMBINATORIAL CONJECTURES OVER FINITE DOMAINS: A CASE STUDY OF A CHESS CONJECTURE
    Janicic, Predrag
    Maric, Filip
    Malikovic, Marko
    LOGICAL METHODS IN COMPUTER SCIENCE, 2019, 15 (01)
  • [3] A LANGUAGE FOR COMPUTER ASSISTED THEOREM PROVING
    PIETRZYK.T
    CANADIAN MATHEMATICAL BULLETIN, 1969, 12 (01): : 119 - &
  • [4] Intelligent Understanding of Handwritten Geometry Theorem Proving
    Jiang, Yingying
    Tian, Feng
    Wang, Hongan
    Zhang, Xiaolong
    Wang, Xugang
    Dai, Guozhong
    IUI 2010, 2010, : 119 - 128
  • [5] A dynamic geometry environment for learning theorem proving
    Wong, WK
    Chan, BY
    Yin, SK
    5th IEEE International Conference on Advanced Learning Technologies, Proceedings, 2005, : 15 - 17
  • [6] Computer-assisted human-oriented inductive theorem proving by descente infinie-a manifesto
    Wirth, Claus-Peter
    LOGIC JOURNAL OF THE IGPL, 2012, 20 (06) : 1046 - 1063
  • [7] Problems of Knowledge Representation in Computer-Assisted Decision Making Systems
    Kulikowski, J. L.
    HUMAN-COMPUTER SYSTEMS INTERACTION: BACKGROUNDS AND APPLICATIONS, 2009, 60 : 39 - 54
  • [8] COMPUTER-ASSISTED AND GEOMETRY-ASSISTED ARITHMETIC
    COHEN, H
    NORDON, D
    RECHERCHE, 1989, 20 (208): : 352 - 358
  • [9] SLICE GEOMETRY IN COMPUTER-ASSISTED TOMOGRAPHY
    BROOKS, RA
    DICHIRO, G
    NEURORADIOLOGY, 1978, 15 (02) : 123 - 123
  • [10] SLICE GEOMETRY IN COMPUTER-ASSISTED TOMOGRAPHY
    BROOKS, RA
    DICHIRO, G
    JOURNAL OF COMPUTER ASSISTED TOMOGRAPHY, 1977, 1 (02) : 191 - 199
12345