Landau Symbols

Arch. Formal Proofs Pub Date : 2018-12-06 DOI:10.1017/9781139049276.018

Manuel Eberl

引用次数: 5

Abstract

5 Simplification procedures 38 5.1 Simplification under Landau symbols . . . . . . . . . . . . . . 38 5.2 Simproc setup . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 5.3 Tests . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 5.3.1 Product simplification tests . . . . . . . . . . . . . . . 40 5.3.2 Real product decision procure tests . . . . . . . . . . . 40 5.3.3 Sum cancelling tests . . . . . . . . . . . . . . . . . . . 41

查看原文本刊更多论文

兰多符号

5.1朗道符号下的简化. . . . . . . . . . . . . .38 5.2 Simproc设置 . . . . . . . . . . . . . . . . . . . . . . . . . . .39 5.3测试 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .40 5.3.1产品简化试验. . . . . . . . . . . . . . .40 5.3.2真实产品决策采购试验. . . . . . . . . . .40 5.3.3和取消测试 . . . . . . . . . . . . . . . . . . .41

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Arch. Formal Proofs

自引率

0.00%

发文量