دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: برنامه نويسي ویرایش: نویسندگان: Dongming Wang سری: ISBN (شابک) : 9781860944383, 1860944388 ناشر: World Scientific Publishing Company سال نشر: 2004 تعداد صفحات: 233 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 مگابایت
در صورت تبدیل فایل کتاب Elimination Practice: Software Tools and Applications (With CD-Rom) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش حذف: ابزارها و برنامه های نرم افزاری (با CD-Rom) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
با یک کتابخانه نرم افزاری گنجانده شده، این کتاب مقدمه ای ابتدایی برای حذف چند جمله ای در عمل فراهم می کند. کتابخانه Epsilon که در Maple و Java پیاده سازی شده است، حاوی بیش از 70 تابع مستند برای حذف نمادین و تجزیه با سیستم های چند جمله ای و استدلال هندسی است. این کتاب عملکرد، پیاده سازی و عملکرد اپسیلون را ارائه می دهد و سودمندی ابزار حذف را توسط تعدادی از برنامه های کاربردی انتخاب شده، همراه با مثال ها و تصاویر بسیاری نشان می دهد. خواننده اپسیلون را ابزاری کارآمد مییابد که برای طیف وسیعی از مسائل در علم، مهندسی و صنعت قابل استفاده است، و این کتاب یک توضیح در دسترس و مرجعی ارزشمند برای تئوری، روشها و عمل حذف است.
With a software library included, this book provides an elementary introduction to polynomial elimination in practice. The library Epsilon, implemented in Maple and Java, contains more than 70 well-documented functions for symbolic elimination and decomposition with polynomial systems and geometric reasoning. The book presents the functionality, implementation, and performance of Epsilon and demonstrates the usefulness of the elimination tool by a number of selected applications, together with many examples and illustrations. The reader will find Epsilon an efficient tool, applicable to a wide range of problems in science, engineering, and industry, and this book an accessible exposition and a valuable reference for elimination theory, methods, and practice.
Contents ......Page 8
1.1 Solving Polynomial Equations ......Page 11
1.2 Proving Geometric Theorems ......Page 14
1.3 Locating Singular Points ......Page 19
1.4 Decomposing Algebraic Curves ......Page 23
2.1 What Is EPSILON and What It Does ......Page 25
2.2 Design and Implementation ......Page 26
2.3 EPSILON Functions ......Page 28
2.4 Some Experiments ......Page 34
2.5 Interface Availability and Installation ......Page 36
3.1 Introduction ......Page 38
3.2 CharSets Functions ......Page 39
3.3 Differential Module ......Page 45
3.4 Implementation Strategies ......Page 50
3.5 Experiments and Remarks ......Page 55
4.1 Introduction ......Page 60
4.2 TriSys Functions ......Page 61
4.3 Differential Triangular Series ......Page 65
4.4 SiSys Functions ......Page 67
4.5 Implementation Issues and Comparisons ......Page 70
5.1 Specification of Geometric Theorems ......Page 76
5.2 Basic Translations ......Page 78
5.3 Proving Geometric Theorems Automatically ......Page 80
5.4 Automated Generation of Diagrams and Documents ......Page 82
5.5 Nondegeneracy Conditions and Miscellaneous Functions ......Page 83
5.6 Implementation Strategies ......Page 86
5.7 Experiments with Algebraic Provers ......Page 90
6.1 Implementations of Triangular Sets ......Page 92
6.2 Grobner Bases Packages ......Page 95
6.3 Computing Resultants and Subresultants ......Page 99
6.4 Miscellaneous Functions ......Page 101
7.1 General Principles ......Page 105
7.2 Solving Zero-dimensional Systems ......Page 107
7.3 Solving Systems of Positive Dimension ......Page 117
7.4 Solving Parametric Systems ......Page 120
8.1 A Simple Algebraic Approach ......Page 125
8.2 Proving Theorems via Zero Decomposition ......Page 131
8.3 Illustration with Examples ......Page 135
8.4 Discovering Geometric Theorems ......Page 145
9.1 Deriving Locus Equations ......Page 154
9.2 Implicitizing Parametric Objects ......Page 166
9.3 Computing Offsets ......Page 171
9.4 Blending Algebraic Surfaces ......Page 176
9.5 Decomposing Algebraic Varieties ......Page 182
10.1 Computation with Polynomial Ideals ......Page 187
10.2 Factorization of Polynomials ......Page 191
10.3 Qualitative Study of Differential Equations ......Page 195
10.4 Automated Reasoning in Differential Geometry ......Page 203
Appendix A Polynomial Systems: 50 Test Examples ......Page 210
Appendix B Algebraic Factorization: 55 Examples ......Page 212
References ......Page 217
Index ......Page 225