Grobner基方法与吴方法在平面几何定理机器证明中的应用与比较

探讨了在初等平面几何范围内定理机器证明切实可行的2种方法:Grobner基方法与吴方法,介绍了它们相应的算法原理和实现方法,并进行了实践与比较.

基于VC的HOOK技术实现

针对HOOK(钩子)技术在VC编程中的应用进行讨论,并着重对应用比较广泛的全局HOOK做了阐述。

基于Web技术的网络多媒体教学平台的构建

文章介绍了利用 Web技术构建校园网环境下多媒体教学平台的资源需求以及技术特点 ,同时对其实现功能进行了讨论 ,并对系统开发的设计思路 。