BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
If n points B_1,---,B_ninthestandardsimplexΔnareaffinelyindependent,thentheycanspanan(n−1)−simplexdenotedbyΛ=Con(B1,−−−,Bn).HereΛcorrespondstoann∗nmatrix[Λ]whosecolumnsareB1,−−−,Bn.Inthispaper,wefirstlyprovedthatifΛofdiametersufficientlysmallcontainsapointP$, and f(P)>0 (<0) for a form f in R[X], then the coefficients of f([Λ] X) are all positive (negative). Next, as an application of this result, a necessary and sufficient condition for determining the real zeros on Δ_n of a system of homogeneous algebraic equations with integral coefficients is established.
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 result is superior to the existence of error controlling on obtaining an exact rational number from its approximation. The algorithm is applicable for finding exact minimal polynomial of an algebraic number by its approximate root. This also enables us to provide an efficient method of converting the rational approximation representation to the minimal polynomial representation, and devise a simple algorithm to factor multivariate polynomials with rational coefficients. Compared with the subsistent methods, our method combines advantage of high efficiency in numerical computation, and exact, stable results in symbolic computation. we also discuss some applications to some transcendental numbers by approximations. Moreover, the Digits of our algorithm is far less than the LLL-lattice basis reduction technique in theory. In this paper, we completely implement how to obtain exact results by numerical approximate computations.
An algorithm which either finds an nonzero integer vector m for given t real n-dimensional vectors x1,...,xt such that xiTm=0 or proves that no such integer vector with norm less than a given bound exists is presented in this paper. The cost of the algorithm is at most O(n4+n3logλ(X)) exact arithmetic operations in dimension n and the least Euclidean norm λ(X) of such integer vectors. It matches the best complexity upper bound known for this problem. Experimental data show that the algorithm is better than an already existing algorithm in the literature. In application, the algorithm is used to get a complete method for finding the minimal polynomial of an unknown complex algebraic number from its approximation, which runs even faster than the corresponding \emph{Maple} built-in function.
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 advanced programming languages such as C++ and J++, do not support symbolic computation directly. Hence, it leads to difficulties in applying factorization in engineering fields. In this paper, we present an algorithm which use numerical method to obtain exact factors of a bivariate polynomial with rational coefficients. Our method can be directly implemented in efficient programming language such C++ together with the GNU Multiple-Precision Library. In addition, the numerical computation part often only requires double precision and is easily parallelizable.
We present a new algorithm for solving the real roots of a bivariate polynomial system Σ={f(x,y),g(x,y)} with a finite number of solutions by using a zero-matching method. The method is based on a lower bound for bivariate polynomial system when the system is non-zero. Moreover, the multiplicities of the roots of Σ=0 can be obtained by a given neighborhood. From this approach, the parallelization of the method arises naturally. By using a multidimensional matching method this principle can be generalized to the multivariate equation systems.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.