คาดาบรา
นักพัฒนา	แคสเปอร์ ปีเตอร์ส
เวอร์ชันเสถียร	2.5.14 / 31 กรกฎาคม 2025 [ 1 ] ( 31 กรกฎาคม 2025 )
เขียนเป็น	C++ , Python
ระบบปฏิบัติการ	ลินุกซ์ , มอสซาเรลล่า , ไมโครซอฟต์ วินโดวส์
พิมพ์	ระบบพีชคณิตคอมพิวเตอร์
ใบอนุญาต	จีพีแอล
เว็บไซต์	cadabra .science
ที่เก็บข้อมูล	github.com/kpeeters/cadabra2​​​

Cadabraคือระบบพีชคณิตคอมพิวเตอร์ที่ออกแบบมาโดยเฉพาะสำหรับการแก้ปัญหาที่พบในทฤษฎีสนามคลาสสิกทฤษฎีสนามควอนตัมและทฤษฎีสตริง

Cadabra เวอร์ชันแรกได้รับการพัฒนาขึ้นราวปี 2001 เพื่อคำนวณการแก้ไขทฤษฎีสตริงอนุพันธ์สูงสำหรับซูเปอร์กราวิตี้^{[ 2 ] [ 3 ]}

Cadabra เป็นซอฟต์แวร์ฟรีที่ เผยแพร่ภายใต้สัญญาอนุญาต GNU General Public License

Cadabra มีฟังก์ชันการทำงานที่ครอบคลุมสำหรับ การลดรูปพหุนาม เทนเซอร์ รวมถึง สมมาตรหลายเทอมเฟอร์มิออนและ ตัวแปร ที่ไม่สลับ ที่กัน พีชคณิตคลิฟฟ อร์ด และการแปลงเฟียร์ซการพึ่งพาพิกัดโดยปริยาย ประเภทดัชนีหลายประเภท และอื่นๆ อีกมากมาย รูปแบบอินพุตเป็นส่วนย่อยของTeX มี ทั้งอิน เทอร์ เฟซบรรทัดคำสั่งและอินเทอร์เฟซกราฟิกให้ใช้งาน

โปรแกรมJavaที่ได้รับแรงบันดาลใจจาก Cadabra ที่ชื่อ Redberry ได้รับการพัฒนาขึ้นระหว่างปี 2013 ถึง 2016 โดยสามารถทำความเร็วได้มากขึ้นสำหรับการหดตัวของดัชนีส่วนใหญ่ด้วยวิธีการที่อิงตามปัญหาความเหมือนกันของกราฟแทนที่จะใช้การทำให้เป็นแบบมาตรฐาน^{[ 4 ]}

• รายชื่อระบบพีชคณิตคอมพิวเตอร์

• Sevastianov, LA; Kulyabov, DS; Kokotchikova, MG (2009). "การประยุกต์ใช้ระบบพีชคณิตคอมพิวเตอร์ Cadabra กับปัญหาทางวิทยาศาสตร์ของฟิสิกส์" ฟิสิกส์ของอนุภาคและนิวเคลียส Letters 6 ( 7): 530– 534. Bibcode : 2009PPNL....6..530S . doi : 10.1134/S1547477109070073 . S2CID  119707618 .
• Abramov, SA; VF Edneral, AA Bogolyubskaya; Rostovtsev, VA (2011). "การสัมมนาวิจัยเกี่ยวกับพีชคณิตคอมพิวเตอร์ในปี 2009–2010" การเขียนโปรแกรมและซอฟต์แวร์คอมพิวเตอร์ 37 ( 2): 57– 61. doi : 10.1134/S0361768811020010 . S2CID  1624674 .
• Brewin, Leo (2010). "บทนำโดยสังเขปเกี่ยวกับ Cadabra: เครื่องมือสำหรับการคำนวณเทนเซอร์ในทฤษฎีสัมพัทธภาพทั่วไป" Comput. Phys. Commun . 181 (3): 489– 498. arXiv : 0903.2085 . Bibcode : 2010CoPhC.181..489B . doi : 10.1016/j.cpc.2009.10.020 . S2CID  31179101 .
• Kasper Peeters (2007), "แนะนำ Cadabra: ระบบพีชคณิตคอมพิวเตอร์เชิงสัญลักษณ์สำหรับปัญหาทฤษฎีฟิลด์", hep-th/0701238
• Kasper Peeters (2006), "แนวทางที่ได้รับแรงบันดาลใจจากทฤษฎีสนามสำหรับพีชคณิตคอมพิวเตอร์เชิงสัญลักษณ์" , Comput. Phys. Commun. 176 (2007) 550, [cs/0608005 [cs.SC]]

• เว็บไซต์อย่างเป็นทางการ