On bag of 1. I

DOI10.2478/forma-2023-0001OpenAlexW4387107340MaRDI QIDQ6071618

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-0001

zbMATH Keywords

polynomial ringformal power seriesbag

Mathematics Subject Classification ID

Polynomials over commutative rings (13B25) Formal power series rings (13F25) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Commutative algebra in the Mizar system
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Prime representing polynomial
• Mizar: State-of-the-art and Beyond

This page was built for publication: On bag of 1. I