A Short Contribution to the Theory of Regular Chains

Boulier, François; Lemaire, Francois; Moreno Maza, Marc; Poteaux, Adrien

Type de document :

Compte-rendu et recension critique d'ouvrage

DOI :

10.1007/s11786-020-00477-x

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]

Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Moreno Maza, Marc [Auteur]
University of Western Ontario [UWO]
Poteaux, Adrien [Auteur]

Inria Lille - Nord Europe

Titre de la revue :

Mathematics in Computer Science

Pagination :

177-188

Éditeur :

Springer

Date de publication :

2021

ISSN :

1661-8270

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 >

Langue :

Anglais

Vulgarisation :

Non

Projet ANR :

Méthodes symboliques pour les réseaux biologiques

Collections :