دانلود کتاب Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving (به فارسی: مکانیزاسیون ریاضی: اثبات قضیه هندسه مکانیکی، حل مسئله هندسه مکانیکی و حل معادلات چند جمله ای) نوشته شده توسط «Wu Wen-tsun»
اطلاعات کتاب مکانیزاسیون ریاضی: اثبات قضیه هندسه مکانیکی، حل مسئله هندسه مکانیکی و حل معادلات چند جمله ای
موضوع اصلی: ریاضیات
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Wu Wen-tsun
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2000
تعداد صفحه: 427
حجم کتاب: 17 مگابایت
کد کتاب: 9780792358350 , 079235835X
نوبت چاپ: 1
توضیحات کتاب مکانیزاسیون ریاضی: اثبات قضیه هندسه مکانیکی، حل مسئله هندسه مکانیکی و حل معادلات چند جمله ای
مجموعه ای از مقالات با محوریت مکانیزاسیون ریاضی، با ریاضیات به شیوه ای الگوریتمی و سازنده، با هدف توسعه استدلال مکانیکی و خودکار. تحولات تاریخی، اصول اساسی، و کاربردها و مثالها را مورد بحث قرار میدهد.
A collection of essays centered around mathematical mechanization, dealing with mathematics in an algorithmic and constructive manner, with the aim of developing mechanical, automated reasoning. Discusses historical developments, underlying principles, and features applications and examples.