以下为句子列表：
英文: A formal definition of proposition formulae was provided by context-free grammar, and the conversion from proposition formulae to polynomials was solved automatically.
中文: 摘要该文将命题逻辑的定理证明转换为多项式方程的求解问题，从而提出了一种基于非子句的代数化方法。
更详细...
英文: Polynomials over the finite field include cyclotomic polynomials and irreducible polynomials constructed on different theories. In this paper, their properties and ways for their construction are explored and discussed.
中文: 摘要有限域上的多项式有分圆多项式和不可约多项式，其中各由数条原理构成。文中对其性质和构造方法进行了具体研究与论述。
更详细...
英文: The present paper deals with the relations of resultant matrices and resultant polynomials with solving the greatest common factor of two-variable polynomials, respectively, on the basis of the concepts of resultant minimum polynomials and standard result
中文: 摘要应用结矩阵和结多项式的性质，通过引入结最小多项式和标准结基解矩阵等概念，探讨结矩阵、结多项式与求解二元多项式最大公因式的关系。
更详细...
英文: The results indicates that the cubic logarithm polynomials can accurately reconstruct the raw thermal images in the experiment, and can effectively suppress the interference to defect recognition caused by random noise and uneven heating in the PT testing
中文: 结果表明利用三次对数多项式回归即可精确地重建本次实验的原始热像，同时能有效地克服复合材料层压板脉冲热像检测中随机噪声和加热不均效应对缺陷识别的干扰；经过数据重建后所作的数字图像比原始热像有更高的缺陷显示度或分辨力，其中以三次对数多项式回归公式中的二次项系数所作的数字图像的信噪比最大。
更详细...
英文: Unconditionally secure asymmetric encryption schemes based on polynomials and cover free family（CFF）.
中文: 我的翻译是：基于多项式和“CFF”的绝对安全的非对称性加密方案。
更详细...
|
