Quay trở lại chi tiết bài báo A computer algebra approach for verifying isomorphism of Lie algebras Tải xuống Tải xuống PDF