[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] Nullstellensatz

To: mizar-forum <mizar-forum@mizar.uwb.edu.pl>
Subject: [mizar] Nullstellensatz
From: Piotr Rudnicki <piotr@cs.ualberta.ca>
Date: Fri, 21 Apr 2006 11:25:15 -0600

Hello,

A student here wants to prove Nullstellensatz.  Is anybody working on
something in this direction?  Is anybody working on algebraic
extensions?

Cheers,


-- 
Piotr Rudnicki        CompSci, University of Alberta, Edmonton, Canada
                      http://web.cs.ualberta.ca/~piotr

Follow-Ups:
- Re: [mizar] Nullstellensatz
  - From: Andrzej Trybulec <trybulec@math.uwb.edu.pl>

Prev by Date: [mizar] Opinion to MML situation
Next by Date: Re: [mizar] Nullstellensatz
Index(es):
- Chronological
- Thread