Refuting Noncommutative Ideal Membership via Matrix Certificates.

Clemens Hofstadler, Peter Krug, Georg Regensburger

Browse the full ISSAC paper archive.