Cadabra(컴퓨터 프로그램)
Cadabra (computer program) | |
| 개발자 | 카스퍼 피터스 |
|---|---|
| 안정적 해제 | 2.3.8 / 2021년 11월 21일; 전[1] |
| 기록 위치 | C++, 파이톤 |
| 운영 체제 | Linux, MacOS, Microsoft Windows |
| 유형 | 컴퓨터 대수 체계 |
| 면허증 | GPL |
| 웹사이트 | 카다브라 과학 |
카다브라는 고전장 이론, 양자장 이론, 끈 이론에서 마주치는 문제의 해결을 위해 특별히 고안된 컴퓨터 대수 체계다.
카다브라의 첫 번째 버전은 초중력에 대한 고분열 끈 이론 교정을 계산하기 위해 2001년경에 개발되었다.[2][3]
GNU General Public License에 따라 출시된 Cadabra는 무료 소프트웨어다.
Cadabra는 다항 대칭, 페르미온 및 반고정 변수, Clifford Algebras 및 Fierz 변환, 암묵적 좌표 의존성, 다중 지수 유형 등을 포함한 텐서 다항식 단순화를 위한 광범위한 기능을 가지고 있다.입력 형식은 TeX의 하위 집합이다.명령줄과 그래픽 인터페이스를 모두 사용할 수 있다.
레드베리라고 불리는 카다브라에서 영감을 받은 자바 프로그램이 2013년에서 2016년 사이에 개발되었다.표준화가 아닌 그래프 이형성 문제에 기초한 접근법으로 대부분의 지수 수축에서 더 빠른 속도를 달성했다.[4]
참고 항목
참조
- ^ "GitHub Releases". github.com/kpeeters. Retrieved 18 February 2022.
- ^ Peeters, Kasper; Vanhove, Pierre; Westerberg, Anders (2001). "Supersymmetric higher-derivative actions in 10 and 11 dimensions, the associated superalgebras and their formulation in superspace". Classical and Quantum Gravity. 18 (5): 843–890. arXiv:hep-th/0010167. Bibcode:2001CQGra..18..843P. doi:10.1088/0264-9381/18/5/307. ISSN 0264-9381. S2CID 6933319.
- ^ Peeters, Kasper; Westerberg, Anders (2004-03-01). "The Ramond–Ramond sector of string theory beyond leading order". Classical and Quantum Gravity. 21 (6): 1643–1665. arXiv:hep-th/0307298. Bibcode:2004CQGra..21.1643P. doi:10.1088/0264-9381/21/6/022. ISSN 0264-9381. S2CID 14418092.
- ^ Bolotin, Dmitry; Poslavsky, Stanislav (2015). "Introduction to Redberry: A computer algebra system designed for tensor manipulation". arXiv:1302.1219. Bibcode:2013arXiv1302.1219B.
{{cite journal}}:Cite 저널은 필요로 한다.journal=(도움말)
추가 읽기
- Sevastianov, L. A.; Kulyabov, D. S.; Kokotchikova, M. G. (2009). "An application of computer algebra system Cadabra to scientific problems of physics". Physics of Particles and Nuclei Letters. 6 (7): 530–534. Bibcode:2009PPNL....6..530S. doi:10.1134/S1547477109070073. S2CID 119707618.
- Abramov, S. A.; V. F. Edneral, A. A. Bogolyubskaya; Rostovtsev, V. A. (2011). "The research seminar on computer algebra in 2009–2010". Programming and Computer Software. 37 (2): 57–61. doi:10.1134/S0361768811020010. S2CID 1624674.
- Brewin, Leo (2010). "A brief introduction to Cadabra: A tool for tensor computations in General Relativity". 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 도입:필드이론 문제에 대한 상징적 컴퓨터 대수 체계", 간/0701238
- Kasper Peeters(2006), "A 필드 이론 동기식 컴퓨터 대수학 접근", Compute.체육관. 코뮌.176 (2007) 550, [cs/0608005 [cs]SC]]]
