...
机译:量子组,非交换代数和逻辑的符号包
Los Alamos National Laboratory E-ET;
机译:量子组,非交换代数和逻辑的符号包
机译:VIII会议和III学校拓扑,代数和逻辑类别(TACL),2017年由象征性逻辑布拉格和Olomouc,捷克共和国2017年6月20日至30日协会共同赞助
机译:NCSOStools:用于非交换多项式的符号和数值计算的计算机代数系统
机译:ASAP-用于加速器设计的符号代数包
机译:量子射影空间的非交换代数几何。
机译:具有换向条件的换向器的非可交换约旦代数
机译:NCsOstools:用于非交换多项式的符号和数值计算的计算机代数系统
机译:尽快:用于加速器设计的符号代数包。