×

找到6个软件包（结果1-6）

引文 按字母顺序

可爱的

50篇文献引用(2003–2022)
软件作者： Koushik Sen；达科·马里诺夫；古尔阿加
相关软件： 投掷；z3；KLEE…
主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…

立方厘米（FD）

18篇文献引用(1998–2022)
软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；维杰·萨拉斯瓦特；伊夫·德维尔
相关软件： CPLEX；彗星；Choco…
主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…

天蓝色

8份文件引用(1998–2021)
软件作者： 迈克尔·桑内拉
相关软件： QOCA；HiRise；食火鸡…
主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）

基尼

1份文件引用(2020)
软件作者： 斯科特·科顿
相关软件： –
主要字段： 流体力学（76-XX）；地球物理学（86-XX）

霍里亚三世

1份文件引用(1997)
软件作者： Bouzoubaa，M。；Neveu，B。；G.哈塞尔。
相关软件： –
主要字段： 运筹学、数学规划（90-XX）

PyMiniSolvers公司

1份文件引用(2018)
软件作者： –
相关软件： PySAT；大熊猫；NetworkX…
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段