{"title":"枫木多面体库","authors":"Rui-Juan Jing, M. M. Maza","doi":"10.1145/3177795.3177798","DOIUrl":null,"url":null,"abstract":"The Polyhedra library is dedicated to solving problems dealing with the integer points of polyhedral sets. Such problems include decomposing the integer points of such sets, solving parametric integer programs, performing dependence analysis in for-loop nests and determining the validity of certain Presburger formulas.","PeriodicalId":7093,"journal":{"name":"ACM Commun. Comput. Algebra","volume":"58 1","pages":"86-88"},"PeriodicalIF":0.0000,"publicationDate":"2018-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"The polyhedra library in maple\",\"authors\":\"Rui-Juan Jing, M. M. Maza\",\"doi\":\"10.1145/3177795.3177798\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The Polyhedra library is dedicated to solving problems dealing with the integer points of polyhedral sets. Such problems include decomposing the integer points of such sets, solving parametric integer programs, performing dependence analysis in for-loop nests and determining the validity of certain Presburger formulas.\",\"PeriodicalId\":7093,\"journal\":{\"name\":\"ACM Commun. Comput. Algebra\",\"volume\":\"58 1\",\"pages\":\"86-88\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-01-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACM Commun. Comput. Algebra\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3177795.3177798\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM Commun. Comput. Algebra","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3177795.3177798","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The Polyhedra library is dedicated to solving problems dealing with the integer points of polyhedral sets. Such problems include decomposing the integer points of such sets, solving parametric integer programs, performing dependence analysis in for-loop nests and determining the validity of certain Presburger formulas.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
