كانط (برنامج)

كانْت هو نظام حاسوبي للجبر مخصص لعلماء الرياضيات المهتمين بنظرية الأعداد الجبرية ، حيث يُجري حسابات معقدة في حقول الأعداد الجبرية ، وحقول الدوال العامة ، والحقول المحلية . أما كاش فهو واجهة سطر الأوامر المرتبطة به. وقد طُوِّر هذان النظامان من قِبَل مجموعة أبحاث الجبر ونظرية الأعداد التابعة لمعهد الرياضيات في جامعة برلين التقنية، تحت إشراف مايكل بوست. كانْت متاح مجانًا للاستخدام غير التجاري. ^{[ 2 ]}

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

• بيثو، أتيلا؛ بوست، مايكل إي.؛ زيمر، هورست جي.؛ ويليامز، هيو سي. (1991). نظرية الأعداد الحاسوبية: وقائع ندوة نظرية الأعداد الحاسوبية التي عُقدت في جامعة كوشوت لايوش، ديبريسين (المجر)، 4-9 سبتمبر 1989. والتر دي جرويتر. ISBN 978-3-11-012394-4.
• م. دابيركو؛ س. فيكر؛ ج. كلونرز؛ م. بوست؛ ك. روغنر؛ م. شورنيغ؛ ك. ويلدانغر (1997). "KANT V4" . مجلة الحوسبة الرمزية . 24 ( 3-4 ): 267-283 . doi : 10.1006/jsco.1996.0126 .

• الموقع الرسمي
• مقدمة إلى KASH3 ، مجموعة كانت