A Short Contribution to the Theory of ...
Type de document :
Pré-publication ou Document de travail
Titre :
A Short Contribution to the Theory of Regular Chains
Auteur(s) :
Boulier, François [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Lemaire, Francois [Auteur]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Moreno Maza, Marc [Auteur]
Poteaux, Adrien [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Lemaire, Francois [Auteur]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Moreno Maza, Marc [Auteur]
Poteaux, Adrien [Auteur]
Discipline(s) HAL :
Informatique [cs]/Calcul formel [cs.SC]
Résumé en anglais : [en]
This paper contains short contributions to the theory of regular chains which follow a recent JSC paper by the same authors. These contributions apply to both the nondifferential and the differential context. They deal ...
Lire la suite >This paper contains short contributions to the theory of regular chains which follow a recent JSC paper by the same authors. These contributions apply to both the nondifferential and the differential context. They deal with the computation of normal forms and with the membership problem to ideals defined by regular chains.Lire moins >
Lire la suite >This paper contains short contributions to the theory of regular chains which follow a recent JSC paper by the same authors. These contributions apply to both the nondifferential and the differential context. They deal with the computation of normal forms and with the membership problem to ideals defined by regular chains.Lire moins >
Langue :
Anglais
Collections :
Source :
Fichiers
- https://hal.archives-ouvertes.fr/hal-02189597/document
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-02189597/document
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-02189597/document
- Accès libre
- Accéder au document
- document
- Accès libre
- Accéder au document
- paper.pdf
- Accès libre
- Accéder au document