1.
Irredundant Minimal Join-Decompositions in Complete Distributive Lattices Which Are Strongly Coatomic and Their Applications
完备强对偶原子分配格上的不可约极小并分解及其应用
2.
Applications of Minimal Unsatisfiable Formulas to Polynomially Reduction for Formulas
极小不可满足公式在多项式归约中的应用
3.
His success is not impossible but hardly probable.
他的成功并非是不可能的，但是希望极小。
4.
A Breadth-first-search Algorithm for Deriving Minimal Unsatisfiable Subformulae in Satisfiability Modulo Theories
求解极小SMT不可满足子式的宽度优先搜索算法
5.
Small as atoms are, they are not indivisible.
原子虽小，但并不是不可分隔的。
6.
Characterizations and Weak Sharp Minima for a System of Solutions for Vector Variational Inequality;
一类向量变分不等式组解的刻画及弱尖极小
7.
Sufficient global optimality condition for minimization problems with inequality constraints;
带有不等式约束极小问题的全局最优充分性条件
8.
The Constrained Minimun-norm Least Squares Solutions of a Class of Matrix Equation;
一类矩阵方程的约束极小范数最小二乘解
9.
No one has figured out the number of possible minimal grids, which would amount to the ultimate count of distinct Sudoku puzzles.
意思是说，如果从极小初盘再移走一个数字，就不可能有唯一解。
10.
It's impossible for her to get off the contract
解除契约对她的约束是不可能的。
11.
An Algebraic Multigrid Algorithm for Elliptic Variational Inequality with Obstacle and It s Parallel Processing;
椭圆型带约束变分不等式的一种代数多重网格解法及其并行处理
12.
This paper introduces the concept of minimal perturbation efficient solution in minimal perturbation constraints programming.
文中引进了极小扰动约束规划的极小扰动有效解概念.
13.
The surgical mask is not as effective at trapping tiny particles and the paper mask is not effective at all.
外科口罩对于阻隔极小微粒并不十分有效，而纸制口罩根本无效。
14.
Homotopy method for getting a local minimum of unconstrained non-convex programming
同伦方法求解无约束非凸优化问题的局部极小
15.
Approximation and Similarity Classification of Stably Finitely Strongly Irreducible Decomposable Operators;
稳定有限强不可约分解算子的逼近及其相似分类
16.
sufficiently many irreducible unitary representations
充分多的不可约酉表示
17.
These are by no means identical utterance; but there is a marked resemblance.
这些话并不尽同，可是极其相似。
18.
Criteria of Irreducible Polynomials over an Unique Factorization Domain R;
唯一分解整环R上不可约多项式的一些判别准则