College of Computer and Information Technology China Three Gorges University Yichang China;
Department of Mathematics Jouybar branch Islamic Azad University Jouybar Iran;
Department for Management of Science and Technology Development Ton Duc Thang University Ho Chi Minh City VietnamFaculty of Information Technology Ton Duc Thang University Ho Chi Minh City Vietnam;
Department Institute of Structural Mechanics Bauhaus University of Weimar GermanyInstitute of Automation Kando Kalman Faculty of Electrical Engineering Obuda University 1431 Budapest Hungary;
Dixon resultant matrix; symbolic polynomial system; elimination theory; optimization algorithm; computational complexity;