# Hilbert's Nullstellensatz

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2011

2011

- J. Symb. Comput.
- 2011

Systems of polynomial equations with coefficients over a field K can be used to concisely model combinatorial problems. In this… (More)

Is this relevant?

2009

2009

- Combinatorics, Probability & Computing
- 2009

In the first part of the paper, we show that the minimum degree of a Nullstellensatz certificate for the non-existence of a… (More)

Is this relevant?

2008

2008

- ISSAC
- 2008

Systems of polynomial equations over an algebraically-closed field K can be used to concisely model many combinatorial problems… (More)

Is this relevant?

2006

2006

- 2006

We prove the extended Hilbert’s Nullstellensatz in the context of Hu-Liu polynomial trirings. Which kinds of noncommutative rings… (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- 1999

We present a general algebraic technique and discuss some of its numerous applications in Combinatorial Number Theory, in Graph… (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- 1999

We present sharp estimates for the degree and the height of the polynomials in the Nullstellensatz over the integer ring Z. The… (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- J. Complexity
- 1996

We show that if the Generalized Riemann Hypothesis is true, the problem of deciding whether a system of polynomial equations in… (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- 1996

We present a new effective Nullstellensatz with bounds for the degrees which depend not only on the number of variables and on… (More)

Is this relevant?

Highly Cited

1994

Highly Cited

1994

- FOCS
- 1994

The so called weak form of the Hilbert's Nullstellensatz says that a system of algebraic equations over a eld, Q i ( x) = 0, does… (More)

Is this relevant?

1986

1986

- SYMSAC
- 1986

The theory of elementary algebra and elementary geometry was shown to be decidable by Tarski using a quantifier elimination… (More)

Is this relevant?