亚历山大·勃兰特;罗伯特·H·C·莫尔。;马克·莫雷诺（Marc Moreno Maza） 在计算机代数库的设计中使用C++模板。 （英语） Zbl 1503.68306号 Bigatti、Anna Maria（编辑）等人，《数学软件——ICMS 2020》。第七届国际会议，德国布伦瑞克，2020年7月13日至16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12097, 342-352 (2020).MSC公司：68瓦30 68-04 68单位35 68伏35 PDF格式BibTeX公司 XML格式引用 \textit{A.Brandt}等人，Lect。注释计算。科学。12097、342--352（2020年；Zbl 1503.68306） 全文： 内政部
乔纳森·赫拉斯;马丁·马特奥斯，弗朗西斯科·杰苏斯;维科·帕斯夸尔 在ACL2中建模代数结构和形态。 （英语） Zbl 1325.68214号 申请。代数工程通讯。计算。 26，第3期，277-303（2015）.MSC公司：68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Heras}等人，应用。代数工程通讯。计算。26，第3号，277--303（2015；Zbl 1325.68214） 全文： 内政部 链接
溅出物，Bas;埃利斯·范德维根 类型理论中的数学类型课。 （英语） Zbl 1223.68105号 数学。结构。计算。科学。 第4期第21页，第795-825页（2011年）.MSC公司：68吨15 03立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{B.Spitters}和\textit{E.van der Weegen}，数学。结构。计算。科学。21，第4号，795--825（2011；Zbl 1223.68105） 全文： 内政部