交互式定理证明与程序开发

定理证明是数学领域一个古老的分支，它从公理出发，利用推理规则为定力寻找证明过程。

交互式设计，启发式评估，使得程序员设计出来的界面更加和现实世界结合。

深入采用3DS Max、AutoCAD、EON软件、VRML语言编辑器等三维虚拟建模工具，制作出具有交互式功能的动态场景。设计过程中应独立完成各项任务。 1、至少具有3栋以上校园建筑的三维几何模型、以

AutoCAD ActiveX 入门级书籍

用户接口是人与计算机交互的界面，人-机交互方式从问答方式、菜单交互方式发展到现在的图形交互方式、窗口管理系统、图标以及其它丰富多彩的图形界面，已成为流行的人-机交互环境。本章主要内容包括： 用户接口的

交互式编程Programming.Interactivity).文字版.pdf

用VB做的交互式绘图，可以实现坐标的动态显示，直线、椭圆、圆、矩形、GPS点、数据的转换，还有线型、线宽，是不错的课程设计

交互性的demo制作指南，在售前需求分析方面绝对不让您失望，经过多方使用认证，该制作工具较好地满足演示，赢得客户赞赏。

实现了简单的画图，并且可以对图形进行操作，比如移动，改变图形的形状，大小，选择画笔的颜色，大小。

本系统是本人本科时期的毕业设计，实现了一个虚拟教室，里面有桌椅学生等，可以通过鼠标，在教室内可以到处浏览