智能_ 23篇文献引用(2000–2018) 软件作者： Ciardo，G。；Jones，R.L。；Miner，A.S.公司。；R·西米尼亚努。 相关软件： 自旋蛋白；棱镜；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
洛拉 26篇文献引用(2000–2021) 软件作者： 卡斯滕·施密特（Karsten Schmidt）；K·沃尔夫。 相关软件： 玛丽亚；Uppaal；BPEL2PN… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
表面活性剂 13份文件引用(1986–2018) 软件作者： Ed Clarke；K.L.麦克米兰；爱默生；J.R.伯奇 相关软件： 高科技；PHAVer；旋转… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
APNN工具箱 12份文件引用(1999–2022) 软件作者： 彼得·巴赫霍尔茨（Peter Buchholz）；马库斯·费舍尔；彼得·坎佩尔；卡斯滕·泰珀 相关软件： 棱镜；政治公众人物协议；LDQBD… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
CTL公司 10篇文献引用(2007–2016) 软件作者： Rainer Niekamp公司 相关软件： FEAP；开放式FOAM；Matlab… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
数据日志LITE 9份文件引用(2002–2019) 软件作者： 乔治·戈特洛布（Georg Gottlob）；Erich Grädel；赫尔穆特·维思 相关软件： XPath；Ltur；计算TW… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
EAGLE公司 10篇文献引用(2015–2021) 软件作者： 亚历克西斯·图米；朱利安·古铁雷斯（Julian Gutierrez）；迈克尔·伍尔德里奇 相关软件： 棱镜；PRISM-名称；MCMAS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ITS工具 10篇文献引用(2019–2023) 软件作者： Yann Thierry-Mieg公司 相关软件： TINA；LTSmin公司；TAPAAL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
DSSZ-MC公司 5份文件引用(2011–2012) 软件作者： 莫妮卡·海纳；马丁·施瓦里克；阿列克谢·托夫奇格里奇科 相关软件： 清爽；COPASI；MoVisPP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
戈亚纳 4份文件引用(2009–2013) 软件作者： Fehnker A.、Huuck R.、Jayet P.、Lussenburg M.、Rauch F。；红蜥蜴软件 相关软件： 猎户座；卫星抗体；爆炸… 主要字段： 计算机科学（68-XX）
Z2sal公司 5份文件引用(2008–2012) 软件作者： J Derrick，S North，A J H Simons公司 相关软件： 自旋蛋白；Z；Z/EVES… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
查理 引用于3份文件(2015–2018) 软件作者： 莫妮卡·海纳；马丁·施瓦里克；詹·蒂埃里·韦格纳 相关软件： 清爽；玛丽；可视化DSD… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CTL-RP公司 5份文件引用(2010–2021) 软件作者： 张澜；乌尔里希·赫斯塔特；克莱尔·狄克逊 相关软件： SPASS；TRP++；TeMP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
CTLEX公司 5份文件引用(2012–2016) 软件作者： D.Kressner、V.Mehrmann、T.Penzl 相关软件： mctoolbox；算法432；VERSOFT… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）
kP工作台 5份文件引用(2015–2023) 软件作者： Gheorghe，M.、Ipate，F.、Mierla，L.、Konur，S。 相关软件： 自旋蛋白；NuSMV；莫德… 主要字段： 计算机科学（68-XX）
CTL公司 2份文件引用(2019–2021) 软件作者： 刘易斯·R 相关软件： GitHub；裂土器；jPlex… 主要字段： 代数拓扑（55-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
eBCS发电机 2份文件引用(2020–2022) 软件作者： 特罗亚克（Troják，Matej）；萨夫拉内克，大卫；布罗兹曼，布兰尼斯拉夫；卢博什·布里姆 相关软件： 色度；生物CHAM；libSBML… 主要字段： 生物学和其他自然科学（92-XX）
PL图 1份文件引用(2010) 软件作者： http://sourceforge.net/p/plplot/_members网站/; M.LeBRUN；G.提供 相关软件： Oml；拉卡姆；特征… 主要字段： 运筹学、数学规划（90-XX）
pyModelChecking（pyModel检查） 2份文件引用(2021–2022) 软件作者： 卡萨格兰德，A 相关软件： SPOT；汤姆；ORME… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CTLSAT公司 1份文件引用(2015) 软件作者： 北卡罗来纳州Prezza 相关软件： MCMAS-SLK；瓦夫莱斯先生；鹰… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
华夫莱斯先生 1份文件引用(2015) 软件作者： D.雷纳德。 相关软件： MCMAS-SLK；CTLSAT；鹰… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
THORS公司 1份文件引用(2012) 软件作者： Lester，M.M.，Neatherway，R.P.，Ong，C.-H.L.，Ramsay，S.J。 相关软件： TRecS；特征CFA 主要字段： 计算机科学（68-XX）