论文部分内容阅读
定理机器证明用于程序验证
【机 构】
：
清华大学
【出 处】
：
清华大学
【发表日期】
：
1997年期
其他文献
著名教育家叶圣陶先生说:“尽量运用语言文字并不是生活上一种奢侈的要求,实在是现代公民所必须具有的一种生活的能力.”浙江师范大学王尚文教授认为:"与音声相比,书写无疑是
期刊
该文主要讨论一个比较特殊的无磨擦的连续交易证券市场的随机模型,利用等价鞅测度的方法,完成了该模型所在概率空间的空间转换,对市场模型的完全性进行了相应的论述,给出了关
该文研究了含有P(P≥3)阶k-有理点的椭园曲线E/k的P-Selmer群S(E/k)与域k、k(E[p])的理想类群之间的关系.为此定义了一个从E(k)/pE(k)到k/k×k(E[p])/k(E[p]的映射λ,通过研
该文分为两部分.在第一部分中,提出并实现了一个新的绘制网络图的算法,解决了原有算法存在的问题.在第二部分中,重新设计了"模型修改"这一程序模块,使界面更加友好,便于该系