单一模块性 swMATH ID: 6897 软件作者: 马提亚斯·沃尔特;特鲁姆佩尔,克劳斯 描述: Unimodularity Library是一个用C++编写的软件库,它基于Seymour的正则拟阵分解定理[1],实现了一种有效的算法来测试整体的单模块性。该算法在O((n+m)^5)时间内运行,是[2]立方算法的简化版本。该算法还可以测试单模块性和强单模块性的相关属性。 主页: 网址:http://www.utdallas.edu/~klaus/TUtest(克劳斯/TUtest)/ 关键词: 单调性;全单模块性;多项式检验 相关软件: 单一模块性测试;github;PDCO公司;SCIP公司;fpylll公司;TVR-省道;AS 307标准;CALMA公司;Normaliz公司;LattE公司;4钛2;lrslib公司;斯马波;TikZ公司;PPL(公私合营);港口;巴维诺克;轻轨系统;紫苏;CPLEX公司 引用于: 9文件 全部的 前5名25位作者引用 2 米歇尔·孔夫蒂 2 塞缪尔·菲奥里尼 2 托尼·休恩 2 安德烈亚斯·蒂尔曼。 2 斯特凡·韦尔特 1 本杰明·阿瑟夫 1 Jesús A.De Loera。 1 尤金尼·加威洛 1 克里斯托夫·格兰泽 1 泽维尔·戈奥克 1 凯特琳先生 1 黄超 1 迈克尔·乔斯维格 1 詹·亨德里克·兰格 1 本杰明·洛伦茨 1 弗莱德·梅尼尔 1 纳比尔·哈桑·穆斯塔法 1 安德烈亚斯·帕芬霍尔茨 1 马克·普费奇。 1 托马斯·雷恩 1 比安卡·M·塞布。 1 英戈·斯塔尔克内克 1 特鲁姆佩尔,克劳斯 1 马蒂亚斯·沃尔特 1 罗伯特·魏斯曼特尔 全部的 前5名引用于7个系列 2 数学规划计算 1 离散应用数学 1 美国数学学会公报。新系列 1 数学编程。A系列B系列 1 计算优化与应用 1 越南数学杂志 1 理论经济学 全部的 前5名在7个字段中引用 8 运筹学、数学规划(90-XX) 4 组合数学(05-XX) 三 计算机科学(68至XX) 2 凸和离散几何(52至XX) 2 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 2 信息与通信理论、电路(94-XX) 1 流形和细胞复合体(57至XX) 按年份列出的引文