@article{EiflerGleixner2023, author = {Leon Eifler and Ambros Gleixner}, title = {Safe and Verified Gomory Mixed Integer Cuts in a Rational MIP Framework}, journal = {SIAM Journal on Optimization}, year = {2023}, note = {under review} }