the Sichuan Science and Technology Program of China under Grant Nos.2018GZDZX0041 and 2020YFG0011;the National Natural Science Foundation of China under Grant No.11701118,the Guangzhou Academician and Expert Workstation under Grant No.20200115-9;Key Disciplines of Guizhou Province of China-Computer Science and Technology under Grant No.ZDXK[2018]007.
A dynamic geometry system,as an important application in the field of geometric constraint solving,is widely used in elementary mathematics education;moreover,the dynamic geometry system is also a fundamental environm...
Supported by the National Natural Science Foundation of China under Grant Nos.60835003 and 60773039.
Fundamental matrix,drawing geometric relationship between two images,plays an important role in 3- dimensional computer vision.Degenerate configurations of the space points and the two camera optical centers affect st...
In this paper, the possibility of fast algorithm is discussed for me-chanical theorem proving, where the degeneracy condition are considered in designingof these algorithms. It is found that all of the methods depend ...