PoSSo-RealSolving (Simultaneous Inequalities) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1995

PoSSo-RealSolving (Simultaneous Inequalities)

Fabrice Rouillier
Institut de Recherche Mathématique de Rennes
CV
G. Trujillo
  • Fonction : Auteur

Résumé

no abstract

Domaines

Calcul formel [cs.SC]

Fabrice Rouillier  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01434773

Soumis le : vendredi 13 janvier 2017-13:21:22

Dernière modification le : mercredi 13 décembre 2023-10:14:07

Fichier non déposé

Dates et versions

hal-01434773 , version 1 (13-01-2017)

Identifiants

  • HAL Id : hal-01434773 , version 1

Citer

Fabrice Rouillier, G. Trujillo. PoSSo-RealSolving (Simultaneous Inequalities). Proceedings of the PoSSo-workshop on software, 1995, Unknown, Unknown Region. ⟨hal-01434773⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 IRMAR UR2-HB CNRS INSA-RENNES UNAM UR1-MATH-STIC UNIV-RENNES2 UNIV-RENNES INSA-GROUPE UR1-MATH-NUM
142 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More