Skip to main content

On the complexity of Hilbert refutations for partition

S. Margulies‚ S. Onn and D. V. Pasechnik

Journal
Journal of Symbolic Computation
Note
arXiv.org e−print math 1208.3346
Year
to appear