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

Re: [mizar] Nullstellensatz

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] Nullstellensatz
From: Andrzej Trybulec <trybulec@math.uwb.edu.pl>
Date: Mon, 24 Apr 2006 16:02:17 +0200

As far as I know nobody works on it.

Andrzej

Piotr Rudnicki wrote:

Hello,

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

Cheers,

References:
- [mizar] Nullstellensatz
  - From: Piotr Rudnicki <piotr@cs.ualberta.ca>

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