拉杜·马达尔和帕南加登，普拉卡什和戈登·普洛金;(2016)定量代数推理。在：LICS’16：第31届ACM/IEEE计算机科学逻辑年会论文集。ACM，美国，第700-709页。国际标准图书编号9781450343916(https://doi.org/10.1145/2933575.2934518)
  预览 |
文本。文件名：Mardare_etal_LICS2016_量化_代数_推理.pdf
接受作者手稿
下载（328kB）|预览 |
摘要
我们发展了一种等式推理的定量模拟，我们称之为定量代数。我们定义了一个由有理数索引的等式关系：a=ϵb，我们认为它表示“a大约等于b，误差不超过\1013]”。我们有4个有趣的例子，其中我们有一个定量方程理论，其自由代数对应于众所周知的结构。在每种情况下，我们都有有限和连续的版本。这四种情况是：量子化半格的Hausdorff度量；重心代数的p-Wasserstein度量（因此也是Kantorovich度量），以及点重心代数和重心代数变体的总变差度量。
