Entries 1 to 20

• 1. PoincareConjecture.poincare_conjecture.variants.smooth_known_cases (research solved), in The Poincaré Conjecture
• 2. SatoTateConjecture.satoTate_conjecture (research solved), in Sato–Tate conjecture
• 3. HasseWeil.exists_hasAnalyticContinuation_rat (research solved), in The Hasse--Weil conjecture for elliptic curves
• 4. AlgebraicGeometry.resolution_of_singularities_of_topologicalKrullDim_le_three (research solved), in Resolution of singularities
• 5. RamanujanTau.ramanujan_petersson (research solved), in Ramanujan τ-function
• 6. FermatCatalanConjecture.fermat_catalan.variants.darmon_granville (research solved), in Fermat-Catalan conjecture
• 7. Hilbert5.hilbert_smith_conjecture.variants.dimension_three (research solved), in Hilbert's Fifth Problem and the Hilbert–Smith Conjecture
• 8. SmallCohenMacaulayModules.exists_isBalancedBigCohenMacaulay (research solved), in The small Cohen-Macaulay modules conjecture
• 9. EllipticCurveRank.RatEllipticCurve.goldfeld_conjecture.variants.two_le (research solved), in Some conjectures about ranks of elliptic curves over ℚ
• 10. SerreMultiplicityConjectures.intersectionMultiplicity_eq_zero_of_lt (research solved), in Serre's multiplicity conjectures
• 11. Erdos89.erdos_89.variants.n_dvd_log_n (research solved), in Erdős Problem 89
• 12. Bugeaud08.problem_10_8.variants.exceptional_set_dimH_zero (research solved), in Bugeaud Collection of Conjectures and Open Questions: \(p\)-adic Littlewood Conjecture
• 13. Bugeaud32.adamczewski_faverjon (research solved), in Bugeaud Collection of Conjectures and Open Questions: Automatic Expansions in Two Bases
• 14. ZagierMZV.zagier_upper_bound (research solved), in Zagier's Conjecture on Multiple Zeta Values
• 15. DeGiorgi.DeGiorgi_ge_nine (research solved), in De Giorgi's conjecture
• 16. Erdos325.erdos_325.variants.wooley (research solved), in Erdős Problem 325
• 17. Erdos507.erdos_507.variants.upper_cpz24 (research solved), in Erdős Problem 507
• 18. Erdos65.erdos_65.variants.liu_montgomery (research solved), in Erdős Problem 65
• 19. GromovPolynomialGrowth.GromovPolynomialGrowthTheorem (research solved), in Gromov's theorem on groups of polynomial growth
• 20. Erdos687.erdos_687.variants.fgkmt (research solved), in Erdős Problem 687

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.