查询词典 theorems for limits

The first modestly skillful full-board chess program; the first checkers program, which defeated a regional champion; a program able to prove theorems in Euclidean plane geometry, which could pass the problem-solving section of a New York State high school regents examination; and serious research in both speech and character recognition were all part of the IBM Research playbook.

第一款水平一般的全棋盘象棋程序；第一款跳棋程序，它打败了区跳棋冠军；能证明欧几里德平面几何定理的程序，它能通过纽约高中入学考试；还有对语言和字符识别上的重要研究；这些都是IBM研究部打的算盘。

By using of the decomposition of equation and the Leray-Schauder fixed point theorem, four existence theorems are established.

通过使用方程的分解技巧和Leray-Schauder不动点定理建立了4个存在定理。

Automated geometric theorem proving, as a byproduct of the completion of geometric theorems, is further developed into automated quantitative description of geometric relations. The recovery of the geometric meaning of this quantitative description leads to a natural extension of the geometric theorem.

几何定理的机器证明作为几何定理完全化的副产品，被发展成几何定理的关系定量化，这种量化的几何还原就是几何定理的自然推广。

In the third chapter, first, we introduce the factorization technique in some theorems.

本文研究了一类非线性色散波方程的奇异行波解。

For the computation of the minimal covers of a family of sets, we propose several theorems to describe the principle, and develop corresponding algorithm elaborately.

而对于族集最小覆盖集的计算问题，本文则提出了若干个定理刻画了其计算方法的原理并予以正确性证明，并精心设计了相应的算法。

For the calculus of set valued functions,some convergence theorems about thePettis-Aumann integral,such as Fatou's Lemma,are mainly investigated;theproperties of the parametric Pettis-Aumann integral are gotten.

在集值映射的微积分方面，本文着重讨论了Pettis-Aumann积分的一些收敛定理，如Fatou引理等，并研究了含参变量Pettis-Aumann积分的一些性质。

Fermat s little theorem is one of the important theorems in number theory,but there has been little discussion in geometric field about it.

费马小定理是数论中的一个重要定理，但对其几何意义的论述几乎没有，给出了费马小定理的几何意义。

Advanced course covering topics selected from: semimartingale theory, stochastic integrals, homogeneous chaos expansions, stochastic differential equations, Malliavin calculus, infinite dimensional processes, functional central limit theorems, Feynman-Kac formula, Feynman integral.

随机分析：高级课程，包括：半鞅理论，随机积分，齐次混沌展开，随机差分方程， Malliavin 微积分，，有限维过程，泛函中心极限理论， Feynman-Kac公式， Feynman积分，过滤理论的应用，无限粒子系统，量子力学，神经学中的随机模型。

This paper talks about these two theorems around the finiteness conjecture and mainly gives detailed proofs for them.

本文将围绕有限性猜测仔细来讨论这两个定理，主要是详细补出了这两个定理的证明。

In this paper, by using fixed point theorems of strict set contraction mapping, we study two kinds of boundary value problems for compact type conditions in Banach spaces.

中文摘要：本文利用严格集压缩映象的不动点定理分别讨论了紧型条件下的两类Banach空间边值问题。

Eight cases of simple chordee of penis were adopted urethral extending.9 cases of severe simple chordee of penis were adopted primary urethroplasty.

8例单纯性阴茎下弯患者采取尿道延伸术，9例重度阴茎下弯患者采取切断尿道矫直阴茎一期尿道成形术。

She is a daintily dressed young lady.

她是个装饰娇艳的少女。