1 citations · 2 across the 8 of their papers we have counts for
8 papers
Detecting Simultaneous Integer Relations for Several Real Vectors
Jingwei Chen, Yong Feng, Xiaolin Qin +1
An algorithm which either finds an nonzero integer vector for given real -dimensional vectors such that ${\mathbf x}_i^T{\mat…
Exact Bivariate Polynomial Factorization in Q by Approximation of Roots
Yong Feng, Wenyuan Wu, Jingzhong Zhang
Factorization of polynomials is one of the foundations of symbolic computation. Its applications arise in numerous branches of mathematics and other sciences. However, the present…
Parallel computation of real solving bivariate polynomial systems by zero-matching method
Xiaolin Qin, Yong Feng, Jingwei Chen +1
We present a new algorithm for solving the real roots of a bivariate polynomial system with a finite number of solutions by using a zero-matching method. The…
A complete algorithm to find exact minimal polynomial by approximations
Xiaolin Qin, Yong Feng, Jingwei Chen +1
We present a complete algorithm for finding an exact minimal polynomial from its approximate value by using an improved parameterized integer relation construction method. Our resu…
Finding Exact Minimal Polynomial by Approximations
Xiaolin Qin, Yong Feng, Jingwei Chen +1
We present a new algorithm for reconstructing an exact algebraic number from its approximate value using an improved parameterized integer relation construction method. Our result…
Obtaining Exact Interpolation Multivariate Polynomial by Approximation
Yong Feng, Jingzhong Zhang, Xiaolin Qin +1
In some fields such as Mathematics Mechanization, automated reasoning and Trustworthy Computing etc., exact results are needed. Symbolic computations are used to obtain the exact r…