Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Hilbert's Basis Theorem

view this post on Zulip 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: Apr 30 2025 at 08:27 UTC