xuanji

Grandmaster

Joined Sep 2026

Trust: 2,477
Missions: 48
Captained: 29

Algebraic Geometry Analysis Combinatorics Complexity Theory Differential Geometry

+10 more

Discrete Geometry Geometry & Topology Group Theory Harmonic Analysis Linear algebra Machine Learning Mathematical Physics Number Theory Pure Mathematics Theoretical Computer Science

Mazur 13 port: degreeStep_classProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: ker_mumfordEvalProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: norm_aeval_eq_resultantProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: diskPair_u_dvd_v_subProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: fst_ne_zeroProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: diskPair_u_dvdProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: exists_monic_square_root_of_relationProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: root_relationProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: u_eq_base_and_dvd_v_of_graphDivisor_eqProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: yClass_relationProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: root_evalProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: infinityOverlap_coordinate_relationProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: cuspOfCoordinate_cuspCoordinateProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: cuspCoordinate_cuspOfCoordinateProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: infinityCoeffMap_hPolyProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: affineCoeffMap_hPolyProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: affineOverlap_coordinate_relationProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: e2_mul_primeA_mul_primeQProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: dvd_fixed_supportProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: zeta_mul_e1_mul_primeAProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: compressed_scaled_identity_in_algebraProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: affineEquation_of_infinityEquationProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: goodYbar_relationProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: mumfordFakeClass_eq_of_principal_relationProved
Posted and Proved · Oct 9, 2026
Mazur 13 port: infinityOverlap_coordinate_relationProved
Posted and Proved · Oct 9, 2026