كوكوا

CoCoA ( الحسابات في الجبر التبادلي ) [ ^{6 ] هو} نظام جبر حاسوبي مجاني طُوِّر في جامعة جنوة بإيطاليا ، ويُستخدم لإجراء العمليات الحسابية على الأعداد ومتعددات الحدود . مكتبة CoCoA (CoCoALib [ ^{7 ]} ) متاحة بموجب رخصة جنو العمومية العامة . تم نقل CoCoA إلى العديد من أنظمة التشغيل، بما في ذلك ^{ماكنتوش} على معالجات PPC وx86، ولينكس على معالجات x86، ويونكس x86-64 وPPC، وسولاريس على معالجات SPARC ، وويندوز على معالجات x86. يُستخدم CoCoA بشكل أساسي من قِبل الباحثين (انظر المراجع في ^{[ 8 ]} و ^{[ 9 ]} )، ولكنه قد يكون مفيدًا حتى في العمليات الحسابية "البسيطة".

تشمل ميزات CoCoA ما يلي:

• الأعداد الصحيحة الكبيرة جدًا والأعداد النسبية باستخدام مكتبة GNU متعددة الدقة
• كثيرات الحدود متعددة المتغيرات
• قاعدة غروبنر
• واجهات المستخدم: نصية؛ قائمة على Emacs ؛ قائمة على Qt

يُمكنه إجراء عمليات بسيطة ومعقدة على كثيرات الحدود متعددة المتغيرات وعلى بيانات متنوعة مرتبطة بها (المثاليات، والوحدات، والمصفوفات، والدوال الكسرية). على سبيل المثال، يُمكنه بسهولة حساب أساس غروبنر ، والاقترانات ، والحلول الحرة الدنيا ، والتقاطع، والقسمة، وجذر المثالي، ومثالي المخططات الصفرية الأبعاد، ومتسلسلات بوانكاريه ، ودوال هيلبرت ، وتحليل كثيرات الحدود، والمثاليات الطورية . وتتعزز قدرات CoCoA ومرونة استخدامها بفضل لغة البرمجة عالية المستوى المُخصصة لها.

تم تصميم جوهرها الرياضي، CoCoALib، كمكتبة مفتوحة المصدر بلغة C++، مع التركيز على سهولة الاستخدام والمرونة. وهي متاحة على GitHub: على الرابط التالي: https://github.com/cocoa-official/CoCoALib

تعتمد مكتبة CoCoALib على مكتبة GNU Multi-Precision .

يتم استخدام CoCoALib بواسطة ApCoCoA ^{[ 10 ]} و NmzIntegrate ^{[ 11 ]}

• قائمة أنظمة الجبر الحاسوبي
• مكتبة القوالب القياسية

• الموقع الرسمي
• ApCoCoA، وهو امتداد لـ CoCoA