-
Notifications
You must be signed in to change notification settings - Fork 10
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#75 In CBirkbeck/LeanBridge;
Number fields: certifying class groups and regulators
level: advancedSubstantial mathematics or API to buildSubstantial mathematics or API to buildlong-termMajor / research-level; expect substantial prerequisitesMajor / research-level; expect substantial prerequisitesnumber-fieldsNumber field invariantsNumber field invariantsStatus: Open.#74 In CBirkbeck/LeanBridge;Abelian varieties over F_q: p-rank, ordinary and supersingular
abelian-varietiesAbelian varieties over finite fieldsAbelian varieties over finite fieldslevel: intermediateSome mathlib/Lean experience helpfulSome mathlib/Lean experience helpfulStatus: Open.#66 In CBirkbeck/LeanBridge;Abelian varieties over F_q: Weil polynomial, L-polynomial, and Honda-Tate
abelian-varietiesAbelian varieties over finite fieldsAbelian varieties over finite fieldslevel: advancedSubstantial mathematics or API to buildSubstantial mathematics or API to buildlong-termMajor / research-level; expect substantial prerequisitesMajor / research-level; expect substantial prerequisitesStatus: Open.#65 In CBirkbeck/LeanBridge;Local fields: ramification polygon and higher-ramification (Herbrand) data
level: advancedSubstantial mathematics or API to buildSubstantial mathematics or API to buildlocal-fieldsp-adic / local field invariantsp-adic / local field invariantslong-termMajor / research-level; expect substantial prerequisitesMajor / research-level; expect substantial prerequisitesStatus: Open.#64 In CBirkbeck/LeanBridge;Local fields: ramification index, residue degree, discriminant exponent
level: intermediateSome mathlib/Lean experience helpfulSome mathlib/Lean experience helpfullocal-fieldsp-adic / local field invariantsp-adic / local field invariantsnumber-fieldsNumber field invariantsNumber field invariantsStatus: Open.#63 In CBirkbeck/LeanBridge;Groups: Gassmann equivalence (and arithmetically equivalent fields)
groupsFinite / abstract group invariantsFinite / abstract group invariantslevel: intermediateSome mathlib/Lean experience helpfulSome mathlib/Lean experience helpfulnumber-fieldsNumber field invariantsNumber field invariantspriority: lowLower priority — newer/beta LMFDB section, secondary to the core MF/EC/NF focusLower priority — newer/beta LMFDB section, secondary to the core MF/EC/NF focusStatus: Open.#62 In CBirkbeck/LeanBridge;Groups: LMFDB finite-group label (small-group identification)
groupsFinite / abstract group invariantsFinite / abstract group invariantslevel: intermediateSome mathlib/Lean experience helpfulSome mathlib/Lean experience helpfulpriority: lowLower priority — newer/beta LMFDB section, secondary to the core MF/EC/NF focusLower priority — newer/beta LMFDB section, secondary to the core MF/EC/NF focusStatus: Open.#61 In CBirkbeck/LeanBridge;Groups: complex and rational character tables of a finite group
groupsFinite / abstract group invariantsFinite / abstract group invariantslevel: advancedSubstantial mathematics or API to buildSubstantial mathematics or API to buildpriority: lowLower priority — newer/beta LMFDB section, secondary to the core MF/EC/NF focusLower priority — newer/beta LMFDB section, secondary to the core MF/EC/NF focusStatus: Open.#60 In CBirkbeck/LeanBridge;Lattices: genus and class number of an integral lattice
latticesIntegral lattice invariantsIntegral lattice invariantslevel: advancedSubstantial mathematics or API to buildSubstantial mathematics or API to buildpriority: lowLower priority — newer/beta LMFDB section, secondary to the core MF/EC/NF focusLower priority — newer/beta LMFDB section, secondary to the core MF/EC/NF focusStatus: Open.#59 In CBirkbeck/LeanBridge;Lattices: kissing number and Hermite invariant
good first issueGood for newcomersGood for newcomerslatticesIntegral lattice invariantsIntegral lattice invariantslevel: beginnerGood entry point; limited prerequisitesGood entry point; limited prerequisitespriority: lowLower priority — newer/beta LMFDB section, secondary to the core MF/EC/NF focusLower priority — newer/beta LMFDB section, secondary to the core MF/EC/NF focusStatus: Open.#58 In CBirkbeck/LeanBridge;Lattices: theta series of an integral lattice
latticesIntegral lattice invariantsIntegral lattice invariantslevel: intermediateSome mathlib/Lean experience helpfulSome mathlib/Lean experience helpfulpriority: lowLower priority — newer/beta LMFDB section, secondary to the core MF/EC/NF focusLower priority — newer/beta LMFDB section, secondary to the core MF/EC/NF focusStatus: Open.#57 In CBirkbeck/LeanBridge;