Introduction to algebraic geometry

DOI10.2478/forma-2023-0007OpenAlexW4387330249MaRDI QIDQ6071624

Yasushige Watase

Publication date: 28 November 2023

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2023-0007

zbMATH Keywords

multivariate polynomialaffine algebraic set

Mathematics Subject Classification ID

Plane and space curves (14H50) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to algebraic geometry (14-01) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Unnamed Item
• Unnamed Item
• Four decades of {\textsc{Mizar}}. Foreword
• Commutative algebra in the Mizar system
• Algebraic function fields and codes
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Renamings and a condition-free formalization of Kronecker's construction
• Prime representing polynomial
• Basic Diophantine relations

This page was built for publication: Introduction to algebraic geometry