A web-based intelligent system for geometric discovery

被引:0
|
作者
Botana, F [1 ]
机构
[1] Univ Vigo, Dept Matemat Aplicada 1, Pontevedra 36005, Spain
关键词
D O I
暂无
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
An open web-based tool for automatic discovery in elementary Euclidean geometry, webDiscovery, is described. It is based in recent findings in automatic discovery in geometry. A user-defined geometric construction is uploaded to a Java Servlet server, where two computer algebra systems, CoCoA and Mathematica, return the discovered facts about the construction. webDiscovery can be efficiently used in mathematics education, linkage design and testing and computer aided geometric design. The system can be tested at rosalia. uvigo. es/sdge/web/2D.
引用
收藏
页码:801 / 810
页数:10
相关论文
共 50 条
  • [1] A Web-based Intelligent Forecasting System
    Li, X
    Hee, KJ
    Cheng, YS
    [J]. KNOWLEDGE-BASED INTELLIGNET INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2003, 2774 : 993 - 999
  • [2] Analysis of clustering algorithms for group discovery in a web-based intelligent tutoring system
    Bunic, D.
    Jugo, I.
    Kovacic, B.
    [J]. 2019 42ND INTERNATIONAL CONVENTION ON INFORMATION AND COMMUNICATION TECHNOLOGY, ELECTRONICS AND MICROELECTRONICS (MIPRO), 2019, : 759 - 765
  • [3] A web-based Intelligent Tutoring System
    Li, ZP
    Sun, Y
    Liu, MK
    [J]. ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS II, 2005, 187 : 583 - 591
  • [4] A web-based hybrid intelligent system framework
    Sonar, RM
    [J]. Proceedings of the Sixth IASTED International Conference on Intelligent Systems and Control, 2004, : 254 - 259
  • [5] Web-Based Intelligent Traffic Management System
    Al-Alawi, Raida
    [J]. WCECS 2009: WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, VOLS I AND II, 2009, : 504 - 507
  • [6] A Web-based Intelligent Fashion Design System
    李继云
    方远
    [J]. Journal of Donghua University(English Edition), 2006, (01) : 36 - 41
  • [7] Web-based intelligent Decision Support System
    Ping, Z
    Hua, X
    [J]. FIFTH INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND MANAGMENT SCIENCE: PROCEEDINGS OF IE & MS '98, 1998, : 357 - 363
  • [8] Design of a Web-based Intelligent Tutoring System
    Ding, Yongjun
    Zhong, Shaochun
    Li, Xin
    Li, Jian
    [J]. ADVANCES IN INTELLIGENT IT: ACTIVE MEDIA TECHNOLOGY 2006, 2006, 138 : 298 - +
  • [9] Design of an intelligent Web-based help desk system
    Thurman, DA
    Tracy, JS
    Mitchell, CM
    [J]. SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 2198 - 2203
  • [10] Design and Implementation of Web-Based Intelligent Examination System
    Wang Aimin
    Wang Jipeng
    [J]. 2009 WRI WORLD CONGRESS ON SOFTWARE ENGINEERING, VOL 3, PROCEEDINGS, 2009, : 195 - 199