查询词典 theorems

In chapter 4, we state and prove Campanato type Theorem, Morrey type Theorem and some embedding Theorems for the maps.

在第四章，我们证明Campanato型和Morrey型不等式和一些嵌入定理。

Time series prediction is a very important problem in many applications and the current prediction techniques are nearly all based on the Takens' embedding theorem. Many realistic systems are parameter-varying systems, and the embedding theorems are invalid, predicting the behavior of parameter-varying systems is more difficult.

时间序列预测是一类非常重要的问题，但基本上局限于参数不可变问题的研究，而对实际问题中经常出现的更重要的参数可变系统的预测，由于构成几乎所有已有预测技术基础的Taken嵌入定理不再成立，所以这方面的研究成果极少。

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

Proving theorems in Coq is an interactive process: some decision procedures automate equational reasoning or Presburger arithmetic, for example, but most of the proofs consist in sequences of "tactics" entered by the user to guide Coq in resolving proof obligations.

在Coq中的证明定理是一个交互过程：比如部分判定过程可以自动完成等式推论或者Presburger算法，不过，更多的证明则是由用户输入用以指导Coq完成证明任务的tactics序列。

In this paper, we give a section theorem of Ky Fan type and its equivalent theorem in hyperconvex metric spaces, and as their applications we obtain some minimax theorems and a coincidence theorem.

赵云河 ，张惠丽文章给出了超凸度量空间中的一个Ky Fan型截口定理及其等价定理，作为它们的应用，得到了一些极大极小定理和一个重合定理。

In the third chapter,we will discuss the properties of Haar measure,and then wewill prove the Ergodic theorem;at last,we follow Dale,Baaj and Skandalis to give twoexistence theorems of Haar measure,which we proved in different language.

在第三章我们讨论了Haar测度的性质，证明了〓双代数中的平均遍历定理，并且用算子的观点叙述证明了Dale和Baaj、Skandalis分别给出的两个Haar测度存在定理。

Chapter 7 gives the H-stability of the eqilibrium point set first (theorem7.1), and the other two theorems (theorem7.2-7.3) provide an estimation result for the attractive region of different eqilibrium points.

首先给出了非凸梯度神经网络平衡点集合的H—稳(来源：AB29e6C论文网www.abclunwen.com)定性结果(定理7.1)，另外的两个定理(定理7.2—7.3)给出了不同平稳点的吸引域估计。

If you were to draw a triangle using such arcs, you would find the simple theorems of Euclidean geometry would no longer hold.

如果你用这样的弧线画一个三角形，你将会发现简单的欧几里德几何理论将不再适用。

Real Number System, Euclidean Space and Metric Spaces, Sequences in R and R^n, Differentiability on R and Rn, Integration on R and Rn, Infinite Series of Functions, Fourier Series, Fundamental Theorems of Vector Calculus, Inverse Function Theorem, Implicit Function Theorem and its Applications.

课程内容：实数系，Euclidean空间与距离空间，函数数列，函数级数，连续函数，可微分函数，可积分函数，反函数，隐函数定理及其应用，向量微积分基本定理，富氏级数。

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研究部打的算盘。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了