A Novel MPPT Method Based on Large Variance GA-RBFZHANG Jing XU Jiabin LIU Ning ZHAO Shengfang XU Yan
Adaptive Sliding Mode Control for a Class of Polynomial Fuzzy Systems Based on SOS MethodWang Yingying Zhang Huaguang Zhang Jianyu Wang Yingchun
Mathematical Theorem Machine Proving System Based on Coq -Machine Proving of the Factorization Theorem of Principal Ideal DomainSHU Rundong YU Wensheng