Portal de Periódicos da CAPES

Le projet BASTA

1986; Springer Science+Business Media; Linguagem: Francês

10.1007/bfb0007593

1610-7411

Marc Oeetano,

Le projet BASTA ( BAses STAndards ) consiste, d'une part, la définition, l'étude et aux applications de l'algorithme de calcul d'une base standard d'un idéal de polynômes, et, d'autre part, l'élaboration et au développement d'un système de calcul algébrique formel expérimental, baptisé Baste , spécialisé dans la manipulation formelle de polynômes en plusieurs indéterminées, et intégrant initialement plusieurs versions de l'algorithme précité. Dans cette présentation, nous décrivons de façon informelle l'algorithme, ainsi que les principales caractéristiques du système Basta Le projet BASTA est développé par l'équipe numéro 9 du GRECO de Calcul Formel (ORECO 60) en collaboration avec INRIA et le CMA de l'ENSMP, Sophia Antipolis.