کتاب الکترونیکی

کسر خودکار در هندسه: چهارمین کارگاه بین المللی، Adg 2002، قلعه هاگنبرگ، اتریش، 4-6 سپتامبر 2002: مقالات تجدید نظر شده

Automated Deduction in Geometry: 4th International Workshop, Adg 2002, Hagenberg Castle, Austria, September 4-6, 2002: Revised Papers

دانلود کتاب Automated Deduction in Geometry: 4th International Workshop, Adg 2002, Hagenberg Castle, Austria, September 4-6, 2002: Revised Papers (به فارسی: کسر خودکار در هندسه: چهارمین کارگاه بین المللی، Adg 2002، قلعه هاگنبرگ، اتریش، 4-6 سپتامبر 2002: مقالات تجدید نظر شده) نوشته شده توسط «Winkler F.»


اطلاعات کتاب کسر خودکار در هندسه: چهارمین کارگاه بین المللی، Adg 2002، قلعه هاگنبرگ، اتریش، 4-6 سپتامبر 2002: مقالات تجدید نظر شده

موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی

نوع: کتاب الکترونیکی

نویسنده: Winkler F.

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2004

تعداد صفحه: 243

حجم کتاب: 7 مگابایت

کد کتاب: 3540246169

توضیحات کتاب کسر خودکار در هندسه: چهارمین کارگاه بین المللی، Adg 2002، قلعه هاگنبرگ، اتریش، 4-6 سپتامبر 2002: مقالات تجدید نظر شده

این کتاب مجموعه مقالات پس از داوری کامل چهارمین کارگاه بین المللی در مورد کسر خودکار در هندسه، ADG 2002 است که در قلعه هاگنبرگ، اتریش در سپتامبر 2002 برگزار شد. از جمله موضوعاتی که به آنها پرداخته می شود، موضوعات نظری و روش شناختی، مانند حل تکینگی ها، هندسه جبری و جبر رایانه ای است. سیستم های مختلف اثبات قضیه هندسی بررسی می شوند. و کاربردهای کسر خودکار در هندسه در زمینه هایی مانند طراحی به کمک کامپیوتر و رباتیک نشان داده شده است.


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.

دانلود کتاب «کسر خودکار در هندسه: چهارمین کارگاه بین المللی، Adg 2002، قلعه هاگنبرگ، اتریش، 4-6 سپتامبر 2002: مقالات تجدید نظر شده»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.