1. On the complexity of Hilbert refutations for partition. (January 2015) Authors: Margulies, S.; Onn, S.; Pasechnik, D.V. Journal: Journal of symbolic computation Issue: Volume 66(2015) Page Start: 70 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗