An Equivalence Theorem For Regular ...
Type de document :
Compte-rendu et recension critique d'ouvrage
Titre :
An Equivalence Theorem For Regular Differential Chains
Auteur(s) :
Boulier, François [Auteur correspondant]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Géométrie, Algèbre, Informatique, Applications [GAIA]
Lemaire, Francois [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Géométrie, Algèbre, Informatique, Applications [GAIA]
Poteaux, Adrien [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Géométrie, Algèbre, Informatique, Applications [GAIA]
Moreno Maza, Marc [Auteur]
Ontario Research Center for Computer Algebra [ORCCA]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Géométrie, Algèbre, Informatique, Applications [GAIA]
Lemaire, Francois [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Géométrie, Algèbre, Informatique, Applications [GAIA]
Poteaux, Adrien [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Géométrie, Algèbre, Informatique, Applications [GAIA]
Moreno Maza, Marc [Auteur]
Ontario Research Center for Computer Algebra [ORCCA]
Titre de la revue :
Journal of Symbolic Computation
Pagination :
34-55
Éditeur :
Elsevier
Date de publication :
2019-07
ISSN :
0747-7171
Mot(s)-clé(s) en anglais :
characteristic set
resultants
resultant
differential algebra
regular chain
regularity
resultants
resultant
differential algebra
regular chain
regularity
Discipline(s) HAL :
Informatique [cs]/Calcul formel [cs.SC]
Résumé :
Cet article présente de nouveaux théorèmes d'équivalence pour les chaînes régulières et les chaînes régulières différentielles, qui sont des généralisations des ensembles caractéristiques de Ritt. Ces théorèmes se concentrent ...
Lire la suite >Cet article présente de nouveaux théorèmes d'équivalence pour les chaînes régulières et les chaînes régulières différentielles, qui sont des généralisations des ensembles caractéristiques de Ritt. Ces théorèmes se concentrent sur les propriétés de régularité des éléments des anneaux quotients définis par ces chaînes, qui sont mises en évidence par des calculs de résultants. De nouveaux corollaires de ces théorèmes ont des formulations particulèrement simples.Lire moins >
Lire la suite >Cet article présente de nouveaux théorèmes d'équivalence pour les chaînes régulières et les chaînes régulières différentielles, qui sont des généralisations des ensembles caractéristiques de Ritt. Ces théorèmes se concentrent sur les propriétés de régularité des éléments des anneaux quotients définis par ces chaînes, qui sont mises en évidence par des calculs de résultants. De nouveaux corollaires de ces théorèmes ont des formulations particulèrement simples.Lire moins >
Résumé en anglais : [en]
This paper provides new equivalence theorems for regular chains and regular differential chains, which are generalizations of Ritt's characteristic sets. These theorems focus on regularity properties of elements of residue ...
Lire la suite >This paper provides new equivalence theorems for regular chains and regular differential chains, which are generalizations of Ritt's characteristic sets. These theorems focus on regularity properties of elements of residue class rings defined by these chains, which are revealed by resultant computations. New corollaries to these theorems have quite simple formulations.Lire moins >
Lire la suite >This paper provides new equivalence theorems for regular chains and regular differential chains, which are generalizations of Ritt's characteristic sets. These theorems focus on regularity properties of elements of residue class rings defined by these chains, which are revealed by resultant computations. New corollaries to these theorems have quite simple formulations.Lire moins >
Langue :
Anglais
Vulgarisation :
Non
Collections :
Source :
Fichiers
- https://hal.archives-ouvertes.fr/hal-01391768v3/document
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-01391768v3/document
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-01391768v3/document
- Accès libre
- Accéder au document
- document
- Accès libre
- Accéder au document
- Yetan-Equivalence-Theorem.pdf
- Accès libre
- Accéder au document
- Yetan-Equivalence-Theorem.pdf
- Accès libre
- Accéder au document