Gói Tính Toán Biểu Tượng cho Nhóm Lượng Tử, Đại Số Phi Tổ Tính và Logic Đa Giá

Springer Science and Business Media LLC - Tập 40 - Trang 105-114 - 2001
Hanna Makaruk1
1Los Alamos National Laboratory, E-ET, New Mexico

Tóm tắt

Bài báo này mô tả các gói cho tính toán biểu tượng trong các nhóm lượng tử, hình học vi phân phi tổ tính, và logic đa giá. Gói cho nhóm lượng tử và chương trình cho logic được viết bằng Mathematica 3.0 và/hoặc 4.0. Là một ví dụ, một số kết quả trong logic thu được bằng cách sử dụng các gói này được trình bày.

Từ khóa

#nhóm lượng tử #đại số phi tổ tính #logic đa giá #Mathematica #tính toán biểu tượng

Tài liệu tham khảo

Chávez, Rodríguez María Ernestina, Ewa Graczyńska, Angel López Gómez, and Zbigniew Oziewicz (1999). Braided logic and clone of plants, presented at the AMS-SMM Meeting, Denton, May 1999.

Chávez, Rodríguez María Ernestina, and Angel López Gómez (2001). Braided logic: The simplest models, International Journal of Theoretical Physics, 40, 95–103.

Đurđevich, Micho (1995). Classical spinor structures on quantum spaces, in: Rafał Abłamowicz, Editor, Clifford Algebras and Spinor Structures, Kluwer, Dordrecht, pp. 365–377; http://www.matem.unam.mx/micho.

Đurđevich, Micho (1996). Geometry of quantum principal bundles I, Communications in Mathematical Physics, 175, 457–520.

Đurđevich, Micho (1997). Geometry of quantum principal bundles II, Reviews of Mathematical Physics, 9, 531–607.

Đurđevich, Micho (1999). General frame structures on quantum principal bundles, Reports on Mathematical Physics, 44, 53–70.

Đurđevich, Micho (2001a). Quantum spinor structures for quantum spaces, International Journal of Theoretical Physics, 40, 115–138.

Đurđevich, Micho (2001b). Braided Clifford algebras as quantum deformations, International Journal of Theoretical Physics, 40, 15–24.

Đurđevich, Micho, and Zbigniew Oziewicz (1996). Clifford algebras and spinors for arbitrary braids, in: Julian Lawrynowicz, Editor, Generalizations of Complex Analysis, Banach Center Publications, Warsaw, pp. 315–325.

Graczyńska, Ewa, and Zbigniew Oziewicz (1999). Birkhoff's theorems via tree operad, Bulletin of the Section of Logic of the Polish Academy of Science (University Łódź), 28, 159–170; http://www1.uni.lodz.pl/bulletin/v283.html.

Oziewicz, Zbigniew (1997). Clifford Hopf-gebra and bi-universal Hopf-gebra, Czechoslovak Journal of Physics, 47, 1267–1274.

Woronowicz, Stanisław (1987). Compact matrix pseudogroups, Communications in Mathematical Physics, 111, 613–665.

Woronowicz, Stanisław (1989). Differential calculus on compact matrix pseudogroups (quantum groups), Communication in Mathematical Physics, 122, 125–170.