خرید و دانلود نسخه کامل کتاب 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
قیمت اصلی 141,000 تومان بود.66,000 تومانقیمت فعلی 66,000 تومان است.
تعداد فروش: 72
| عنوان فارسی |
جبر رایانه و جبر هندسی با برنامه های کاربردی: ششمین کارگاه بین المللی ، IWMM 2004 ، شانگهای ، چین ، 19 تا 21 مه 2004 و کارگاه بین المللی ، GIAE 2004 ، شیان ، چین ، 24-28 مه ، 2004 ، نسخه های تجدید نظر شده |
|---|---|
| عنوان اصلی | 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 |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Wen-tsun Wu (auth.), Hongbo Li, Peter J. Olver, Gerald Sommer (eds.) |
| ISBN | 3540262962, 9783540262961 |
| سال نشر | 2005 |
| زبان | English |
| تعداد صفحات | 456 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 6 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
ریاضیات مکانیزاسیون شامل تئوری، نرم افزار و کاربرد فعالیت های ریاضی کامپیوتری مانند محاسبات، استدلال و کشف است. ویژگی منحصر به فرد آن می تواند به طور خلاصه AAA (جبرسازی، الگوبرداری، کاربرد) را توصیف کند. نام “مکانیزاسیون ریاضیات” منشأ خود را در کار هائو وانگ (دهه 1960) یکی از پیشگامان استفاده از رایانه برای انجام تحقیقات در ریاضیات، به ویژه در اثبات قضایای خودکار، دارد. از دهه 1970، این جهت تحقیقاتی به طور فعال توسط پروفسور ون-تسون وو و پیروانش دنبال شده و به طور گسترده توسعه یافته است. این رشته از رشته های مرتبط نزدیک مانند ریاضیات کامپیوتری، محاسبات نمادین و استدلال خودکار متمایز است، زیرا هدف آن این است که مطالعات الگوریتمی و کاربردهای ریاضیات را به روند اصلی توسعه ریاضیات در عصر اطلاعات تبدیل کند. کارگاه بین المللی مکانیزاسیون ریاضیات (IWMM) توسط پروفسور وو در سال 1992 آغاز شد و از آن زمان تاکنون توسط دفتر مکانیزاسیون ریاضیات (KLMM) آکادمی علوم چین برگزار شده است. تا کنون هفت کارگاه این مجموعه برگزار شده است. در هر کارگاه، از چندین متخصص دعوت میشود تا در مورد روشهای پیشرفته و الگوریتمهای موضوع انتخاب شده سخنرانیهای عمومی ارائه کنند. این کارگاه همچنین انجمنی برای افرادی است که روی موضوعات مرتبط کار می کنند تا با یکدیگر ملاقات، همکاری و تبادل نظر کنند.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.