خرید و دانلود نسخه کامل کتاب 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

آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم. توضیحاتی در مورد کتاب  ریاضیات مکانیزاسیون شامل تئوری، نرم افزار و کاربرد فعالیت های ریاضی کامپیوتری مانند محاسبات، استدلال و کشف است. ویژگی منحصر به فرد آن می تواند به طور خلاصه AAA (جبرسازی، الگوبرداری، کاربرد) را توصیف کند. نام “مکانیزاسیون ریاضیات” منشأ خود را در کار هائو وانگ (دهه 1960) یکی از پیشگامان استفاده از رایانه برای انجام تحقیقات در ریاضیات، به ویژه در اثبات قضایای خودکار، دارد. از دهه 1970، این جهت تحقیقاتی به طور فعال توسط پروفسور ون-تسون وو و پیروانش دنبال شده و به طور گسترده توسعه یافته است. این رشته از رشته های مرتبط نزدیک مانند ریاضیات کامپیوتری، محاسبات نمادین و استدلال خودکار متمایز است، زیرا هدف آن این است که مطالعات الگوریتمی و کاربردهای ریاضیات را به روند اصلی توسعه ریاضیات در عصر اطلاعات تبدیل کند. کارگاه بین المللی مکانیزاسیون ریاضیات (IWMM) توسط پروفسور وو در سال 1992 آغاز شد و از آن زمان تاکنون توسط دفتر مکانیزاسیون ریاضیات (KLMM) آکادمی علوم چین برگزار شده است. تا کنون هفت کارگاه این مجموعه برگزار شده است. در هر کارگاه، از چندین متخصص دعوت می‌شود تا در مورد روش‌های پیشرفته و الگوریتم‌های موضوع انتخاب شده سخنرانی‌های عمومی ارائه کنند. این کارگاه همچنین انجمنی برای افرادی است که روی موضوعات مرتبط کار می کنند تا با یکدیگر ملاقات، همکاری و تبادل نظر کنند.