Epsilon: A Library of Software Tools for Polynomial Elimination

Dongming Wang 1
1 SPACES - Solving problems through algebraic computation and efficient software
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This article presents a Maple library of functions for decomposing systems of multivariate polynomials into triangular systems of various kinds (regular, simple, or irreducible), with an application package for manipulating and proving geometric theorems.
Type de document :
Communication dans un congrès
A. M. Cohen, X.-S. Gao, N. Takayama. Proceedings of the First International Congress of Mathematical Software - ICMS 2002, Aug 2002, Pékin, Chine, World Scientific, pp.379-389, 2002
Liste complète des métadonnées

https://hal.inria.fr/inria-00107607
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:02:54
Dernière modification le : jeudi 11 janvier 2018 - 06:20:00
Document(s) archivé(s) le : mercredi 29 mars 2017 - 13:08:39

Identifiants

  • HAL Id : inria-00107607, version 1

Collections

Citation

Dongming Wang. Epsilon: A Library of Software Tools for Polynomial Elimination. A. M. Cohen, X.-S. Gao, N. Takayama. Proceedings of the First International Congress of Mathematical Software - ICMS 2002, Aug 2002, Pékin, Chine, World Scientific, pp.379-389, 2002. 〈inria-00107607〉

Partager

Métriques

Consultations de la notice

122

Téléchargements de fichiers

94