ترجمه فارسی توضیحات (ترجمه ماشینی)
کسر خودکار در هندسه: چهارمین کارگاه بین المللی، ADG 2002، قلعه هاگنبرگ، اتریش، 4-6 سپتامبر 2002. مقالات تجدید نظر شده
این کتاب مجموعه مقالات پس از داوری کامل چهارمین کارگاه بین‌المللی کسر خودکار در هندسه، ADG 2002 است که در قلعه هاگنبرگ، اتریش در سپتامبر 2002 برگزار شد.
13 مورد تجدید نظر کامل مقالات ارائه شده طی دو دور بررسی و بهبود با دقت انتخاب شدند. از جمله موضوعاتی که به آنها پرداخته می شود، موضوعات نظری و روش شناختی، مانند حل تکینگی ها، هندسه جبری و جبر رایانه ای است. سیستم های مختلف اثبات قضیه هندسی بررسی می شوند. و کاربردهای کسر خودکار در هندسه در زمینه هایی مانند طراحی به کمک رایانه و روباتیک نشان داده شده است.
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002.
The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. Among the issues addressed are theoretical and methodological topics, such as the resolution of singularities, algebraic geometry and computer algebra; various geometric theorem proving systems are explored; and applications of automated deduction in geometry are demonstrated in fields like computer-aided design and robotics.
نقد و بررسی‌ها
هیچ دیدگاهی برای این محصول نوشته نشده است.