Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Hilbert's Basis Theorem

Email Gateway (Aug 19 2022 at 14:12):

From: Christian Sternagel <c.sternagel@gmail.com>
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

Last updated: Jul 17 2026 at 02:48 UTC