ترجمه فارسی توضیحات (ترجمه ماشینی)
مکانیزاسیون ریاضی: اثبات قضیه هندسه مکانیکی، حل مسئله هندسه مکانیکی و حل معادلات چند جمله ای
مجموعه ای از مقالات با محوریت مکانیزاسیون ریاضی، با ریاضیات به شیوه ای الگوریتمی و سازنده، با هدف توسعه استدلال مکانیکی و خودکار. تحولات تاریخی، اصول اساسی، و کاربردها و مثال‌ها را مورد بحث قرار می‌دهد.
Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving
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.
نقد و بررسی‌ها
هیچ دیدگاهی برای این محصول نوشته نشده است.