کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
401497 675371 2008 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Algorithms for quadratic forms
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش صفحه اول مقاله
Algorithms for quadratic forms
چکیده انگلیسی

We present algorithms for square classes, quadratic forms and Witt classes of quadratic forms over the field of rational functions of one variable over the reals. The algorithms are capable of: finding the unique representative of a square class, deciding if a given function is a square or a sum of squares and deciding if a quadratic form is isotropic or hyperbolic. Moreover we propose a representation for Witt classes of quadratic forms. With this representation one can manipulate Witt classes without operating directly on their coefficients. We present algorithms both for computing this representation and manipulating Witt classes.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Symbolic Computation - Volume 43, Issue 2, February 2008, Pages 140-152