HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

A Generalized Algorithm for Computing Characteristic Sets

Dongming Wang 1, 2
1 CALFOR - Calcul formel
LIP6 - Laboratoire d'Informatique de Paris 6
2 SPACES - Solving problems through algebraic computation and efficient software
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We generalize Wu-Ritt's algorithm for the computation of characteristic sets by means of one-step pseudo-reduction instead of pseudo-division. This generalization results in a new algorithm which, with optimal selection of reductors and heuristic generation of S-polynomials, may speed up the computation considerably and produce simpler output for large problems. Examples and experiments are provided to show the performance of our new algorithm.
Document type :
Conference papers
Complete list of metadata

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 2:48:27 PM
Last modification on : Friday, February 4, 2022 - 4:17:48 AM



Dongming Wang. A Generalized Algorithm for Computing Characteristic Sets. The Fifth Asian Symposium on Computer Mathematics - ASCM'2001, Sep 2001, Matsuyama, Japan. pp.165-174, ⟨10.1142/9789812799661_0018⟩. ⟨inria-00100619⟩



Record views