theorem造句
211. Firstly, the basic theorem of mean generation function construction is analyzed.
212. PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover.
213. For instance, you're never quite sure why, having just read about the Pythagorean theorem, you're now reading about Johannes Kepler.
214. The asymptotic property of the global solution is based on priori estimates and prolongation theorem.
215. This paper deals with the second order functional differential equations with distributed delay. By using the inequality estimation we obtain the comparison theorem of the boundedness of solutions.
216. The author presents a stopping theorem of two - martingales on stopping point and strong stopping point.
217. Give a set of mean - value theorem in open - interval with non - differentiable points.
218. After giving some properties of such residuated lattices, we obtain a structure theorem for E-unitary inverse residuated chains.
219. The weak duality theorem, the basic duality theorem, the direct duality theorem and the adverse duality theorem under the means of the joint weak efficient solution are derived.
220. Additionally, the well—known four colour problem and elementary geometry theorem—proving problem have been discussed.
221. Some results on continuous selections and semicontinuous selections of Set-valued mappings are given in this paper, where theorem 1 is an improvement of E.
222. By using Bayes' theorem to modify fuzzy relation formula, the quantitative relation equation was got and the decision-making step was given.
223. A complete analysis must build on the implicit function theorem.
224. It has become more and more important that the application of theorem proving on mathematic theorem proving, protocol verification, hardware verification and software verification.
225. Earth pressure calculation based on upper bound theorem of plasticity can be numerically performed by element integration method.
226. By the corollary to Theorem 4.3, the origin is asymptotically stable.
227. The validity of simulating star map is verified by using the angle-distance of stars and projection theorem.
228. Assuming the Sampling Theorem is obeyed, what is the minimum rate of transmission of binary pulses , (which is) expressed in bits per second ?
229. A structure theorem between strong P - congruence pair and strong P - congruence is given.
230. In this paper, we investigate the fluctuation limit of a series of fractional Brownian motions, and prove the large number law and the central limit theorem in generalized convergence.
231. In this paper the theorem in which a curve integral is independent of the integral path on a single connected region is generalized.
232. Level diagram example shows the practicality and effectiveness of the construction theorem and counting theorem, which is a simple and easy method to construct a complete graph of the spanning tree.
233. The substitution theorem is proved by a new method different from teaching reference books. In the meantime a practical method of substitution is presented.
234. In this paper, the definition of fuzzy-valued Dirichlet series is given. The theorem of convergence in the interval-valued Dirichlet series are further discussed.
235. A novel algorithm of item-all-weighted association rule mining between terms from the text database is proposed. A related theorem and its proof are given.
236. It is pointed out that in many textbooks, the derivation of the theorem that the ratio of heat to temperature amounts to zero in any reversible cycle is insufficiently exact and too excessively brief.
237. The Bondareva-Shapley theorem:The core of the game is non-empty if and only if the game is balanced (Bondareva 1963, Shapley 1967).
238. Cohen wrote a computer program to find near-misses for Fermat's Last Theorem, equations that were close enough to being true that a person who tapped it into a calculator would be fooled.
239. Pythagoras, who is remembered for his theorem about the sides of a right-angled triangle, lived around 540 BC, while Euclid, the best known geometer of the ancient world, lived around 300 BC.
240. In this paper, we mainly extend the lattice isomorphism theorem in module theory to the sets.
12345678910