دانلود کتاب Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers
49,000 تومان
جبر رایانه ای و جبر هندسی با کاربردها: ششمین کارگاه بین المللی، IWMM 2004، شانگهای، چین، 19-21 می 2004 و کارگاه بین المللی، GIAE 2004، Xian، چین، 24-28 می، 2004، مقالات منتخب اصلاح شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 449 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 3540262962,9783540262961 |
| نوبت چاپ | 1 |
| نویسنده | Gerald Sommer (eds.), Hongbo Li, Peter J. Olver, Wen-tsun Wu (auth.) |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2005 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
جبر رایانه ای و جبر هندسی با کاربردها: ششمین کارگاه بین المللی، IWMM 2004، شانگهای، چین، 19-21 می 2004 و کارگاه بین المللی، GIAE 2004، Xian، چین، 24-28 می، 2004، مقالات منتخب اصلاح شده
ریاضیات مکانیزاسیون شامل تئوری، نرم افزار و کاربرد فعالیت های ریاضی کامپیوتری مانند محاسبات، استدلال و کشف است. ویژگی منحصر به فرد آن می تواند به طور خلاصه AAA (جبرسازی، الگوبرداری، کاربرد) را توصیف کند. نام “مکانیزاسیون ریاضیات” منشأ خود را در کار هائو وانگ (دهه 1960) یکی از پیشگامان استفاده از رایانه برای انجام تحقیقات در ریاضیات، به ویژه در اثبات قضایای خودکار، دارد. از دهه 1970، این جهت تحقیقاتی به طور فعال توسط پروفسور ون-تسون وو و پیروانش دنبال شده و به طور گسترده توسعه یافته است. این رشته از رشته های مرتبط نزدیک مانند ریاضیات کامپیوتری، محاسبات نمادین و استدلال خودکار متمایز است، زیرا هدف آن این است که مطالعات الگوریتمی و کاربردهای ریاضیات را به روند اصلی توسعه ریاضیات در عصر اطلاعات تبدیل کند. کارگاه بین المللی مکانیزاسیون ریاضیات (IWMM) توسط پروفسور وو در سال 1992 آغاز شد و از آن زمان تاکنون توسط دفتر مکانیزاسیون ریاضیات (KLMM) آکادمی علوم چین برگزار شده است. تا کنون هفت کارگاه این مجموعه برگزار شده است. در هر کارگاه، از چندین متخصص دعوت میشود تا در مورد روشهای پیشرفته و الگوریتمهای موضوع انتخاب شده سخنرانیهای عمومی ارائه کنند. این کارگاه همچنین انجمنی برای افرادی است که روی موضوعات مرتبط کار می کنند تا با یکدیگر ملاقات، همکاری و تبادل نظر کنند.
MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization,Algori- mization, Application). The name “Mathematics Mechanization” has its origin in the work of Hao Wang (1960s), one of the pioneers in using computers to do research in mathematics, particularly in automated theorem proving. Since the 1970s, this research direction has been actively pursued and extensively dev- oped by Prof. Wen-tsun Wu and his followers. It di?ers from the closely related disciplines like Computer Mathematics, Symbolic Computation and Automated Reasoning in that its goal is to make algorithmic studies and applications of mathematics the major trend of mathematics development in the information age. The International Workshop on Mathematics Mechanization (IWMM) was initiated by Prof. Wu in 1992, and has ever since been held by the Key L- oratory of Mathematics Mechanization (KLMM) of the Chinese Academy of Sciences. There have been seven workshops of the series up to now. At each workshop, several experts are invited to deliver plenary lectures on cutting-edge methods and algorithms of the selected theme. The workshop is also a forum for people working on related subjects to meet, collaborate and exchange ideas.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings
| نوع کالا | کتاب الکترونیکی |
|---|---|
| ناشر | Springer International Publishing |
| تعداد صفحه | 445 |
| حجم فایل | 15.80 مگابایت |
| کد کتاب | 3540784780 , 9783540784784 |
| نوبت چاپ | اولین ویرایش |
نقد و بررسیها
هنوز بررسیای ثبت نشده است.