<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE ArticleSet PUBLIC "-//NLM//DTD PubMed 2.7//EN" "https://dtd.nlm.nih.gov/ncbi/pubmed/in/PubMed.dtd">
<ArticleSet>
<Article>
<Journal>
				<PublisherName>Payame Noor University (PNU)</PublisherName>
				<JournalTitle>Control and Optimization in Applied Mathematics</JournalTitle>
				<Issn>2383-3130</Issn>
				<Volume>10</Volume>
				<Issue>2</Issue>
				<PubDate PubStatus="epublish">
					<Year>2025</Year>
					<Month>07</Month>
					<Day>01</Day>
				</PubDate>
			</Journal>
<ArticleTitle>A Computer Algebra Approach to Linear ODE Systems with Parametric Coefficients</ArticleTitle>
<VernacularTitle></VernacularTitle>
			<FirstPage>135</FirstPage>
			<LastPage>152</LastPage>
			<ELocationID EIdType="pii">12225</ELocationID>
			
<ELocationID EIdType="doi">10.30473/coam.2025.74498.1307</ELocationID>
			
			<Language>EN</Language>
<AuthorList>
<Author>
					<FirstName>Mahdi</FirstName>
					<LastName>Dehghani Darmian</LastName>
<Affiliation>Department of Basic Sciences‎, ‎Technical and Vocational University (TVU)‎, ‎Tehran‎, ‎Iran‎.</Affiliation>

</Author>
</AuthorList>
				<PublicationType>Journal Article</PublicationType>
			<History>
				<PubDate PubStatus="received">
					<Year>2025</Year>
					<Month>02</Month>
					<Day>07</Day>
				</PubDate>
			</History>
		<Abstract>This paper analyzes systems of linear first-order ordinary differential equations (ODEs) with parametric coefficients‎, ‎a class of problems that arises in control theory‎, ‎optimization‎, ‎and applied mathematics‎. ‎We introduce the notion of a comprehensive solution system for such parametric ODEs, constructed using Gröbner systems from computer algebra‎. ‎ Our approach partitions the parameter space into finitely many cells and associates an explicit solution with each cell‎. ‎ Furthermore, ‎we present an algorithm that computes a comprehensive solution system for any given parametric system‎. ‎To address the computational challenges inherent in Gröbner systems‎, ‎we adopt the GES algorithm‎, ‎a parametric variant of Gaussian elimination‎, ‎which eliminates the need for Gröbner bases. This method builds upon the LDS algorithm proposed in 2017‎. ‎ Both algorithms have been implemented in Maple‎, ‎and we illustrate the structural framework of the main algorithm with a straightforward example. The results highlight the practicality and effectiveness of the proposed methods for solving parametric linear first-order ODE systems.</Abstract>
		<ObjectList>
			<Object Type="keyword">
			<Param Name="value">Parametric linear ODE systems‎</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">‎Gröbner system‎</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">‎Gaussian elimination system algorithm‎</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">‎Comprehensive solution system‎</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">‎Parameter space‎</Param>
			</Object>
		</ObjectList>
<ArchiveCopySource DocType="pdf">https://mathco.journals.pnu.ac.ir/article_12225_6500e1c59f0957911007c2d962efc509.pdf</ArchiveCopySource>
</Article>
</ArticleSet>
