1、
2、
3、
A Constructive Proof of the Competitive Equilibrium Existence in a Pure Exchange Economy
纯交换经济竞争均衡存在的一种构造证明
互联网摘选
4、
5、
A Constructive Proof of Brouwer's Fixed Point Theorem Based on Integer Labelling
整数标号的Brouwer不动点的构造性算法
互联网摘选
6、
给出了图象分形压缩映射存在性的一个构造性证明，并应用在图象编码中。
互联网摘选
7、
第四章用同样的方法讨论了一类特殊半周期解的构造性证明。
互联网摘选
8、
本文用ψ极小集和范畴论的方法讨论了完备格中ψ连续元的性质，给出了完备格范畴中自由ψ连续格存在性的构造性证明。
互联网摘选
9、
本文提出计算标准单纯形上连续自映射不动点的一种整数标号的变维数单纯重复开始算法，该算法给出了Brouwer不动点定理一个新的构造性证明。
互联网摘选
10、
The proof of the result is constructive and is based upon continuation methods.
结论的证明基于解析开拓法,并具有可构造性.
网络文摘精选
