کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4945893 | 1439190 | 2018 | 34 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Algorithmic operator algebras via normal forms in tensor rings
ترجمه فارسی عنوان
الگوریتم های اپراتور الگوریتمی از طریق فرم های نرمال در حلقه های تانسور
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
چکیده انگلیسی
To have smaller reduction systems, we develop a generalization of Bergman's setting. It allows overlapping domains of reduction homomorphisms, which also make the algorithmic verification of the confluence criterion more efficient. Moreover, we discuss a heuristic approach to complete a given reduction system to a confluent one in analogy to Buchberger's algorithm and Knuth-Bendix completion. Integro-differential operators are used to illustrate the tensor setting, verification of confluence, and completion of tensor reduction systems. We also introduce a confluent reduction system and normal forms for integro-differential operators with linear substitutions, which have applications in delay differential equations. Verification of the confluence criterion and completion based on S-polynomial computations is supported by the Mathematica package TenReS.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Symbolic Computation - Volume 85, MarchâApril 2018, Pages 247-274
Journal: Journal of Symbolic Computation - Volume 85, MarchâApril 2018, Pages 247-274
نویسندگان
Jamal Hossein Poor, Clemens G. Raab, Georg Regensburger,