bicmr-ai4math
Pinned Loading
Repositories
Showing 10 of 28 repositories
- abstract-algebra-template Public
bicmr-ai4math/abstract-algebra-template’s past year of commit activity - G12_Myerson-s-Lemma Public
bicmr-ai4math/G12_Myerson-s-Lemma’s past year of commit activity - group3-algebraic_integers_of_Q_adjoin_sqrt_-3_is_PID Public
BICMR-ai4math 寒假研讨班第3组:algebraic_integers_of_Q_adjoin_sqrt_-3_is_PID
bicmr-ai4math/group3-algebraic_integers_of_Q_adjoin_sqrt_-3_is_PID’s past year of commit activity - Group13-CLT Public
bicmr-ai4math/Group13-CLT’s past year of commit activity - Group6-Formalization-on-Lie-algebra-rep Public
A formalization project for finite dimensional Lie algebra representation
bicmr-ai4math/Group6-Formalization-on-Lie-algebra-rep’s past year of commit activity - Group4_BFGS_update Public
bicmr-ai4math/Group4_BFGS_update’s past year of commit activity
