BFComp公司 引用于3份文件(2015–2019) 软件作者： 阿比谢克·穆尔西；伊斯兰，马里兰州Ariful；斯科特·斯莫尔卡（Scott A.Smolka）。；拉杜·格罗苏 相关软件： dReal；d范围；SReach… 主要字段： 常微分方程（34-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
溪流 1份文件引用(2024) 软件作者： 多米尼克·伯特尔；费尔南德斯·科尔巴顿，伊凡；卡斯滕·罗克斯图尔 相关软件： JCM套件；数字Py；科学… 主要字段： 光学、电磁理论（78-XX）；统计力学，物质结构（82-XX）