PulseAugur
EN
LIVE 10:49:27
ENTITY Chinburg's Third Invariant for Abelian Extensions of Imaginary Quadratic Fields

Chinburg's Third Invariant for Abelian Extensions of Imaginary Quadratic Fields

PulseAugur coverage of Chinburg's Third Invariant for Abelian Extensions of Imaginary Quadratic Fields — every cluster mentioning Chinburg's Third Invariant for Abelian Extensions of Imaginary Quadratic Fields across labs, papers, and developer communities, ranked by signal.

Show in brief
Total · 30d
1
1 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
1 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL
  1. TOOL · CL_247741 ·

    Formalizing self-dual code constructions in Lean 4

    This paper introduces a formalization in Lean 4 of constructions for self-dual codes, focusing on isotropic lines. It establishes an equivalence between Chinburg and Zhang's reduction in the binary Hilbert-symbol realiz…