学习纠错码和相关的计算代数系统

在参与IEEE 802.3bj前向纠错编码模块开发中,作者发现需要深入学习纠错码和计算代数系统。文章介绍了Singular和GAP这两个计算代数系统,特别指出GAP在学习纠错码时提供的资源和支持更为丰富,包括代数背景和实际应用示例。

过去的一年致力于IEEE 802.3bj的前向纠错编码模块(FEC),发现可以把我的对偶综合工作扩展到FEC上,包括FEC的形式化验证和对偶综合。

这就导致了我需要学习纠错码,而相关的多项式环和有限域操作需要在计算代数系统上进行操作,这就导致了我需要学习计算代数系统。

常见的计算代数系统由Singular(www.singular.uni-kl.de)和GAP(www.gap-system.org)。

Singular被几个相关的工作使用,比如发表于FMCAD12的Formal Verification of Error Correcting Circuits Using Computational Algebraic Geometry。

不过Singul

评论 3
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值