Solving thousand-digit Frobenius problems using Grobner bases, by Roune, Bjarke Hammersholt