A Short Contribution to the Theory of Regular Chains

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

Document type :

Compte-rendu et recension critique d'ouvrage

DOI :

10.1007/s11786-020-00477-x

Title :

A Short Contribution to the Theory of Regular Chains

Author(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

Journal title :

Mathematics in Computer Science

Pages :

177-188

Publisher :

Springer

Publication date :

2021

ISSN :

1661-8270

HAL domain(s) :

Informatique [cs]/Calcul formel [cs.SC]

English abstract : [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 ...
Show more >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.Show less >

Language :

Anglais

Popular science :

Non

ANR Project :

Méthodes symboliques pour les réseaux biologiques

Collections :