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 条
  • [21] COMPUTER-ASSISTED CLINICAL DECISION-MAKING
    JAVETT, SL
    BRIGGS, BR
    SOUTH AFRICAN MEDICAL JOURNAL, 1988, 73 (07): : 440 - 441
  • [22] COMPUTER-ASSISTED CLINICAL DECISION-MAKING
    GORRY, GA
    METHODS OF INFORMATION IN MEDICINE, 1973, 12 (01) : 45 - 51
  • [23] COMPUTER-ASSISTED DECISION-MAKING IN MEDICINE
    KUNZ, JC
    SHORTLIFFE, EH
    BUCHANAN, BG
    FEIGENBAUM, EA
    JOURNAL OF MEDICINE AND PHILOSOPHY, 1984, 9 (02): : 135 - 160
  • [24] COMPUTER-ASSISTED DECISION-MAKING TRAINING
    MERTENS, P
    ENDRESHOLUB, G
    OSTERLE, H
    RACKELMANN, G
    REITBAUER, F
    ZEITSCHRIFT FUR BETRIEBSWIRTSCHAFT, 1975, 45 (12): : 793 - 820
  • [25] COMPUTER-ASSISTED MEDICAL DECISION-MAKING
    BROOKS, G
    BRITISH MEDICAL JOURNAL, 1983, 287 (6401): : 1299 - 1299
  • [26] COMPUTER-ASSISTED MEDICAL DECISION-MAKING
    FOX, J
    ALVEY, P
    BRITISH MEDICAL JOURNAL, 1983, 287 (6394): : 742 - 746
  • [27] COMPUTER-ASSISTED DECISION-MAKING IN ANESTHESIA
    HARRISON, MJ
    JOHNSON, F
    BRITISH JOURNAL OF ANAESTHESIA, 1980, 52 (06) : 629 - 629
  • [28] The application of computer-assisted tomography in the analysis of fracture geometry
    Walters, DA
    Wong, RCK
    Kantzas, A
    GEOTECHNICAL TESTING JOURNAL, 1998, 21 (04): : 328 - 335
  • [29] COMPUTER-ASSISTED ANALYSIS OF THE ECHOCARDIOGRAM IN THE CLINICAL ENVIRONMENT
    BRITTAN, P
    SMITH, SL
    FAIRHURST, MC
    KELLY, SW
    TAYLOR, DJE
    MANIVANNEN, A
    MEDICAL INFORMATICS, 1991, 16 (02): : 115 - 124
  • [30] COMPUTER-ASSISTED ANALYSIS OF COMPLEX SYNTHETIC PROBLEMS
    COREY, EJ
    QUARTERLY REVIEWS, 1971, 25 (04): : 455 - &
12345