矩阵运算

对任意维矩阵的可执行矩阵运算,我们将矩阵的加法、乘法、换位和矩阵比较运算作为序半环上的可执行函数。此外,还证明了矩阵上的强规范化(单调)阶可以提升为强规范化(单调)阶。进一步证明了自然数、整数和有理数上的标准半环以及北极半环满足矩阵理论所要求的公理。我们的形式化是CeTA系统的一部分,该系统包含多种终止技术。所提供的理论对于矩阵解释和北极解释的形式化至关重要。

zbMATH中的参考文献(参考 1文章 参考)

显示结果1/1。
按年份排序(引用)

  1. Marić,Filip;Petrović,Danijela:形式化复杂平面几何(2015)