School of Mathematics and Statistics Hubei University of Science and Technology Xianning 437100 China;
Key Lab of Mathematics Mechanization Institute of Systems Science Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100190 China;
