bicmr-ai4math
Pinned
Repositories
Showing 10 of 27 repositories
- G12_Myerson-s-Lemma Public
- group3-algebraic_integers_of_Q_adjoin_sqrt_-3_is_PID Public
BICMR-ai4math 寒假研讨班第3组:algebraic_integers_of_Q_adjoin_sqrt_-3_is_PID
-
-
-
- Group13-CLT Public
- Group6-Formalization-on-Lie-algebra-rep Public
A formalization project for finite dimensional Lie algebra representation
- Group4_BFGS_update Public
-