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