An equivalence theorem for regular differential chains. (July 2019)

• Record Type: Journal Article
• Authors: Boulier, François; Lemaire, François; Poteaux, Adrien; Moreno Maza, Marc
• Is Part Of: Journal of symbolic computation. Volume 93(2019)
• Page Start: 34
• Page End: 55
• Publication Date: 2019-07
• Subjects: Regular chain -- Characteristic set -- Regularity -- Resultant -- Differential algebra; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2018.04.011
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: 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.