Proof of class number formulae by machine
From MaRDI portal
Publication:1297611
DOI10.1007/BF02879028zbMath0949.11056WikidataQ123142483 ScholiaQ123142483MaRDI QIDQ1297611
Publication date: 6 December 2000
Published in: Science in China. Series A (Search for Journal in Brave)
Quadratic extensions (11R11) Algebraic number theory computations (11Y40) Class numbers, class groups, discriminants (11R29) Software, source code, etc. for problems pertaining to number theory (11-04)
Related Items (1)
Cites Work
This page was built for publication: Proof of class number formulae by machine