Ancillary files for “Spherical Pythagorean triples, and volume rationality of spherical tetrahedra”
收藏NIAID Data Ecosystem2026-03-11 收录
相关数据集
Explainable Argumentation Computation Benchmark
Explainable Argumentation Computation Benchmark是由浙江大学团队开发的一个用于训练和评估大语言模型（LLMs）在抽象论证框架（AAF）中计算扩展能力的基准数据集。该数据集包含60,000个训练样本和2,000个测试样本，涵盖了从6到25个论证的多种难度级别的抽象论证框架。每个样本包括指令、问题、解释和答案四个部分，旨在通过详细的算法解释来增强模型的可解
arXiv2024-12-22 更新280
Tonatiuh Dataset
To perform a detailed study of the Kansa asymmetric collocation method, applied to heat transfer problems, we have designed, constructed, stored and labeled a database, which we have named Tonatiuh. T
NIAID Data Ecosystem120
Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition
The files in this data set support the paper "Truth table invariant cylindrical algebraic decomposition" by Russel Bradford, James H. Davenport, Matthew England, Scott McCallum and David Wilson. They
DataCite Commons2024-09-19 更新90
Mizar Mathematical Library Knowledge Graph (MMLKG)
Mizar Mathematical Library Knowledge Graph (MMLKG) dataset with supplementary files MMLKG is a thesaurus for describing a comprehensive repository of mathematical papers written in the Mizar lang
DataCite Commons2025-06-01 更新170
Computing Radiation Dosimetry ‑ CRD 2002: Workshop Proceedings - Sacavém, Portugal - 22-23 June 2002
Presents a series of lectures on establishing reliable computational methods and tools for radiation dosimetry.
Organisation for Economic Co-operation and Development90
