资源共享，提高水平，好好看看

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

一个交互式绘图程序 可以选择图形的种类（直线、折线、矩形、[椭]圆、多边形及对应的填充图形）、绘图颜色（使用颜色公用对话框）、笔的粗细和风格、填充模式（包括填充颜色[与图案]）、背景模式与颜色； 可以根据用户的选择，用鼠标和方向键来绘制各种图形； 可以动态拖动绘图，并显示鼠标当前位置坐标以及拖动矩形的大小； [可以用选择的字体、大小和颜色（使用字体公用对话框）在指定的位置按指定的对齐方式来输出文字串；] 可以设置不同的坐标系（映射模式）[，并支持基本的打印输出；] 可以清屏（调用CWnd类的函数Invalidate()或用背景色画填充客户区矩形）、可以按Esc键取消正在进行的绘图操作； 各种操作和选择必须有对应的菜单项，最好有对应的工具条按钮和加速键。

交互式计算机图形学——基于WEBGL的自顶向下方法 第7版,Interactive Computer Graphics：A Top-Down Approach with WebGL (7th Edition)中文版

交互式原理与应用的实际操作。本文件采用Matlab的代码进行操作。实现了DCT变换。 中间的Huffman编码略有精简

交互式计算机：图形学基于OpenGL着色器的自顶向下方法(第六版) 英文版

四边形网格交互式编辑：实现四边形扫描转化算法，以此为基础，实现四边形网格中所有四边形的扫描转化、颜色添充；并可通过交互改变四边形顶点位置。

基于图切算法的交互式图像分割技术，讲述了如何grabcut与graphcuts的算法原理

校园订餐系统，技术采用servlet+jdbc+mysql，简单的论文可以下载参考。包括项目代码和 毕业论文哈。

该资源是在MFC学习过程中会写到的一类基本的画图程序，运用橡皮条技术来进行可视化交互式的画图。