1.
iGeo: A Theorem Prover of the Intelligent Geometry Software;
iGeo：智能几何软件的定理证明器
2.
Here, “intelligence” means that DGS can helpusers to solve geometry problems like experts.
这里,智能性是指动态几何软件能象“几何专家”一样帮助用户解题。
3.
A New Hidden-Line Algorithm of Intelligent Solid Geometry CAI;
智能立体几何CAI软件中的一个消隐算法
4.
With the aid of the research fruits from the automated geometry theoremproving, this paper can implement the software with intelligence mentioned aboveby embedding the geometry theorem prover (GTP) in the DGS.
应用几何定理机器证明的研究成果,可以研制出高智能的几何教育软件。
5.
Intuitionistic Understanding Fractal Geometry with Matlab Software;
Matlab软件在分形几何上的应用
6.
Structuring Revolving Cube to Build an Environmental Study;
用《几何画板》软件构造旋转立方体尝试
7.
CAI software of brushwork geometry and machine-drawing;
画法几何及机械制图CAI软件制作
8.
An Introduction on Mathematica with its Applications to Fractals;
数学软件Mathematica及其在分形几何中的应用
9.
Software Designing of Geometry Distortion Adjustment in Machine Vision
机器视觉中的几何畸变校正软件设计
10.
Study of Knowledgeware Tensioning Device of Belt Conveyer
带式输送机智能软件张紧装置的研究
11.
Software and Intelligent Management System (IMS) for Competition
软件及智能化比赛管理系统。
12.
Research of simulation and intellective management software on ESP
电除尘器仿真和智能管理软件的研究
13.
Design and Development of Daemon System for Intelligent Community
智能小区后台软件系统的设计与开发
14.
Design and Implementation of Software of an Intelligent Graphic Display Terminal
智能图形显示终端的软件设计与实现
15.
Research on the Software Design Automation Technology of the Intelligent Instrumentation;
智能仪表软件开发的自动化技术研究
16.
Intelligentized Semiautomatic Grinding Wheel Balancer Hardware and Software Development;
智能砂轮半自动平衡装置软硬件开发
17.
The Telecom Design and Software Development of the Residential Area Intelligentized System.;
智能住宅小区的通信设计和软件开发
18.
Software Design and Implementation of Intelligent Monitoring and Controlling Unit of WMS2004;
WMS2004智能监控单元软件设计与开发