| 1. | It is usually nonconstructive, inelegant, hard to generalize .
它通常是非构造性的，不优美的，难于一般化的。 |
| 2. | Does the constructive logic negate the law of cxcluded middle
构造性逻辑否定排中律吗 |
| 3. | Another proof of the converse lyapunov stability theorem
有理标准形存在性定理的构造性证明 |
| 4. | A constructive proof of existence theorem for rational form
利用罗尔定理进行构造性证明的尝试 |
| 5. | The equivalent theorem of contraction operator and its constructing proof
压缩映射原理的等价命题及其构造性证明 |
| 6. | How to find out the constructivity methed for proving a competition problem
一个构造性证明的解法是这样想出来的 |
| 7. | Volcano - tectonic depression
火山构造性陷落地 |
| 8. | 1823 , cauchy defined integral the " limit of sum " , he then gave the structural definition of definite integral for continuous functions
把定积分定义为“和的极限’始于cauchy1823年的工作，他对连续函数给出了定积分的构造性定义。 |
| 9. | And a dynamic searching system of geometric theorem has been implemented , which can solve elementary geometric problems efficiently , including some non - constructive problems
该系统不但可以证明构造性的初等平面几何命题，而且也实现了对非构造性几何命题的定理搜索。 |
| 10. | For the exact feedback linearization of general nonlinear singular systems , by taking the algebraic variables as virtual inputs , a recursion inverse algorithm is introduced in this paper
摘要对一般广义非线性系统的反馈线性化问题，通过将代数变量视为虚拟输入，给出了构造性递归求逆算法，实现了系统的精确反馈线性化。 |
