防抱死制动系统 32篇文献引用(2012–2022) 软件作者: Johnsen,E.B.、Hähnle,R.、Schäfer,J.、Schlatte,R.和Steffen,M。 相关软件: JCobox;中美合作所;Erlang… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
Hypertool(超级工具) 17篇文献引用(2007–2019) 软件作者: Wu M.Y.、Gajski D.D。 相关软件: Condor-G;STG;面条… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
甲酚 25篇文献引用(2006–2022) 软件作者: 约翰森(Einar Broch Johnsen);Owe、Olaf;Yu,Ingrid Chieh女士 相关软件: 羽量级Java;ABCL;莫德… 主要字段: 计算机科学(68-XX)
金发姑娘 9份文件引用(2009–2017) 软件作者: Elmas,T.、Qadeer,S.、Tasiran,S。 相关软件: 橡皮擦;雾化器;快速通道… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
CHOPtrey公司 4份文件引用(2020–2022) 软件作者: Ben Khaled-El Feki,A。;杜瓦尔,L。;Faure,C。;西蒙,D。;本·盖德,M。 相关软件: FMI;亚当斯;LSODE… 主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子和系统力学(70-XX)
PythonTeX公司 2份文件引用(2018–2019) 软件作者: G.M.普尔 相关软件: Mathematica;枫树;SageMath… 主要字段: 结合环与代数(16-XX);动力系统与遍历理论(37-XX);近似和展开(41-XX)…