查询词典 polynomial expression

The appliance of polynomial symbolic algebraic in formal verification ,people have given two polynamial denotative module WGLs and TEDs,and gives the corresponding equivalence checking algorithms .

关于多项式符号代数理论在形式化验证方面的研究，人们给出了WGLs和TEDs两个多项式表示模型，并给出了相应的等价性验证算法。

Formal Verification; Polynomial Symbolic Algebraic; WGLs; TEDs

形式化验证；多项式符号代数； WGLs； TEDs

We researched the problem of Lagrange interpolation of polynomial space on the algebraic manifold.

研究高维空间中代数流形上多项式空间的Lagrange插值问题。

G^k continuous piecewise algebraic blending surface patches are obtained by solving the system via the generator basis algorithm of module over polynomial ring.

借助围绕一个顶点处的代数曲面光滑拼接条件，利用多项式环上的素模中的生成基方法，给出了凸组合和非凸组合情形下三个坐标平面间的的任意阶几何连续的光滑拼接方法。

In this paper, we present a method to solve system of algebraic equations or system of parametric algebraic equations by computing the normal zero decomposition of polynomial systems.

本文提出一种利用多项式系统的正规零点分解的算法来求解代数方程组以及带有参数的代数方程组的方法。

Then, to decide whether a propositional formula can be deduced from a finite set of such formulas,we only need to decide whether the polynomial vanishes on an algebraic variety which is related to this formula set.

从而判定一个命题公式能否以一组命题公式推出，我们只需判定某一多项式是否在一代数簇上消失。

A polynomial system PS over the rational number field is constructed from the formula...,in a given many-valued logic system such that follows from ...,iff the algebraic variety defined by PS is empty, iff the idealenerated by PS is trivial.

由给定的多值逻辑系统中的一组公式，。。。，，出发，构造出了一组有理数域上的多项式PS，使得是，。。。，的逻辑结论，当且仅当PS定义的代数簇为空集，当且仅当PS生成的理想是平凡理想。

Applying the techniques of real radical ideal, P-radical ideal , decomposition of semi-algebraic set in ( [72] ), affine Hilbert polynomial and B-net form of polynomials on simplex, this paper obtains two theorems of real C〓 piecewise algebraic variety dimensions and the real Nullstellensatz in C〓 spline ring.

4：应用多项式在单纯形上的B-网形式以及文献（[72]）中的实根理想，锥根理想，半代数簇分解定理，本文得出了实C〓分片代数簇的二个维数定理和C〓样条空间的实零点定理。

A polynomial is a sum of two or more algebraic terms.

多项式是两个或者更多代数项的和。

What s more, we wonder whether there are some qualities about algebroid function corresponding to meromorphic func-tion,specially, concerning deficiency, characteristic function,differential polynomial and so on.

而且一些亚纯函数中存在的性质在代数体函数中是否相应存在仍有待研究，特别是涉及亏量、特征函数及微分多项式等方面。

There are different types of personal loans available.

有许多不同类型的个人贷款优惠。

The above mentioned teaching model of spiral rising can be used to avoid rigidness in teaching.

上述螺旋式上升的教学模式，可以避免教学形成模式後的僵化现象。