Formalizing Norm Extensions and Applications to Number Theory
From MaRDI portal
Publication:6442034
arXiv2306.17234MaRDI QIDQ6442034
María Inés de Frutos-Fernández
Publication date: 29 June 2023
Non-Archimedean valued fields (12J25) Non-Archimedean analysis (26E30) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
This page was built for publication: Formalizing Norm Extensions and Applications to Number Theory
