Entries 41 to 60

• 41. Erdos813.erdos_813.variants.bucic_sudakov (research solved), in Erdős Problem 813
• 42. Mills.exists_least (research solved), in Mills' Theorem
• 43. RamseyNumbers.ramsey_number_five_five_upper_bound (research solved), in Ramsey numbers
• 44. Transcendental.transcendental_gamma_one_div_three (research solved), in Open questions on transcendence of numbers
• 45. Erdos61.erdos_61.variants.bnss23 (research solved), in Erdős Problem 61 -- Erdős–Hajnal Conjecture
• 46. Erdos985.erdos_985.variants.two_three_five_primitive_root (research solved), in Erdős Problem 985
• 47. Green41.minCopies_set_nonempty (research solved), in Ben Green's Open Problem 41
• 48. RiemannZetaMoments.moment_isEquiv₂ (research solved), in Moments of the Riemann zeta function on the critical line
• 49. Erdos604.erdos_604.variants.katz_tardos (research solved), in Erdős Problem 604
• 50. Erdos408.erdos_408.variants.ford_konyagin_luca (research solved), in Erdős Problem 408
• 51. Green4.large_green_4 (research solved), in Ben Green's Open Problem 4
• 52. InverseGalois.inverse_galois_problem.variants.complex_rational_functions (research solved), in Inverse Galois problem
• 53. Margulis.huang_shi_theorem_1_2 (research solved), in A conjecture by Margulis on matrix groups
• 54. DiophantineTuple.noIntegralDiophantineFiveTuple (research solved), in Diophantine \(m\)-tuples
• 55. PierceBirkhoff.pierce_birkhoff_conjecture_dim_two (research solved), in Pierce–Birkhoff conjecture
• 56. ShelahSpencerZeroOneLaw.zeroOne_irrational (research solved), in Shelah-Spencer's Zero-One Law for Sparse Random Graphs
• 57. LonelyRunnerConjecture.lonely_runner_conjecture.variants.tao_2017 (research solved), in Lonely runner conjecture
• 58. RiemannHypothesis.weil_positivity_criterion (research solved), in Equivalents to the Riemann Hypothesis
• 59. Green14.green_14_polynomial_k_eq_3 (research solved), in Ben Green's Open Problem 14
• 60. Green22.green_22.variants.moreira_infinite (research solved), in Green's Open Problem 22

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.