Symbolic Recipes for Real Solutions - Inria - Institut national de recherche en sciences et technologies du numérique
Chapitre D'ouvrage Année : 1998

Symbolic Recipes for Real Solutions

Laureano Gonzalez-Vega
  • Fonction : Auteur
Polynomials, Combinatorics, Arithmetic
Fabrice Rouillier
Calcul formel
CV
Marie-Françoise Roy
  • Fonction : Auteur
Guadaluppe Trujillo
  • Fonction : Auteur

Résumé

The main purpose of this chapter is to show how to use algorithms and methodology provided by computer algebra to manipulate in a symbolic way the real solutions of an algebraic system of equations.

Domaines

Autre [cs.OH]

Publications Loria  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00098571

Soumis le : lundi 25 septembre 2006-17:03:37

Dernière modification le : mardi 11 avril 2023-15:16:28

Consulter sur la plateforme ISTEX

Dates et versions

inria-00098571 , version 1 (25-09-2006)

Identifiants

Citer

Laureano Gonzalez-Vega, Fabrice Rouillier, Marie-Françoise Roy, Guadaluppe Trujillo. Symbolic Recipes for Real Solutions. Cohen, A.M.; Cuypers, H.; Sterk, H. Some Tapas of Computer Algebra, 4, Springer, pp.121-167, 1998, Algorithms and Computation in Mathematics, 3-540-63480-0. ⟨10.1007/978-3-662-03891-8_6⟩. ⟨inria-00098571⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS INRIA LIP6 UNIV-LORRAINE INRIA2 LORIA SORBONNE-UNIVERSITE SU-SCIENCES
193 Consultations
0 Téléchargements

Altmetric

Partager

More