×

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

UBCSAT公司

37篇文献引用(2004–2021)
软件作者: Dave A.D.汤普金斯。;霍尔格·H·胡斯。
相关软件: MiniSat;帕拉米尔斯;箔条…
主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…

SatEx公司

11份文件引用(2001–2011)
软件作者: 洛朗·西蒙;查塔利奇,菲利普
相关软件: 糠;SATO;UnitWalk…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

SBSAT卫星

10篇文献引用(2004–2023)
软件作者: 约翰·佛朗哥;米查尔·库里尔;约翰·施利普夫(John Schlipf);杰弗里·沃德;肖恩·韦弗(Sean Weaver);Michael Dransfield;W.Mark范弗利特
相关软件: 不可抗力;糠;伯克敏…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

博西

引用于9份文件(2019–2021)
软件作者: 彼得·费蒙维尔(Peter Faymonville);芬克贝纳(Bernd Finkbeiner);Leander Tentrup公司
相关软件: 条纹;SPOT;相思树+…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

国际卫星组织

3份文件引用(2011–2017)
软件作者: Ezequiel Orbe、Carlos Areces、Gabriel Infante-López
相关软件: DPvis;ISAT-CK7;坎特拉…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

ManyOpt公司

在0个文档中引用
软件作者: 安德烈亚·卡利亚·迪迪奥、迈克尔·胡特
相关软件: 数学SAT;OSiL;BARON…
主要字段: ——

筛选结果依据…