找到2个数据集

标签: z3

过滤结果

  • 整数分拆格标准上下文不可嵌入性数据集

    2025年12月23日 30 140 68

    数据集概述 本数据集围绕整数分拆格（按支配序排列）及其在形式概念分析中的标准上下文展开，提供了n=9分拆格的标准上下文无法嵌入n=10分拆格的相关证据，包含证明文件、计算输出及说明文档等资料。 文件详解 说明文档与源码： context_embeddings.pdf：PDF格式，提供数据集背景及文件详细说明...
    packageimg

  • 整数分拆格标准上下文对称嵌入数据集

    2025年12月15日 30 190 162

    数据集概述 该数据集聚焦整数分拆格的标准上下文对称嵌入研究，包含将整数8的分拆格标准上下文嵌入到整数10的分拆格标准上下文的29种对称嵌入数据，采用形式概念分析方法，为相关数学与计算机科学研究提供数据支持。 文件详解 文件名称: embedK8K10.z3，文件格式: .z3 文件名称: embedK8K10.out，文件格式: .out 文件名称:...
    packageimg