Entries 21 to 40

• 21. SymbolLengthMilnorKTheory.symbol_length_problem.variants.zero_mem_of_lt (research solved), in The symbol length of \(K^M_n(\mathbb{C}(x_1, \dots, x_m))/p\)
• 22. Erdos723.erdos_723.variants.leq_11 (research solved), in Erdős Problem 723: The prime power conjecture.
• 23. KaplanskyUInvariant.u_invariant_values.variants.two_pow_add_one (research solved), in Kaplansky's problem on the values of the \(u\)-invariant
• 24. Kourovka.«1.74».kourovka_1_74.variants.tarski_monster (research solved), in Conjecture 1.74 (Minimal topological groups)
• 25. LocalUniformization.local_uniformization_of_trdeg_le_three (research solved), in Local uniformization
• 26. TarskiExponentialFunctionProblem.isDecidable_completeTheory_realExp_of_realSchanuelConjecture (research solved), in Tarski's exponential function problem
• 27. Arxiv.«2208.14736».zariski_cancellation_problem.variants.dim_two (research solved), in Zariski Cancellation
• 28. Erdos1057.erdos_1057.variants.agp_lower_bound (research solved), in Erdős Problem 1057
• 29. Kakeya.kakeya_3d (research solved), in Kakeya problem
• 30. Erdos114.erdos_114.variants.large_n (research solved), in Erdős Problem 114
• 31. CongruentNumber.Tunnell_even (research solved), in Congruent Number
• 32. PerfectNumbers.odd_perfect_number.lower_bound (research solved), in Perfect numbers
• 33. ArtinPrimitiveRootsConjecture.conditional_artin_primitive_roots.variants.part_ii_power_squarefreePart_not_modeq_one (research solved), in Artin's conjecture on primitive roots
• 34. Erdos5.erdos_5.variants.merikoski_measure (research solved), in Erdős Problem 5
• 35. HopfAlgebraCohomology.cohomology_finite_of_isCocomm (research solved), in Finite generation of the cohomology of finite-dimensional Hopf algebras
• 36. Green9.green_9_i (research solved), in Green's Open Problem 9
• 37. Arxiv.«2001.02665».kotzig_conjecture_large (research solved), in Ringel's Conjecture and Kotzig's Conjecture for large \(n\)
• 38. Erdos940.erdos_940.variants.three_powerful (research solved), in Erdős Problem 940
• 39. ClassNumberProblem.class_number_problem.variants.imaginary (research solved), in Class number problem for real quadratic fields
• 40. ElliottHalberstamConjecture.elliott_halberstam.variants.friedlander_granville (research solved), in Elliott–Halberstam conjecture

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.