Published package / CLIR
arxo.math_claims
v0.1.0Словарь математических утверждений: claim, источник, доказательство, свидетельство, область применимости, статус и условное следствие
Imports
The package is closed: not a single import.
An edge is pinned by contentHash, not by a version name: the world of a program is closed by the lock. The mark “diverged from the bytes” means the dependency hash recorded in the package did not match its current bytes — the arrow is there, but it has gone stale.
Packages importing this one
- 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