On the shape forms of zero-dimensinal ideals of parametric polynomial rings (Computer Algebra --Foundations and Applications)
Rattachement africain : jp. Niveau de preuve : code pays fourni par la source.
Le résumé fourni par la source
A quantifier elimination algorithm based on the computation of comprehensive Gröbner systems (CGS-QE algorithm) proposed in our paper of ISSAC2015 is based on the real root counting theorem. Though the algorithm works uniformly no matter whether the addressed parametric ideals are radical or not, it has a serious disadvantage that the output quantifier free formula often contains may unnecessary equations and inequalities. In this paper, we study an alternative naive quantifier elimination algorithm based on the computation of the shape forms of zero-dimensional parametric ideals.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Le contrôle bibliographique ouvert
DOI retrouvé dans Crossref DOI retrouvé ; titre concordant.
- Titre Crossref
- On the shape forms of zero-dimensinal ideals of parametric polynomial rings (Computer Algebra --Foundations and Applications) パラメトリックな零次元イデアルのシェイプフォームについて (Computer Algebra --Foundations and Applications)
- Date Crossref
- 01/05/2025
- Éditeur
- Kyoto University
- Type
- journal-article
Ce recoupement confirme des métadonnées liées au DOI. Il ne confirme ni la méthode ni les conclusions de l’étude, et il ne compte pas comme une seconde source scientifique indépendante.
Les institutions déclarées
Une affiliation ne permet pas de déduire la nationalité d’un auteur.