...
机译:同质代数中的机械化推理
Departamento de Matemdticas y Computacion Universidad de La Rioja, Edificio Luis Vives c/Luis de Ulloa, Loerono E26004, Spain;
formalized mathematics; homological algebra; isabelle/hol; certified software;
机译:使用机械推理工具进行代数运算的案例研究
机译:函数的同调论:通过代数拓扑绑定非均匀布尔复杂度分离和VC维,以及同构Farkas引理
机译:Rees代数的一系列商品的一些代数和同源性质
机译:数学流行病学的概括:使用计算机代数和直观的机械化推理
机译:同源代数中的机械化推理
机译:同源代数的新结构。
机译:半模和半半模的同调代数:半无限 关联代数结构的同调代数