×

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

恰当的

引用于29份文件(2015–2023)
软件作者: Schlachter,U.等人。
相关软件: github;石化;Synet…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

石化

26篇文献引用(2001–2023)
软件作者: Cortadella,J.、Kishinevsky,M.、Kondratyev,A.、Lavagno,L.、Yakovlev,A。
相关软件: 基因;github;APT…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)…

VIP工具

12份文件引用(2008–2022)
软件作者: Bergenthum,R.、Desel,J.、Lorenz,R.和Mauser,S。
相关软件: 红矿工;基因;石化…
主要字段: 计算机科学(68-XX)

级联

引用于8份文件(2000–2008)
软件作者: Jochen Beister、Gernot Eckstein、Ralf Wollowski
相关软件: 级联
主要字段: 数值分析(65-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…

基因

6篇文献引用(2012–2023)
软件作者: Carmona,J.、Cortadella,J.和Kishinevsky,M。
相关软件: 石化;红矿工;VipTool…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

SyPet公司

5份文件引用(2017–2023)
软件作者: 冯瑜;鲁本·马丁斯(Ruben Martins);王跃鹏;伊西尔·迪利格;代表,Thomas W。
相关软件: 代码提示;Daikon;JSketch…
主要字段: 计算机科学(68-XX)

加达拉

1份文件引用(2013)
软件作者: 圣菲拉福顿;王寅;脊柱侧凸,Spyros
相关软件: 赛车X
主要字段: 计算机科学(68-XX)

PetriFlow公司

1份文件引用(2020)
软件作者: M.Riesz、Martin Seckár、G.Juhás P
相关软件: PNlib;Dymola;Modelica公司
主要字段: 生物学和其他自然科学(92-XX);系统论;控制(93-XX)

筛选结果依据…