Computing Nearest Gcd with Certification

Guillaume Chèze 1 Jean-Claude Yakoubsohn 1 André Galligo 2 Bernard Mourrain 2
2 GALAAD - Geometry, algebra, algorithms
CRISAM - Inria Sophia Antipolis - Méditerranée , UNS - Université Nice Sophia Antipolis, CNRS - Centre National de la Recherche Scientifique : UMR6621
Abstract : A bisection method, based on exclusion and inclusion tests, is used to address the nearest univariate gcd problem formulated as a bivariate real minimization problem of a rational fraction. The paper presents an algorithm, a first implementation and a complexity analysis relying on Smale's $\alpha$-theory. We report its behavior on an illustrative example.
Type de document :
Communication dans un congrès
Hiroshi Kai, Hiroshi Sekigawa. International Workshop Symbolic-Numeric Computation (SNC), Aug 2009, Kyoto, Japan. ACM New York, NY, USA, pp.29-34, 2009, 〈http://doi.acm.org/10.1145/1577190.1577200〉
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00437559
Contributeur : Bernard Mourrain <>
Soumis le : lundi 30 novembre 2009 - 22:01:22
Dernière modification le : jeudi 18 janvier 2018 - 10:39:11
Document(s) archivé(s) le : jeudi 17 juin 2010 - 22:51:43

Fichiers

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00437559, version 1

Citation

Guillaume Chèze, Jean-Claude Yakoubsohn, André Galligo, Bernard Mourrain. Computing Nearest Gcd with Certification. Hiroshi Kai, Hiroshi Sekigawa. International Workshop Symbolic-Numeric Computation (SNC), Aug 2009, Kyoto, Japan. ACM New York, NY, USA, pp.29-34, 2009, 〈http://doi.acm.org/10.1145/1577190.1577200〉. 〈inria-00437559〉

Partager

Métriques

Consultations de la notice

278

Téléchargements de fichiers

155