CASIA OpenIR

Browse/Search Results:  1-1 of 1 Help

Filters    
Selected(0)Clear Items/Page:    Sort:
线性系统同时镇定若干问题的研究与基于BOTTEMA的一类全局优化问题的解 学位论文
, 中国科学院自动化研究所: 中国科学院研究生院, 2008
Authors:  何冠男
Adobe PDF(2929Kb)  |  Favorite  |  View/Download:169/0  |  Submit date:2015/09/02
线性系统  同时镇定  不等式型定理机器证明  比利时巧克力问题  法国香槟问题  复分析  全局优化  Bottema程序包  Linear Systems  Simultaneous Stabilization  Automated Inequality-type Theorem Proving  Belgian Chocolate Problem  French Champagne Problem  Complex Analysis  Global Optimization  Bottema