کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4945934 | 1439193 | 2017 | 30 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A symbolic decision procedure for relations arising among Taylor coefficients of classical Jacobi theta functions
ترجمه فارسی عنوان
یک روش تصمیم سمبولی برای روابط ناشی از ضرایب تیلور از توابع تکتا کلاسیک ژاکوبی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
توابع توت جاکوبی اشکال مدولار، شناسایی صفر الگوریتمی، جبر کامپیوتر، اثبات خودکار تطبیق هویت های خاص،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
چکیده انگلیسی
The class of objects we consider are algebraic relations between the four kinds of classical Jacobi theta functions θj(z|Ï), j=1,â¦,4, and their derivatives. We present an algorithm to prove such relations automatically where the function argument z is zero, but where the parameter Ï in the upper half complex plane is arbitrary.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Symbolic Computation - Volume 82, SeptemberâOctober 2017, Pages 134-163
Journal: Journal of Symbolic Computation - Volume 82, SeptemberâOctober 2017, Pages 134-163
نویسندگان
Liangjie Ye,