Programming the Minimal Model Program: a proposal
摘要
The aim of this paper is to propose a strategy to implement the Minimal Model Program in modern computer algebra systems.