Rui-Juan Jing, M. M. Maza, Yan-Feng Xie, Chun-Ming Yuan
{"title":"Efficient detection of redundancies in systems of linear inequalities✱","authors":"Rui-Juan Jing, M. M. Maza, Yan-Feng Xie, Chun-Ming Yuan","doi":"10.1145/3666000.3669708","DOIUrl":null,"url":null,"abstract":"","PeriodicalId":243282,"journal":{"name":"International Symposium on Symbolic and Algebraic Computation","volume":"6 11","pages":"351-360"},"PeriodicalIF":0.0000,"publicationDate":"2024-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Symposium on Symbolic and Algebraic Computation","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3666000.3669708","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}