Timeline for Are there more Nullstellensätze?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 25, 2020 at 18:47 | comment | added | LSpice | @EmilJeřábek's reference: Beame, Impagliazzo, Krajíček, Pitassi, and Pudlák - Lower bounds on Hilbert's Nullstellensatz and propositional proofs. | |
| Aug 3, 2012 at 10:05 | vote | accept | Pete L. Clark | ||
| Aug 2, 2012 at 16:40 | comment | added | Emil Jeřábek | This is a common knowledge in algebraic proof complexity. I have no idea who could have observed it first, but see e.g. the introduction to dx.doi.org/10.1112/plms/s3-73.1.1 | |
| Aug 2, 2012 at 11:29 | comment | added | Pete L. Clark | This is a very nice observation! It came a long time after I originally posted the question and, though I apparently upvoted it at the time, I seem to have forgotten about it. Does it appear in the literature anywhere? | |
| Aug 2, 2011 at 18:18 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
simplify
|
| Aug 2, 2011 at 13:09 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
real-closed fields
|
| Aug 2, 2011 at 12:36 | history | answered | Emil Jeřábek | CC BY-SA 3.0 |