非构造性证明 non-constructive proof ; constructive proof
·2,447,543篇论文数据，部分数据来源于NoteExpress
本文给出了一类大龙虾树为幸福树的构造性证明。
It is constructively proved that the two classes of felicitous big lobster trees are felicitous tree.
证明是检验方案的一种类型，证明有构造性证明与非构造性证明之分。
We noted that only one type of verification scheme that was usually called "proof" was in the current curriculum for secondary school mathematics.
给出了图象分形压缩映射存在性的一个构造性证明，并应用在图象编码中。
This paper presents an existent and constructive proof of image fractal compression mappings and application in fractal image coding.
应用推荐