An equivalence theorem for regular differential chains

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 com...

Full description

Saved in:
Bibliographic Details
Published in:Journal of symbolic computation 2019-07, Vol.93, p.34-55
Main Authors: Boulier, François, Lemaire, François, Poteaux, Adrien, Moreno Maza, Marc
Format: Article
Language:English
Subjects:
Characteristic set
Computer Science
Differential algebra
Regular chain
Regularity
Resultant
Symbolic Computation
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c374t-df3f9b5410fb6f0965baac8f4c192a23414fbe9e46f350637b19a5a9e5b3aa23
cites cdi_FETCH-LOGICAL-c374t-df3f9b5410fb6f0965baac8f4c192a23414fbe9e46f350637b19a5a9e5b3aa23
container_end_page 55
container_issue
container_start_page 34
container_title Journal of symbolic computation
container_volume 93
creator Boulier, François
Lemaire, François
Poteaux, Adrien
Moreno Maza, Marc
description 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.
doi_str_mv 10.1016/j.jsc.2018.04.011
format article
fullrecord <record><control><sourceid>elsevier_hal_p</sourceid><recordid>TN_cdi_hal_primary_oai_HAL_hal_01391768v3</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>S0747717118300415</els_id><sourcerecordid>S0747717118300415</sourcerecordid><originalsourceid>FETCH-LOGICAL-c374t-df3f9b5410fb6f0965baac8f4c192a23414fbe9e46f350637b19a5a9e5b3aa23</originalsourceid><addsrcrecordid>eNp9kLFOwzAQhi0EEqXwAGxZGRLuajuJxVRV0CJVYunAZjnOmTpKE7DTSrw9iYoYmU767_9Ouo-xe4QMAfPHJmuizRaAZQYiA8QLNkNQMi2lfL9kMyhEkRZY4DW7ibEBACW4nLF82SX0dfQn01JnKRn21Ac6JK4PSaCPY2tCUnvnKFA3eNMmdm98F2_ZlTNtpLvfOWe7l-fdapNu39avq-U2tbwQQ1o77lQlBYKrcgcql5UxtnTColqYBRcoXEWKRO64hJwXFSojjSJZcTPu5-zhfHZvWv0Z_MGEb90brzfLrZ4yQK6wyMsTH7t47trQxxjI_QEIenKkGz060pMjDWJEcWSezgyNP5w8BR2tnzzUPpAddN37f-gfirRulQ</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>An equivalence theorem for regular differential chains</title><source>Elsevier:Jisc Collections:Elsevier Read and Publish Agreement 2022-2024:Freedom Collection (Reading list)</source><creator>Boulier, François ; Lemaire, François ; Poteaux, Adrien ; Moreno Maza, Marc</creator><creatorcontrib>Boulier, François ; Lemaire, François ; Poteaux, Adrien ; Moreno Maza, Marc</creatorcontrib><description>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.</description><identifier>ISSN: 0747-7171</identifier><identifier>EISSN: 1095-855X</identifier><identifier>DOI: 10.1016/j.jsc.2018.04.011</identifier><language>eng</language><publisher>Elsevier Ltd</publisher><subject>Characteristic set ; Computer Science ; Differential algebra ; Regular chain ; Regularity ; Resultant ; Symbolic Computation</subject><ispartof>Journal of symbolic computation, 2019-07, Vol.93, p.34-55</ispartof><rights>2018 Elsevier Ltd</rights><rights>Distributed under a Creative Commons Attribution 4.0 International License</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c374t-df3f9b5410fb6f0965baac8f4c192a23414fbe9e46f350637b19a5a9e5b3aa23</citedby><cites>FETCH-LOGICAL-c374t-df3f9b5410fb6f0965baac8f4c192a23414fbe9e46f350637b19a5a9e5b3aa23</cites><orcidid>0000-0001-7349-4396</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>230,314,780,784,885,27924,27925</link.rule.ids><backlink>$$Uhttps://hal.science/hal-01391768$$DView record in HAL$$Hfree_for_read</backlink></links><search><creatorcontrib>Boulier, François</creatorcontrib><creatorcontrib>Lemaire, François</creatorcontrib><creatorcontrib>Poteaux, Adrien</creatorcontrib><creatorcontrib>Moreno Maza, Marc</creatorcontrib><title>An equivalence theorem for regular differential chains</title><title>Journal of symbolic computation</title><description>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.</description><subject>Characteristic set</subject><subject>Computer Science</subject><subject>Differential algebra</subject><subject>Regular chain</subject><subject>Regularity</subject><subject>Resultant</subject><subject>Symbolic Computation</subject><issn>0747-7171</issn><issn>1095-855X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2019</creationdate><recordtype>article</recordtype><recordid>eNp9kLFOwzAQhi0EEqXwAGxZGRLuajuJxVRV0CJVYunAZjnOmTpKE7DTSrw9iYoYmU767_9Ouo-xe4QMAfPHJmuizRaAZQYiA8QLNkNQMi2lfL9kMyhEkRZY4DW7ibEBACW4nLF82SX0dfQn01JnKRn21Ac6JK4PSaCPY2tCUnvnKFA3eNMmdm98F2_ZlTNtpLvfOWe7l-fdapNu39avq-U2tbwQQ1o77lQlBYKrcgcql5UxtnTColqYBRcoXEWKRO64hJwXFSojjSJZcTPu5-zhfHZvWv0Z_MGEb90brzfLrZ4yQK6wyMsTH7t47trQxxjI_QEIenKkGz060pMjDWJEcWSezgyNP5w8BR2tnzzUPpAddN37f-gfirRulQ</recordid><startdate>201907</startdate><enddate>201907</enddate><creator>Boulier, François</creator><creator>Lemaire, François</creator><creator>Poteaux, Adrien</creator><creator>Moreno Maza, Marc</creator><general>Elsevier Ltd</general><general>Elsevier</general><scope>AAYXX</scope><scope>CITATION</scope><scope>1XC</scope><scope>VOOES</scope><orcidid>https://orcid.org/0000-0001-7349-4396</orcidid></search><sort><creationdate>201907</creationdate><title>An equivalence theorem for regular differential chains</title><author>Boulier, François ; Lemaire, François ; Poteaux, Adrien ; Moreno Maza, Marc</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c374t-df3f9b5410fb6f0965baac8f4c192a23414fbe9e46f350637b19a5a9e5b3aa23</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2019</creationdate><topic>Characteristic set</topic><topic>Computer Science</topic><topic>Differential algebra</topic><topic>Regular chain</topic><topic>Regularity</topic><topic>Resultant</topic><topic>Symbolic Computation</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Boulier, François</creatorcontrib><creatorcontrib>Lemaire, François</creatorcontrib><creatorcontrib>Poteaux, Adrien</creatorcontrib><creatorcontrib>Moreno Maza, Marc</creatorcontrib><collection>CrossRef</collection><collection>Hyper Article en Ligne (HAL)</collection><collection>Hyper Article en Ligne (HAL) (Open Access)</collection><jtitle>Journal of symbolic computation</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Boulier, François</au><au>Lemaire, François</au><au>Poteaux, Adrien</au><au>Moreno Maza, Marc</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>An equivalence theorem for regular differential chains</atitle><jtitle>Journal of symbolic computation</jtitle><date>2019-07</date><risdate>2019</risdate><volume>93</volume><spage>34</spage><epage>55</epage><pages>34-55</pages><issn>0747-7171</issn><eissn>1095-855X</eissn><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.</abstract><pub>Elsevier Ltd</pub><doi>10.1016/j.jsc.2018.04.011</doi><tpages>22</tpages><orcidid>https://orcid.org/0000-0001-7349-4396</orcidid><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 0747-7171
ispartof Journal of symbolic computation, 2019-07, Vol.93, p.34-55
issn 0747-7171
1095-855X
language eng
recordid cdi_hal_primary_oai_HAL_hal_01391768v3
source Elsevier:Jisc Collections:Elsevier Read and Publish Agreement 2022-2024:Freedom Collection (Reading list)
subjects Characteristic set
Computer Science
Differential algebra
Regular chain
Regularity
Resultant
Symbolic Computation
title An equivalence theorem for regular differential chains
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-27T21%3A47%3A47IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-elsevier_hal_p&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=An%20equivalence%20theorem%20for%20regular%20differential%20chains&rft.jtitle=Journal%20of%20symbolic%20computation&rft.au=Boulier,%20Fran%C3%A7ois&rft.date=2019-07&rft.volume=93&rft.spage=34&rft.epage=55&rft.pages=34-55&rft.issn=0747-7171&rft.eissn=1095-855X&rft_id=info:doi/10.1016/j.jsc.2018.04.011&rft_dat=%3Celsevier_hal_p%3ES0747717118300415%3C/elsevier_hal_p%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c374t-df3f9b5410fb6f0965baac8f4c192a23414fbe9e46f350637b19a5a9e5b3aa23%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true