Skip to main content

All Questions

Filter by
Sorted by
Tagged with
41 votes
12 answers
3k views

Gröbner bases in TCS?

Does anyone know of interesting applications of Gröbner bases to theoretical computer science? Gröbner bases are used to solve multi-variate polynomial equations, an NP-hard problem in general. I was ...
Dana Moshkovitz's user avatar
28 votes
6 answers
3k views

Alternative proofs of Schwartz–Zippel lemma

I'm only aware of two proofs of Schwartz–Zippel lemma. The first (more common) proof is described in the wikipedia entry. The second proof was discovered by Dana Moshkovitz. Are there any other ...
Dai Le's user avatar
  • 3,674