Skip to content
@bicmr-ai4math

bicmr-ai4math

Pinned Loading

  1. bicmr-ai4math.github.io bicmr-ai4math.github.io Public

    https://bicmr-ai4math.github.io

    TypeScript 6 1

Repositories

Showing 10 of 28 repositories
  • abstract-algebra-template Public
    bicmr-ai4math/abstract-algebra-template’s past year of commit activity
    Lean 0 0 0 0 Updated May 20, 2024
  • G12_Myerson-s-Lemma Public
    bicmr-ai4math/G12_Myerson-s-Lemma’s past year of commit activity
    Lean 0 0 0 0 Updated Apr 17, 2024
  • 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
    Lean 0 0 0 0 Updated Apr 11, 2024
  • Group5_Nine_Point_Circle Public

    寒假讨论班第五组----九点圆

    bicmr-ai4math/Group5_Nine_Point_Circle’s past year of commit activity
    Lean 0 0 0 0 Updated Jan 31, 2024
  • Group_1_JZM_problem Public

    BICMR第一小组五点共圆问题形式化

    bicmr-ai4math/Group_1_JZM_problem’s past year of commit activity
    Lean 1 0 0 0 Updated Jan 28, 2024
  • Group_pq_notSimple-by-lean4 Public

    pq阶群非单（p、q为互异素数）

    bicmr-ai4math/Group_pq_notSimple-by-lean4’s past year of commit activity
    0 0 0 0 Updated Jan 26, 2024
  • Group13-CLT Public
    bicmr-ai4math/Group13-CLT’s past year of commit activity
    Lean 0 0 0 0 Updated Jan 26, 2024
  • 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
    Lean 0 0 0 0 Updated Jan 26, 2024
  • Group4_BFGS_update Public
    bicmr-ai4math/Group4_BFGS_update’s past year of commit activity
    1 0 0 0 Updated Jan 26, 2024
  • Group10-2.13-2.15 Public

    problem 2.13/2.15

    bicmr-ai4math/Group10-2.13-2.15’s past year of commit activity
    Lean 0 0 0 0 Updated Jan 26, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…