دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002. Revised Papers
دانلود کتاب تقسیم خودکار در هندسه: چهارمین کارگاه بین المللی، ADG 2002، قلعه Hagenberg، اتریش، 4-6 سپتامبر 2002. مقالات بازنگری شده
مشخصات کتاب
Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002. Revised Papers
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Gábor Bodnár (auth.), Franz Winkler (eds.) سری: Lecture Notes in Computer Science 2930 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540209271, 9783540209270 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 237 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 49,000
کلمات کلیدی مربوط به کتاب تقسیم خودکار در هندسه: چهارمین کارگاه بین المللی، ADG 2002، قلعه Hagenberg، اتریش، 4-6 سپتامبر 2002. مقالات بازنگری شده: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی، ریاضیات گسسته در علوم کامپیوتر، گرافیک کامپیوتری، تشخیص الگو، هندسه محدب و گسسته
در صورت تبدیل فایل کتاب Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002. Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تقسیم خودکار در هندسه: چهارمین کارگاه بین المللی، ADG 2002، قلعه Hagenberg، اتریش، 4-6 سپتامبر 2002. مقالات بازنگری شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تقسیم خودکار در هندسه: چهارمین کارگاه بین المللی، ADG 2002، قلعه Hagenberg، اتریش، 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.
فهرست مطالب
Front Matter....Pages -
Algorithmic Tests for the Normal Crossing Property....Pages 1-20
The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction....Pages 21-30
Using Computer Algebra Tools to Classify Serial Manipulators....Pages 31-43
MMP/Geometer – A Software Package for Automated Geometric Reasoning....Pages 44-66
The SymbolicData GEO Records – A Public Repository of Geometry Theorem Proof Schemes....Pages 67-86
A New Structural Rigidity for Geometric Constraint Systems....Pages 87-105
Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving....Pages 106-123
The Nonsolvability by Radicals of Generic 3-connected Planar Graphs....Pages 124-131
Function-Based Shape Modeling: Mathematical Framework and Specialized Language....Pages 132-160
C 1 Spline Implicitization of Planar Curves....Pages 161-177
Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method....Pages 178-193
GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically....Pages 194-215
Distance Coordinates Used in Geometric Constraint Solving....Pages 216-229
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Directions in General Relativity: Proc. 1993 Symposium, Maryland
دانلود کتاب Combinatorics, Algorithms, Probabilistic and Experimental Methodologies: First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers
دانلود کتاب Complex Algebraic Varieties: Proceedings of a Conference Held in Bayreuth, Germany, April 2-6, 1990
دانلود کتاب Intercultural Collaboration: First International Workshop, IWIC 2007 Kyoto, Japan, January 25-26, 2007 Invited and Selected Papers
دانلود کتاب Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings
دانلود کتاب Few-Body Problems in Physics: Proceedings of the 3rd Asia-Pacific Conference
دانلود کتاب Distributed Computing – IWDC 2005: 7th International Workshop, Kharagpur, India, December 27-30, 2005. Proceedings
دانلود کتاب Advances in solid oxide fuel cells IV: a collection of papers presented at the 32nd International Conference on Advanced Ceramics and Composites, January 27-February 1, 2008, Daytona Beach, Florida
دانلود کتاب Cooperative Information Agents XI: 11th International Workshop, CIA 2007, Delft, The Netherlands, September 19-21, 2007. Proceedings
