×

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

玛丽

8份文件引用(2013–2022)
软件作者: 莫妮卡·海纳;克里斯蒂安·罗尔(Christian Rohr);马丁·施瓦里克
相关软件: 窥探;棱镜;SABRE…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…

REBA公司

4份文件引用(2019–2021)
软件作者: 莫汉·斯里德哈兰;Michael Gelfond;张世奇;杰里米·怀亚特
相关软件: 人民;CCalc;平滑…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

生动

3份文件引用(2009–2017)
软件作者: 阿库达斯,康斯坦丁;塞尔默布林斯乔尔
相关软件: SNARK;米扎尔;数学…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);相对论与引力理论(83-XX)

BaRT公司

2份文件引用(1990–1995)
软件作者: 布克,拉森·B。;纳文·霍塔;康妮·洛吉亚·拉姆西
相关软件: ——
主要字段: 计算机科学(68-XX)

制图员

2份文件引用(2021–2022)
软件作者: Pawel Sobocinski、Paul W Wilson、Fabio Zanasi
相关软件: Catlab;LightGraphs.jl;定量的
主要字段: 范畴理论;同调代数(18-XX)

格罗弗

2份文件引用(2002–2009)
软件作者: Barker-Plummer,Dave;西德尼·C·拜林。
相关软件: OBJ咖啡馆;生动;超防…
主要字段: 计算机科学(68-XX)

向ATINF致敬

2份文件引用(2001–2012)
软件作者: 卡费拉、里卡多;尼古拉斯·佩尔蒂埃(Nicolas Peltier);弗朗索瓦·普伊特
相关软件: GEX;日本国债交易所;发现者…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

TBUDDY(待定)

1份文件引用(2023)
软件作者: Randal E.布莱恩特。
相关软件: Paracooba;基萨特;SBSAT…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…