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)…