数据链接：
官方服务：
资源简介：
이정인 교수의 호지 추측 증명 관련 게시물의 소개 https://m.dcinside.com/board/mathematics/417909
应用场景：
创建时间：
2025-03-11
相关数据集
AlgGeoTest
AlgGeoTest 是一个用于评估大型语言模型在代数几何领域理解能力的基准数据集。它包含 456 个挑战性的项目，每个项目都提供六个是非判断子问题，其中恰好有两个子问题是正确的，其余四个是精心设计的干扰项。这个数据集是通过 Proof2Hybrid 框架自动合成的，该框架能够将数学证明转换为各种易于验证的问题类型。
arXiv2025-08-05 更新270
Semistable genus 5 general type P�-curves have at least 7 singular fibres
We prove that if f : X -> P� is a non-isotrivial, semistable, genus 5 fibration defined on a general type surface X then the number s of singular fibres is at least 7
DataCite Commons2025-02-18 更新120
localhstarpolynomials_onerowhermite
experimental data associated with 2022-2023 project on local h-star polynomials for one row Hermite normal form simplices.
DataCite Commons2025-11-20 更新90
Smoothable Gorenstein Points Via Marked Schemes and Double-generic Initial Ideals
Over an infinite field K with char(K)≠2,3, we investigate smoothable Gorenstein K -points in a punctual Hilbert scheme and obtain the following results: (i) every K -point defined b
DataCite Commons2020-08-27 更新160
Self-Duality of Generalized Eagon-Northcott Complexes and Cohomology of Line Bundles on Flag Varieties
In characteristic 0, we prove self-duality of particular generalized Eagon-Northcott complexes. The failure to extend to positive characteristic results from cohomology of line bundles on flag varieti
DataCite Commons2025-05-15 更新110
