相关数据集
AlgGeoTest
AlgGeoTest 是一个用于评估大型语言模型在代数几何领域理解能力的基准数据集。它包含 456 个挑战性的项目，每个项目都提供六个是非判断子问题，其中恰好有两个子问题是正确的，其余四个是精心设计的干扰项。这个数据集是通过 Proof2Hybrid 框架自动合成的，该框架能够将数学证明转换为各种易于验证的问题类型。
arXiv2025-08-05 更新230
An extension of the Prelle–Singer method and a Maple implementation
Abstract The Prelle–Singer method is a semi-decision algorithm which can be used to solve analytically first order ordinary differential equations which have solutions in terms of elementary functio
Mendeley Data2023-02-23 更新130
APart 2: A generalized Mathematica Apart function
Abstract The Mathematica function Apart has been generalized to any dimension in APart package [1], we upgrade this package to the 2nd version, in which the core part has been completely rewritten. Th
DataCite Commons2025-04-01 更新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
CNC-Interpolator Examples with license CC BY-NC-ND 4.0
PDF and NB files for Mathematica 10.2 with license CC BY-NC-ND 4.0
DataCite Commons2025-04-01 更新110
