放松NG 18篇文献引用(2003–2018) 软件作者: J.Clark,M.Murata 相关软件: XPath;PERL;XSugar… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子和系统力学(70-XX)
X苏加 4份文件引用(2005–2018) 软件作者: 布拉布兰德,克劳斯;莫勒,安德斯;迈克尔·施瓦茨巴赫。 相关软件: 放松NG;biXid;dk.brics.automon… 主要字段: 计算机科学(68-XX)
马科牌手表 3份文件引用(2013–2021) 软件作者: 迈克尔·拜耳 相关软件: PyCUDA;赛马拉松;Python… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…