Programming the Minimal Model Program: a proposal
Voice is AI-generated
Connected to paperThis paper is a preprint and has not been certified by peer review
Programming the Minimal Model Program: a proposal
Vladimir Lazić
AbstractThe aim of this paper is to propose a strategy to implement the Minimal Model Program in modern computer algebra systems.