دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers
دانلود کتاب کسر خودکار در هندسه: پنجمین کارگاه بین المللی، ADG 2004، Gainesville، FL، ایالات متحده آمریکا، 16-18 سپتامبر، 2004. مقالات تجدید نظر شده
مشخصات کتاب
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers
ویرایش: 1 نویسندگان: Laura I. Meikle, Jacques D. Fleuriot (auth.), Hoon Hong, Dongming Wang (eds.) سری: Lecture Notes in Computer Science 3763 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 354031332X, 9783540313328 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2006 تعداد صفحات: 223 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 72,000
کلمات کلیدی مربوط به کتاب کسر خودکار در هندسه: پنجمین کارگاه بین المللی، ADG 2004، Gainesville، FL، ایالات متحده آمریکا، 16-18 سپتامبر، 2004. مقالات تجدید نظر شده: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی، ریاضیات گسسته در علوم کامپیوتر، گرافیک کامپیوتری، تشخیص الگو، هندسه محدب و گسسته
در صورت تبدیل فایل کتاب Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کسر خودکار در هندسه: پنجمین کارگاه بین المللی، ADG 2004، Gainesville، FL، ایالات متحده آمریکا، 16-18 سپتامبر، 2004. مقالات تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کسر خودکار در هندسه: پنجمین کارگاه بین المللی، ADG 2004، Gainesville، FL، ایالات متحده آمریکا، 16-18 سپتامبر، 2004. مقالات تجدید نظر شده
این کتاب مجموعه مقالات پس از داوری کامل پنجمین کارگاه بینالمللی کسر خودکار در هندسه، ADG 2004 است که در سپتامبر 2004 در Gainesville، FL، ایالات متحده برگزار شد.
12 مقاله کامل اصلاح شده ارائه شده است. پس از بررسی دقیق از بین مقالات پذیرفته شده در کارگاه به دقت انتخاب شدند. همه مسائل جاری در این منطقه مورد بررسی قرار می گیرند - موضوعات نظری و روش شناختی و همچنین کاربردهای آنها - به ویژه اثبات قضیه هندسه خودکار، حل مسئله هندسه خودکار، مسائل هندسه پویا، و یک زبان شی گرا برای اجسام هندسی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held at Gainesville, FL, USA in September 2004.
The 12 revised full papers presented were carefully selected from the papers accepted for the workshop after careful reviewing. All current issues in the area are addressed - theoretical and methodological topics as well as applications thereof - in particular automated geometry theorem proving, automated geometry problem solving, problems of dynamic geometry, and an object-oriented language for geometric objects.
فهرست مطالب
Front Matter....Pages -
Mechanical Theorem Proving in Computational Geometry....Pages 1-18
Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness....Pages 19-33
Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases....Pages 34-43
Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides....Pages 44-58
Symbolic Solution of a Piano Movers’ Problem with Four Parameters....Pages 59-69
Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods....Pages 70-91
Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach....Pages 92-110
On the Decidability of Tracing Problems in Dynamic Geometry....Pages 111-129
Towards a Geometric-Object-Oriented Language....Pages 130-155
Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods....Pages 156-168
n D Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation....Pages 169-197
Planar Generalized Stewart Platforms and Their Direct Kinematics....Pages 198-211
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Practical financial modelling: the development and audit of cash flow models
دانلود کتاب Strahlenbedingte Lebensverkürzung: Pathologische Anatomie somatischer Spätwirkungen der ionisierenden Ganzkörperbestrahlung auf den erwachsenen Säugetierorganismus
دانلود کتاب Fermentation and Biochemical Engineering Handbook
دانلود کتاب Dungeons & Dragons Player's Option: Heroes of the Feywild: Roleplaying Game Supplement
