دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers
دانلود کتاب جبر رایانه و جبر هندسی با برنامه های کاربردی: ششمین کارگاه بین المللی ، IWMM 2004 ، شانگهای ، چین ، 19 تا 21 مه 2004 و کارگاه بین المللی ، GIAE 2004 ، شیان ، چین ، 24-28 مه ، 2004 ، نسخه های تجدید نظر شده
مشخصات کتاب
Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Wen-tsun Wu (auth.), Hongbo Li, Peter J. Olver, Gerald Sommer (eds.) سری: Lecture Notes in Computer Science 3519 : Theoretical Computer Science and General Issues ISBN (شابک) : 3540262962, 9783540262961 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2005 تعداد صفحات: 456 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 55,000
کلمات کلیدی مربوط به کتاب جبر رایانه و جبر هندسی با برنامه های کاربردی: ششمین کارگاه بین المللی ، IWMM 2004 ، شانگهای ، چین ، 19 تا 21 مه 2004 و کارگاه بین المللی ، GIAE 2004 ، شیان ، چین ، 24-28 مه ، 2004 ، نسخه های تجدید نظر شده: تحلیل الگوریتم و پیچیدگی مسائل، محاسبات عددی، گرافیک کامپیوتری، پردازش تصویر و بینایی کامپیوتری، هوش مصنوعی (شامل رباتیک)، علوم و مهندسی محاسبات
در صورت تبدیل فایل کتاب Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جبر رایانه و جبر هندسی با برنامه های کاربردی: ششمین کارگاه بین المللی ، IWMM 2004 ، شانگهای ، چین ، 19 تا 21 مه 2004 و کارگاه بین المللی ، GIAE 2004 ، شیان ، چین ، 24-28 مه ، 2004 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جبر رایانه و جبر هندسی با برنامه های کاربردی: ششمین کارگاه بین المللی ، IWMM 2004 ، شانگهای ، چین ، 19 تا 21 مه 2004 و کارگاه بین المللی ، GIAE 2004 ، شیان ، چین ، 24-28 مه ، 2004 ، نسخه های تجدید نظر شده
ریاضیات مکانیزاسیون شامل تئوری، نرم افزار و کاربرد فعالیت های ریاضی کامپیوتری مانند محاسبات، استدلال و کشف است. ویژگی منحصر به فرد آن می تواند به طور خلاصه AAA (جبرسازی، الگوبرداری، کاربرد) را توصیف کند. نام "مکانیزاسیون ریاضیات" منشأ خود را در کار هائو وانگ (دهه 1960) یکی از پیشگامان استفاده از رایانه برای انجام تحقیقات در ریاضیات، به ویژه در اثبات قضایای خودکار، دارد. از دهه 1970، این جهت تحقیقاتی به طور فعال توسط پروفسور ون-تسون وو و پیروانش دنبال شده و به طور گسترده توسعه یافته است. این رشته از رشته های مرتبط نزدیک مانند ریاضیات کامپیوتری، محاسبات نمادین و استدلال خودکار متمایز است، زیرا هدف آن این است که مطالعات الگوریتمی و کاربردهای ریاضیات را به روند اصلی توسعه ریاضیات در عصر اطلاعات تبدیل کند. کارگاه بین المللی مکانیزاسیون ریاضیات (IWMM) توسط پروفسور وو در سال 1992 آغاز شد و از آن زمان تاکنون توسط دفتر مکانیزاسیون ریاضیات (KLMM) آکادمی علوم چین برگزار شده است. تا کنون هفت کارگاه این مجموعه برگزار شده است. در هر کارگاه، از چندین متخصص دعوت می‌شود تا در مورد روش‌های پیشرفته و الگوریتم‌های موضوع انتخاب شده سخنرانی‌های عمومی ارائه کنند. این کارگاه همچنین انجمنی برای افرادی است که روی موضوعات مرتبط کار می کنند تا با یکدیگر ملاقات، همکاری و تبادل نظر کنند.
توضیحاتی درمورد کتاب به خارجی
MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization,Algori- mization, Application). The name “Mathematics Mechanization” has its origin in the work of Hao Wang (1960s), one of the pioneers in using computers to do research in mathematics, particularly in automated theorem proving. Since the 1970s, this research direction has been actively pursued and extensively dev- oped by Prof. Wen-tsun Wu and his followers. It di?ers from the closely related disciplines like Computer Mathematics, Symbolic Computation and Automated Reasoning in that its goal is to make algorithmic studies and applications of mathematics the major trend of mathematics development in the information age. The International Workshop on Mathematics Mechanization (IWMM) was initiated by Prof. Wu in 1992, and has ever since been held by the Key L- oratory of Mathematics Mechanization (KLMM) of the Chinese Academy of Sciences. There have been seven workshops of the series up to now. At each workshop, several experts are invited to deliver plenary lectures on cutting-edge methods and algorithms of the selected theme. The workshop is also a forum for people working on related subjects to meet, collaborate and exchange ideas.
فهرست مطالب
Front Matter....Pages -
On Wintner’s Conjecture About Central Configurations....Pages 1-4
Polynomial General Solutions for First Order Autonomous ODEs....Pages 5-17
The Newton Polygon Method for Differential Equations....Pages 18-30
Implicit Reduced Involutive Forms and Their Application to Engineering Multibody Systems....Pages 31-43
Hybrid Method for Solving New Pose Estimation Equation System....Pages 44-55
Some Necessary Conditions on the Number of Solutions for the P 4 P Problem....Pages 56-64
A Generalization of Xie-Nie Stability Criterion....Pages 65-71
Formal Power Series and Loose Entry Formulas for the Dixon Matrix....Pages 72-82
Constructive Theory and Algorithm for Blending Several Implicit Algebraic Surfaces....Pages 83-96
Minimum-Cost Optimization in Multicommodity Logistic Chain Network....Pages 97-104
A Survey of Moving Frames....Pages 105-138
Invariant Geometric Motions of Space Curves....Pages 139-151
Classification of Signature Curves Using Latent Semantic Analysis....Pages 152-162
Hamiltonian System and Algebro-Geometric Solution Associated with Dispersive Long Wave Equation....Pages 163-178
The Painlevé Test of Nonlinear Partial Differential Equations and Its Implementation Using Maple....Pages 179-190
Hybrid Matrix Geometric Algebra....Pages 191-206
Intrinsic Differential Geometry with Geometric Calculus....Pages 207-216
On Miquel’s Five-Circle Theorem....Pages 217-228
On Averaging in Clifford Groups....Pages 229-238
Combinatorics and Representation Theory of Lie Superalgebras over Letterplace Superalgebras....Pages 239-257
Applications of Geometric Algebra in Robot Vision....Pages 258-277
Twists – An Operational Representation of Shape....Pages 278-297
Recent Applications of Conformal Geometric Algebra....Pages 298-328
Applications of Conformal Geometric Algebra in Computer Vision and Graphics....Pages 329-349
Conic Sections and Meet Intersections in Geometric Algebra....Pages 350-362
n D Object Representation and Detection from Single 2D Line Drawing....Pages 363-382
Polyhedral Scene Analysis Combining Parametric Propagation with Calotte Analysis....Pages 383-402
A Unified and Complete Framework of Invariance for Six Points....Pages 403-417
An Introduction to Logical Animation....Pages 418-428
Recent Methods for Reconstructing Surfaces from Multiple Images....Pages 429-447
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Advances in Geometric Modeling and Processing: 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010, Proceedings
دانلود کتاب Linguistic Informatics- State Of The Art And The Future: The First International Conference On Linguistic Informatics (Usage-Based Linguistic Informatics)
دانلود کتاب AsiaSim 2007: Asia Simulation Conference 2007, Seoul, Korea, October 10-12, 2007, Proceedings (Communications in Computer and Information Science)
دانلود کتاب Selected Areas in Cryptography: 11th International Workshop, SAC 2004, Waterloo, Canada, August 9-10, 2004, Revised Selected Papers
دانلود کتاب KI 2006: Advances in Artificial Intelligence: 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings
دانلود کتاب Advances in Intelligent Data Analysis: 4th International Conference, IDA 2001 Cascais, Portugal, September 13–15, 2001 Proceedings
دانلود کتاب Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings
دانلود کتاب Comparative Genomics: RECOMB 2004 International Workshop, RCG 2004, Bertinoro, Italy, October 16-19, 2004, Revised Selected Papers
دانلود کتاب Probabilistic Methods in Fluids: Proceedings of the Swansea 2002 Workshop, Wale, UK, 14-19 April 2002
