2 citations · 5 across the 8 of their papers we have counts for
Showing cs.SCShow all
2 papers · 1 filter
cs.SC2022★ 2 cited
Maximizing the Sum of the Distances between Four Points on the Unit Hemisphere
Zhenbing Zeng, Jian Lu, Yaochen Xu +1
In this paper, we prove a geometrical inequality which states that for any four points on a hemisphere with the unit radius, the largest sum of distances between the points is 4+4*…
cs.SC2011
Generating Loop Invariants by Computing Vanishing Ideals of Sample Points
Bin Wu, Liyong Shen, Min Wu +2
Loop invariants play a very important role in proving correctness of programs. In this paper, we address the problem of generating invariants of polynomial loop programs. We presen…