• English
    • français
  • Help
  •  | 
  • Contact
  •  | 
  • About
  •  | 
  • Login
  • HAL portal
  •  | 
  • Pages Pro
  • EN
  •  / 
  • FR
View Item 
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

A Short Contribution to the Theory of ...
  • BibTeX
  • CSV
  • Excel
  • RIS

Document type :
Article dans une revue scientifique
DOI :
10.1007/s11786-020-00477-x
Title :
A Short Contribution to the Theory of Regular Chains
Author(s) :
Boulier, François [Auteur] refId
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Lemaire, Francois [Auteur] refId
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] refId
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
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
ANR Project :
Méthodes symboliques pour les réseaux biologiques
Collections :
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Source :
Harvested from HAL
Files
Thumbnail
  • https://hal.archives-ouvertes.fr/hal-02464434/document
  • Open access
  • Access the document
Thumbnail
  • https://hal.archives-ouvertes.fr/hal-02464434/document
  • Open access
  • Access the document
Thumbnail
  • https://hal.archives-ouvertes.fr/hal-02464434/document
  • Open access
  • Access the document
Thumbnail
  • document
  • Open access
  • Access the document
Thumbnail
  • paper-1.pdf
  • Open access
  • Access the document
Thumbnail
  • paper-1.pdf
  • Open access
  • Access the document
Université de Lille

Mentions légales
Université de Lille © 2017