兰多符号

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

Manuel Eberl

{"title":"兰多符号","authors":"Manuel Eberl","doi":"10.1017/9781139049276.018","DOIUrl":null,"url":null,"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","PeriodicalId":280633,"journal":{"name":"Arch. Formal Proofs","volume":"33 3 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Landau Symbols\",\"authors\":\"Manuel Eberl\",\"doi\":\"10.1017/9781139049276.018\",\"DOIUrl\":null,\"url\":null,\"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\",\"PeriodicalId\":280633,\"journal\":{\"name\":\"Arch. Formal Proofs\",\"volume\":\"33 3 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-12-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Arch. Formal Proofs\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1017/9781139049276.018\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Arch. Formal Proofs","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1017/9781139049276.018","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

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

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

查看原文本刊更多论文

Landau Symbols

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

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Arch. Formal Proofs

自引率

0.00%

发文量