×

找到16个软件包(结果1-16)

PALP公司

75篇文献引用(2003–2023)
软件作者: M.Kreuzer、H.Skarke
相关软件: SageMath;TOPCOM公司;Calabi-Yau数据库…
主要字段: 代数几何(14-XX);微分几何(53-XX);计算机科学(68-XX)…

轻轨系统

21篇文献引用(1998–2021)
软件作者: 大卫·艾维斯
相关软件: cdd;港口;正常(amp;N)…
主要字段: 代数几何(14-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

01聚乙烯

18篇文献引用(2000–2021)
软件作者: 奥斯文·艾奇霍尔泽
相关软件: 多品牌;鹦鹉螺;比尔霍夫脸…
主要字段: 组合数学(05-XX);凸和离散几何(52-XX);数值分析(65-XX)…

mplrs(mplrs)

7份文件引用(2017–2023)
软件作者: 大卫·艾维斯(David Avis)、查尔斯·乔丹(Charles Jordan)
相关软件: 多品牌;lrs;Matlab…
主要字段: 代数几何(14-XX);常微分方程(34-XX);计算机科学(68-XX)…

熊猫

7份文件引用(2015–2022)
软件作者: 斯特凡·勒沃德(Stefan Lörwald)、格哈德·雷内特(Gerhard Reinelt)
相关软件: 港口;摩卡;JBool…
主要字段: 凸和离散几何(52-XX);量子理论(81-XX);统计力学,物质结构(82-XX)…

lrslib公司

2份文件引用(2008–2017)
软件作者: 大卫·艾维斯
相关软件: lrs;港口;正常(amp;N)…
主要字段: 群论与推广(20-XX);凸和离散几何(52-XX);统计学(62-XX)…

FourierMotzkin公司

2份文件引用(1995–2015)
软件作者: 格雷戈里·史密斯
相关软件: 旧多面体;格多面体
主要字段: 组合数学(05-XX);非结合环与代数(17-XX);凸和离散几何(52-XX)…

卡斯科

在0个文档中引用
软件作者: Joana M.F.da Trindade、Konstantinos Karanasos、Carlo Curino、Samuel Madden、Julian Shun
相关软件: 利格拉;图形框架;WebGraph…
主要字段:

纳西(Nashpy)

1份文件引用(2023)
软件作者: 文森特·奈特;詹姆斯·坎贝尔
相关软件: Ciw;布伦特;科学…
主要字段: 运筹学、数学规划(90-XX)

2份文件引用(2007–2009)
软件作者: 大卫·布雷纳
相关软件: 鹦鹉螺;港口;CARAT…
主要字段: 数论(11-XX);凸和离散几何(52-XX);计算机科学(68-XX)

查找最大对称

1份文件引用(2018)
软件作者: Knueven,Ben;Jim Ostrowski;塞巴斯蒂安·波库塔
相关软件: 鹦鹉螺;PEBBL;痕迹…
主要字段: 组合数学(05-XX);运筹学、数学规划(90-XX)

GenericTensorNetworks公司

1份文件引用(2023)
软件作者: 刘金国、高勋、凯恩、卢金、王圣涛
相关软件: github;CUDAnative.jl;CUDA.jl…
主要字段: 组合数学(05-XX);代数几何(14-XX);运筹学、数学规划(90-XX)

石墨

1份文件引用(2018)
软件作者: 井上,T。;岩田,H。;Kawahara,J。;南卡罗来纳州米纳托。
相关软件: LCM;密度ZDD;SAPPORO BDD公司
主要字段: 计算机科学(68-XX)

埃尔萨里思

在0个文档中引用
软件作者: 大卫·艾维斯(David Avis)、查尔斯·乔丹(Charles Jordan)
相关软件: lrslib;lrs;mplrs…
主要字段:

超级气泡

1份文件引用(2019)
软件作者: 费比安·加特纳;彼得·斯塔德勒(Peter F.Stadler)。
相关软件: NetworkX;github;科学…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

iMesh(iMesh)

在0个文档中引用
软件作者: Chand,K.,Fix,B.,Dahlgren,T.,Diachin,L.F.,Li,X.,Ollivier-Goch,C.,Seol,E.,Shephard,M.,Tautges,T。
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件