Dpto. de Matematicas y Computacion. Univ. de La Rioja. 26004 Logrono, Spain;
机译:集成自动推理和计算机代数系统
机译:李代数的通用包络代数上的微分霍夫代数结构
机译:比较通讯过程中自动监控的口水和本体推理方法
机译:用差分代数结构自动推理的四种方法
机译:来自代数和组合结构的低差分均匀功能
机译:半简单李代数上的Rota–Baxter算子和后李代数结构
机译:用差分代数结构进行自动推理的四种方法
机译:Liealgebra作者:刘莹,数学杂志JOURNaL OF maTHEmaTICs李代数的通用包络代数上的差分Hopf代数结构