Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 7699422 - MaRDI portal

scientific article; zbMATH DE number 7699422

From MaRDI portal

Publication:6157246

Jump to:navigation, search

DOI10.4230/lipics.itp.2021.5zbMath1523.68167MaRDI QIDQ6157246

Ashvni Narayanan, Anne Baanen, Filippo Nuccio, Sander R. Dahmen

Publication date: 20 June 2023

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

commutative algebra formal mathematics algebraic number theory Lean mathlib

Mathematics Subject Classification ID

Class numbers, class groups, discriminants (11R29) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05) Class groups (13C20) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (2)

What is the point of computers? A question for pure mathematicians ⋮ A formalization of Dedekind domains and class groups of global fields

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6157246&oldid=35634929"