کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6861215 | 1439189 | 2018 | 13 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A smoothness test for higher codimensions
ترجمه فارسی عنوان
تست نرمی برای کدنویسی بالاتر
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
چکیده انگلیسی
Based on an idea in Hironaka's proof of resolution of singularities, we present an algorithm for determining smoothness of algebraic varieties. The algorithm is inherently parallel and does not involve the calculation of codimension-sized minors of the Jacobian matrix of the variety. We also describe a hybrid method which combines the new method with the Jacobian criterion, thus making use of the strengths of both approaches. We have implemented all algorithms in the computer algebra system Singular. We compare the different approaches with respect to timings and memory usage. The test examples originate from questions in algebraic geometry, where the use of the Jacobian criterion is impractical due to the number and size of the minors involved.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Symbolic Computation - Volume 86, MayâJune 2018, Pages 153-165
Journal: Journal of Symbolic Computation - Volume 86, MayâJune 2018, Pages 153-165
نویسندگان
Janko Böhm, Anne Frühbis-Krüger,