查询词典 constructive existence proof

This paper uses the most basic physical phenomenon to proof the existence of four dimension times .The paper introduce some way of mathematics, I think this is all simple and easy problem.

本文用最基本的物理现象证明四维时间的存在，并介绍一些本文的数学方法，我想都是些简单易懂的问题。

All of these civilizations disappeared without leaving proof of their existence, and no scholar or sage can name the cause of their decline.

所有的文明消失了，没有留下他们存在过的证明，没有学者或圣贤能确定他们衰落的起因。

Woman: So what's more likely? An all-powerful God created the universe then decided not to give any proof of His existence?

我们在可以接触到的异性中，选出一个基本相当的，然后让自己爱对方，也让自己相信对方的爱。

His representation is not imitation but a proof of the existence of Chinese artists.

自由领导人民来自于德拉克瓦的同名作品，在不可能再度发生革命的中国被再现，极端讽刺。

Already she thought of it as a living, breathing little human being, even though she had no proof of its existence except suspicions.

她已经想到了活着的有呼吸的小孩了，虽然，除了猜疑之外，她没有任何证据证明已经怀孕了。

In this paper, a decision method as well as the proof for existence of vector-valued rational interpolants are given, and the expression of the rational interpolants' numerator and denominator are given.

这里利用标量有理插值函数插值存在性的思想，引入Newton基函数，给出并证明了向量值有理插值存在性的一种判别方法。

It gives the definition of resolvent operator, theorems of existence of mild and strong solutions and the proof.

这些结论为进一步研究此类方程的可控性提供了理论指导。

In the first part, we will first deal with the strong Bonnesen-style inequality (2.1.3) for closed convex curves in the plane (the numbers of formulae and references are those of them in the context below). Bonnesen had first proved the weaker inequality (2.1.2) in [12] and several years later, he outlined in his monograph [13] various Bonnesen-style inequalities including (2.1.3), he considered, however,(2.1.3) as a direct consequence of Kritikos theorem for convex bodies in higher dimensional Euclidean spaces,. Here, we will give an independent proof of the existence for inequality (2.1.3), and by the way, give an estimate on the width of the bi-enclosing annulus of closed convex curves in the plane.

具体地讲，在第一部分中，首先讨论平面上闭凸曲线的强Bonnesen型不等式(2.1.3)(公式的编号和参考文献的编号引自后面的正文)，Bonnesen在文[12]中先证明了较弱的不等式(2.1.2)，几年以后，在他的著作[13]中，讨论了多种Bonnesen型不等式，其中包括不等式(2.1.3)，不过，他把(2.1.3)作为高维欧氏空间中凸体的Kritikos定理的直接推论，我们这里对不等式(2.1.3)给出独立的存在性证明，并且还对平面闭凸曲线的bi-enclosing环的宽度给出了一个估计。

Kant's proof of the moral faith is itself not a rigorous testification of God's existence, but a plead for the necessity and rationality of believing in God.

康德对道德信仰的论证本身并不是对于上帝存在的严格的证明，而是对于信仰上帝必要性与合理性的辩护。

So when an early writer shows his familiarity with them, quotes them as authoritative and as evidently well known to his readers, it may be taken as a proof not only of the existence and widespread knowledge of the Epistles, but that the writer took them for what they claim to be, genuine Epistles of St. Paul; and if the writer lived in the time of Apostles, of Apostolic men, of disciples of Apostles, and of Timothy and Titus (as did Ignatius, Polycarp, and Clement) we may be sure that he was correct in doing so.

因此，当早期的作家表明他熟悉他们，他们是权威的报价和明显众所周知他的读者，可以作为证据，不仅存在和广泛的知识的书信，但作者把他们的他们声称，真正的书信圣保罗；如果作家生活在使徒的时候，男人的使徒，使徒的门徒和蒂莫和提图斯（伊格内修一样，波利卡普，和克莱门特），我们可能可以肯定，他是正确的这样做。

Objective:To explore the feasibility of laparoscopy in diagnosing and treating of abdominal diseases.

目的：探讨腹腔镜用以诊断腹部外科疾病及选择治疗方案的可行性。

The lifetime of nylon 1010 and nylon 1010/POSS composites decreased with increasing temperature.

热重-红外联用分析表明尼龙1010在氮气气氛下的降解产物主要为小分子的低聚物，POSS并不改变尼龙1010降解产物的组成。