15 citations · 52 across the 35 of their papers we have counts for
Showing 2018 · cs.SCShow all
2 papers · 2 filters
cs.SC2018★ 6 cited
An Effective Framework for Constructing Exponent Lattice Basis of Nonzero Algebraic Numbers
Tao Zheng
Computing a basis for the exponent lattice of algebraic numbers is a basic problem in the field of computational number theory with applications to many other areas. The main cost…
cs.SC2018
Block SOS Decomposition
Haokun Li, Bican Xia
A widely used method for solving SOS (Sum Of Squares) decomposition problem is to reduce it to the problem of semi-definite programs (SDPs) which can be efficiently solved in theor…