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

https://hal.inria.fr/inria-00100619
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 2:48:27 PM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

181