Grobner basis; Signature-based algorithms Computational algebra; Functional programming; Haskell Type system; Formal methods; Property-based testing Implementation report;
机译:在Haskell中实现计算机代数系统
机译:纯无限AH代数及其在AF嵌入性中的应用
机译:Haskell中的嵌入效果系统
机译:嵌入哈尔克尔纯粹的功能计算机代数系统
机译:数学与计算机科学之间的双向相互作用:计算机代数和Haskell中的安全性和可扩展性
机译:ADAM:使用计算机代数分析生物系统的离散模型
机译:结合二十一世纪数学教育的功能方程和计算机代数系统(计算机代数系统和教育:CAS在数学教育中的有效使用的研究)