Basic principles of mechanical theorem proving in elementary geometrics
Journal of Automated Reasoning
A new method for solving algebraic systems of positive dimension
Discrete Applied Mathematics - Special volume on applied algebra, algebraic algorithms, and error-correcting codes
A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
Journal of Symbolic Computation
An elimination method for polynomial systems
Journal of Symbolic Computation
Searching dependency between algebraic equations: an algorithm applied to automated reasoning
Artificial intelligence in mathematics
Decomposing polynomial systems into simple systems
Journal of Symbolic Computation
Algorithmic properties of polynomial rings
Journal of Symbolic Computation
On the theories of triangular sets
Journal of Symbolic Computation - Special issue on polynomial elimination—algorithms and applications
Computing triangular systems and regular systems
Journal of Symbolic Computation
Polynomial Gcd Computations over Towers of Algebraic Extensions
AAECC-11 Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Algebraic Statistics for Computational Biology
Algebraic Statistics for Computational Biology
Notes on triangular sets and triangulation-decomposition algorithms I: polynomial systems
SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case
Theoretical Computer Science
Hi-index | 0.09 |
This paper presents algorithms for decomposing any zero-dimensional polynomial set into simple sets over an arbitrary finite field, with an associated ideal or zero decomposition. As a key ingredient of these algorithms, we generalize the squarefree decomposition approach for univariate polynomials over a finite field to that over the field product determined by a simple set. As a subprocedure of the generalized squarefree decomposition approach, a method is proposed to extract the pth root of any element in the field product. Experiments with a preliminary implementation show the effectiveness of our algorithms.