arxo.math_claims

Импортирует

Пакет замкнут: ни одного импорта.

Связь закрепляется по contentHash, а не по имени версии: мир программы замкнут lock-ом. Метка «разошёлся с байтами» означает, что записанный в пакете хэш зависимости не совпал с её нынешними байтами — стрелка есть, но она протухла.

Импортируют этот пакет

• arxo.bsd
• arxo.computational_complexity
• arxo.elliptic_curves
• arxo.gauge_theory
• arxo.hodge
• arxo.hodge_structures
• arxo.incompressible_flows
• arxo.millennium
• arxo.navier_stokes
• arxo.p_vs_np
• arxo.poincare
• arxo.riemann_hypothesis
• arxo.three_manifolds
• arxo.yang_mills
• arxo.zeta
• atiyah_hirzebruch.integral_counterexample_1962
• baker_gill_solovay.relativization_1975
• ckn.partial_regularity_1982
• cmi.bsd
• cmi.hodge
• cmi.millennium_rules
• cmi.navier_stokes
• cmi.p_vs_np
• cmi.poincare
• cmi.riemann_hypothesis
• cmi.yang_mills
• cook_levin.sat_np_complete_1971
• gross_zagier.heegner_points_1986
• hamilton.ricci_flow_program
• karp.combinatorial_reductions_1972
• kolyvagin.euler_systems_1988
• ladyzhenskaya.two_dimensional_1969
• lagarias.elementary_criterion
• lefschetz.degree_two_1924
• leray.weak_solutions_1934
• li.positivity_criterion
• modularity.bcdt_taylor_wiles_2001
• osterwalder_schrader.reconstruction_1973
• perelman.entropy_2002
• perelman.finite_extinction_2003
• perelman.surgery_2003
• platt_trudgian.rh_verification_2020
• razborov_rudich.natural_proofs_1994
• riemann.primes_1859
• schoenfeld.chebyshev_bounds
• serrin.regularity_criterion_1962
• tunnell.congruent_numbers_1983
• wightman.axioms_1956
• wilson.lattice_1974