*To*: <cl-isabelle-users at lists.cam.ac.uk>*Subject*: [isabelle] Polynomials over GF(2)*From*: "Janney, Mark-P26816" <Mark.Janney at gdc4s.com>*Date*: Mon, 5 Jan 2009 17:07:46 -0700*Thread-index*: Aclvks39KHKavtCnRsC83IgGewhyvQ==*Thread-topic*: Polynomials over GF(2)

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

**Follow-Ups**:**Re: [isabelle] Polynomials over GF(2)***From:*Brian Huffman

- Previous by Date: Re: [isabelle] Why no HOL set type in 2008?
- Next by Date: Re: [isabelle] Polynomials over GF(2)
- Previous by Thread: Re: [isabelle] Why no HOL set type in 2008?
- Next by Thread: Re: [isabelle] Polynomials over GF(2)
- 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