VerifyRealRoots is a Matlab package for computing and verifying real solutions of polynomial systems of equations and inequalities.It calls Bertini or MMCRSolver for finding approximate real solutions and then applies...VerifyRealRoots is a Matlab package for computing and verifying real solutions of polynomial systems of equations and inequalities.It calls Bertini or MMCRSolver for finding approximate real solutions and then applies AINLSS to verify the existence of a regular solution of a polynomial system or applies AINLSS2(AIVISS)to verify the existence of a double solution(a singular solution of an arbitrary multiplicity)of a slightly perturbed polynomial system.展开更多
I. The Current Situation ofOur Real Estate Industry According to the findings of a nationalsurvey in urban housing conducted in 1985,the total urban floor area of the whole coun-try has reached 4.676 billion square me...I. The Current Situation ofOur Real Estate Industry According to the findings of a nationalsurvey in urban housing conducted in 1985,the total urban floor area of the whole coun-try has reached 4.676 billion square meters,among which industrial buildings occupied1.353 billion square meters, commercialbuildings 0.388 billion, cultural and educa-展开更多
A complete solution classification of the perspective-three-point(P3P) problem is given by using the Gr?bner basis method. The structure of the solution space of the polynomial system deduced by the P3P problem can be...A complete solution classification of the perspective-three-point(P3P) problem is given by using the Gr?bner basis method. The structure of the solution space of the polynomial system deduced by the P3P problem can be obtained by computing a comprehensive Gr?bner system. Combining with properties of the generalized discriminant sequences, the authors give the explicit conditions to determine the number of distinct real positive solutions of the P3P problem. Several examples are provided to illustrate the effectiveness of the proposed conditions.展开更多
基金supported by the National Key Research Project of China under Grant No.2018YFA0306702the National Natural Science Foundation of China under Grant Nos.12171159,12071467 and 61772203Shanghai Trusted Industry Internet Software Collaborative Innovation Center。
文摘VerifyRealRoots is a Matlab package for computing and verifying real solutions of polynomial systems of equations and inequalities.It calls Bertini or MMCRSolver for finding approximate real solutions and then applies AINLSS to verify the existence of a regular solution of a polynomial system or applies AINLSS2(AIVISS)to verify the existence of a double solution(a singular solution of an arbitrary multiplicity)of a slightly perturbed polynomial system.
文摘I. The Current Situation ofOur Real Estate Industry According to the findings of a nationalsurvey in urban housing conducted in 1985,the total urban floor area of the whole coun-try has reached 4.676 billion square meters,among which industrial buildings occupied1.353 billion square meters, commercialbuildings 0.388 billion, cultural and educa-
基金supported by the National Nature Science Foundation of China under Grant Nos.11371356 and 61121062
文摘A complete solution classification of the perspective-three-point(P3P) problem is given by using the Gr?bner basis method. The structure of the solution space of the polynomial system deduced by the P3P problem can be obtained by computing a comprehensive Gr?bner system. Combining with properties of the generalized discriminant sequences, the authors give the explicit conditions to determine the number of distinct real positive solutions of the P3P problem. Several examples are provided to illustrate the effectiveness of the proposed conditions.