[isabelle] Hilbert's Basis Theorem



Dear all,

is anybody aware of a formalization of Hilbert's basis theorem (in Isabelle/HOL or other proof assistants)? A cursory web-search did not yield any result.

cheers

chris




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.