李代数代数计算软件包Killing

数据集概述

本数据集为李代数代数计算软件包Killing，包含用于处理经典、例外及变形李代数表示理论元素的代数计算程序，分为根系与权形式体系、盖尔范德-特斯林方法两部分，支持李代数及其不可约表示的分类与显式构造。

文件详解

• 文件名称：adlx_v1_0.tar.gz
• 文件格式：压缩文件（.gz）
• 内容说明：该压缩包包含Killing软件包的全部程序文件，具体文件结构与内容需解压后查看，无公开预览信息

数据来源

CPC Program Library（Queen's University Belfast，1969-2019）、Mendeley Data

适用场景

• 数学研究：李代数表示理论的代数计算与验证
• 理论物理研究：对称性分析中李代数相关问题的数值计算
• 代数计算工具开发：参考李代数计算程序的实现框架
• 学术复现：基于CPC repository收录程序复现相关研究结果