A Constructive Proof of Brouwer's Fixed Point Theorem Based on Integer Labelling
整数标号的Brouwer不动点的构造性算法
互联网摘选
Filter the lemon balm infusion into a heat-proof beaker, then discard the herbs.
将蜜蜂花浸泡液过滤到隔热烧杯中,然后丢弃香草。
互联网摘选
该漆具有高装饰性、高防护性、耐候性等优点。
互联网摘选
没有持身分证明文件而拟出/入境,或在出入境管制站被发现或被遣返香港的人出入境的管制程序;
互联网摘选
通过多项研究,蔡尔德证明,Gaga和麦当娜两人同为17世纪从法国移民至加拿大魁北克的一户农家的后代。
互联网摘选
压力容器耐压试验中几个有争议的问题述评耐压及气密性试验系统的研制
互联网摘选
A Developing Method of Programs Based on the Proof Theory of Program Correctness
一种基于程序正确性证明理论的程序开发方法
互联网摘选
本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程(CSP),提出了一组证明规则,以验证CSP程序的部分正确性。
互联网摘选
形式化证明把程序完全正确性问题归结为部分正确性和终止性的证明。
互联网摘选
Constructive proof about quadratic integrable function decomposition into analytic function
平方可积函数解析分解的构造性证明
互联网摘选
