DoCon-A公司 swMATH编号： 37631 软件作者： S.D.梅什韦利亚尼。 描述： DoCon-A是一个计算机代数库，用纯函数、非限定语言Agda编写，具有依赖类型，允许机器选择证据。DoCon-A采用通用编程。它定义了代数结构的一般概念：半群、群、环等等。算术和其他一些操作是在非常一般的假设下定义的：“在任何群上”、“在任何环上”等等。目前支持（在一定程度上）以下域构造函数：自然、整数、乘积、分数、，单变量多项式，欧几里德剩余环。即某些操作集是根据这些域构造函数自动定义的。 主页： https://lists.chalmers.se/pipermail/agda/2017/009733.html 依赖项： 阿格达 相关软件： 精益;阿格达;Coq公司;统一数学;github;哈斯克尔;AXIOM公司 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 关于GCD域上分数运算的机器检查证明。 兹比尔1455.68249S.D.梅什韦利亚尼。 2020 1位作者引用 2 S.D.梅什韦利亚尼。 连载1篇 2 编程和计算机软件 在3个字段中引用 2 计算机科学（68至XX） 1 数论（11-XX） 1 交换代数（13-XX） 按年份列出的引文