*To*: "Janney, Mark-P26816" <Mark.Janney at gdc4s.com>*Subject*: Re: [isabelle] Polynomials over GF(2)*From*: Brian Huffman <brianh at cs.pdx.edu>*Date*: Tue, 06 Jan 2009 08:00:22 -0800*Cc*: cl-isabelle-users at lists.cam.ac.uk*In-reply-to*: <9D31108D62FAE54AA21AEF899D69931E03D2623E@AZ25EXM04.gddsi.com>*References*: <9D31108D62FAE54AA21AEF899D69931E03D2623E@AZ25EXM04.gddsi.com>*User-agent*: Internet Messaging Program (IMP) H3 (4.1.6)

Hi Mark,

Hope this helps, - Brian Quoting "Janney, Mark-P26816" <Mark.Janney at gdc4s.com>:

Greetings - I am working on a formal development of an efficient software algorithm to calculate a proprietary cyclic redundancy check (CRC). This CRC itself is defined in the usual fashion in terms of polynomials over GF(2). Rather than re-invent the wheel, I'd like to re-use existing Isabelle theories as much as possible. I'm interested in theories in any of the following areas: -- polynomials over a field -- GF(2) -- CRC specifications and algorithms If anyone can point me towards such material, I would be grateful. Thanks - Mark Janney

**References**:**[isabelle] Polynomials over GF(2)***From:*Janney, Mark-P26816

- Previous by Date: [isabelle] Polynomials over GF(2)
- Next by Date: [isabelle] ACL2 2009: Final Call for Papers
- Previous by Thread: [isabelle] Polynomials over GF(2)
- Next by Thread: [isabelle] ACL2 2009: Final Call for Papers
- Cl-isabelle-users January 2009 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list