Approximate square-free decomposition and root-finding of lll-conditioned algebraic equations
Journal of Information Processing
Approximate GCD and its application to ill-conditioned algebraic equations
ISCM '90 Proceedings of the International Symposium on Computation mathematics
Efficient computation of zero-dimensional Gro¨bner bases by change of ordering
Journal of Symbolic Computation
Polynomial and matrix computations (vol. 1): fundamental algorithms
Polynomial and matrix computations (vol. 1): fundamental algorithms
Implicitization of hypersurfaces and curves by the Primbasissatz and basis conversion
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Hilbert functions and the Buchberger algorithm
Journal of Symbolic Computation
Selected papers presented at the international IMACS symposium on Symbolic computation, new trends and developments
Converting bases with the Gröbner walk
Journal of Symbolic Computation - Special issue on computational algebra and number theory: proceedings of the first MAGMA conference
Remarks on automatic algorithm stabilization
Journal of Symbolic Computation - Special issue on symbolic numeric algebra for polynomials
A modular method to compute the rational univariate representation of zero-dimensional ideals
Journal of Symbolic Computation - Special issue on polynomial elimination—algorithms and applications
Numerical stability and stabilization of Groebner basis computation
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Changing the ordering of Gröbner bases with LLL: case of two variables
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Symbolic-Numeric Computation (Trends in Mathematics)
Symbolic-Numeric Computation (Trends in Mathematics)
Minimum converging precision of the QR-factorization algorithm for real polynomial GCD
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Reducing exact computations to obtain exact results based on stabilization techniques
Proceedings of the 2009 conference on Symbolic numeric computation
Rounding coefficients and artificially underflowing terms in non-numeric expressions
ACM Communications in Computer Algebra
GCD of multivariate approximate polynomials using beautification with the subtractive algorithm
Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation
Hi-index | 5.23 |
We propose a new method for converting a Grobner basis w.r.t. one term order into a Grobner basis w.r.t. another term order by using the algorithm stabilization techniques proposed by Shirayanagi and Sweedler. First, we guess the support of the desired Grobner basis from a floating-point Grobner basis by exploiting the supportwise convergence property of the stabilized Buchberger's algorithm. Next, assuming this support to be correct, we use linear algebra, namely, the method of indeterminate coefficients to determine the exact values for the coefficients. Related work includes the FGLM algorithm and its modular version. Our method is new in the sense that it can be thought of as a floating-point approach to the linear algebra method. The results of Maple computing experiments indicate that our method can be very effective in the case of non-rational coefficients, especially the ones including transcendental constants.