ISSAC 2008 (July 20-23, 2008)
<
top
>
Copyright:
Christoph Koutschan
Click image to enlarge
ISSAC 2008. Jesus De Loera, Jon Lee, Peter Malkin and Susan Margulies. Hilbert's Nullstellensatz and an Algorithm for Proving Combinatorial Infeasibility (23.07.2008 15:25:56)