Programming the Minimal Model Program: a proposal

2023/10/02 by Vladimir Lazić, Lazić, Vladimir
Computer Science · Engineering · Mathematics · #14E30 #14Q15 #14Q20 #Algebra over a field #Algebraic Geometry (math.AG) #Computer science #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Mathematics #Model-Driven Software Engineering Techniques #Programming language #Pure mathematics #Scheduling and Optimization Algorithms #Software engineering

paper · pdf · doi:10.48550/arxiv.2310.01097

published in arXiv (Cornell University) (Cornell University)

openalex publication_date 2023/10/02 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01

Abstract

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

Related

• Algebraic Model Management: A Survey
• A Mathematical Modeling In Computer Algebra Systems (CAS) As A Base For A Development of The Mathematics Education
• Software Portability for Computer Algebra
• Programs in C++ for matrix computations in min plus algebra
• A set of level 3 basic linear algebra subprograms