通用 42篇文献引用(2011–2023) 软件作者： 亚历山大·米尔克 相关软件： 蟒蛇；github；AutoMat… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
效率 30篇文献引用(2013–2023) 软件作者： 安德烈·鲍尔（Andrej Bauer）；普雷特纳，马蒂亚 相关软件： 科卡；github；ML… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
DrScheme博士 27篇文献引用(1997–2016) 软件作者： 芬德勒，罗伯特·布鲁斯；约翰·克莱门茨；弗拉纳根，科马克；马修·弗拉特（Matthew Flatt）；克里希纳穆提（Krishnamurthi，Shriram）；Paul Steckler；马提亚斯·费莱森 相关软件： LISP；哈斯克尔；ACL2… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；数学教育（97-XX）
电子电话 18篇文献引用(2003–2019) 软件作者： M Tomita、K Hashimoto、K Takahashi、T S Shimizu、Y Matsuzaki、F Miyoshi、K Saito S Tanida、K Yugi、J C Venter；C A和记黄埔 相关软件： GEPASI；KEGG；虚拟单元格… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
灵活 22篇文献引用(1990–2009) 软件作者： 贾卡隆，A.，米什拉，P.，普拉萨德，S 相关软件： 皮克特；毫升；JoCaml… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
APNN-工具箱 12份文件引用(1999–2022) 软件作者： 彼得·巴赫霍尔茨（Peter Buchholz）；马库斯·费舍尔；彼得·肯珀；卡斯滕·泰珀 相关软件： 棱镜；政治公众人物协议；LDQBD… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
BLINC公司 5份文件引用(2009–2019) 软件作者： T.卡拉吉安尼斯、K.帕帕吉安纳基、M.法卢索斯 相关软件： 签名；FCP；Tmix… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
FlowFox公司 8份文件引用（2013-2021） 软件作者： W.D.Groef、D.Devriese、N.Nikiforakis、F.Piessens。 相关软件： Jif；CoSMed；CAVA LTL模型检查器… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SPARC公司 8份文件引用(2017–2023) 软件作者： 斯瓦纳瓦·戈什；苏里亚纳亚拉亚纳，法尼什 相关软件： 阿比尼特；PETSc；CheFSI… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）…
瓶 3份文件引用(2010–2011) 软件作者： 大陆，G.、莫里塞特，G.，威尔士，M。 相关软件： MiniML；标签；Ynot… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
CHOPtrey公司 4份文件引用(2020–2022) 软件作者： Ben Khaled-El Feki，A。；杜瓦尔，L。；Faure，C。；西蒙，D。；本·盖德，M。 相关软件： FMI；亚当斯；LSODE… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）
DOTcvpSB公司 3份文件引用(2014–2017) 软件作者： 托马斯·希尔马耶；伊娃·巴尔萨-坎托；胡里奥·班加 相关软件： DOTcvp公司 主要字段： 变分法与最优控制；优化（49-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
软件资源管理器 2份文件引用(2005–2010) 软件作者： 埃里克·森；Johann Laurent；Nathalie Julien；埃里克·马丁 相关软件： 瓦特；INA；MARTE… 主要字段： 计算机科学（68-XX）
脱氯化钡 1份文件引用(2017) 软件作者： Brian P.Kent、Alessandro Rinaldo、Timothy Verstynen 相关软件： 图表；蟒蛇；Scikit… 主要字段： 统计学（62-XX）
vlogsl语言 3份文件引用（2011年至2013年） 软件作者： Michael Katelman；何塞·梅塞盖尔 相关软件： 莫德；Java+ITP；K校准仪… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
鸬鹚 2份文件引用(2020–2022) 软件作者： Brandon Anderson、Truong-Son Hy、Risi Kondor 相关软件： DScribe；github；DiffSharp… 主要字段： 概率论与随机过程（60-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
m健康工具 1份文件引用(2023) 软件作者： 菲利普·斯奈德；Meghasyam Tummalacherla；Thanneer Perumal公司；拉尔森·奥姆伯格 相关软件： m功率；程序NLMIXED；PDkit… 主要字段： 统计学（62-XX）
焦油 2份文件引用(2021–2022) 软件作者： 马丁·科尔贝尔；Leue，Stefan；托马斯·怀斯 相关软件： Uppaal公司；SemFix；S-TaLiRo… 主要字段： 计算机科学（68-XX）
生物西班牙 1份文件引用(2021) 软件作者： Chris Eliasmith、Jan Gosmann、Xuan Choo 相关软件： SpiNNaker公司；能戈；OSQP… 主要字段： 生物学和其他自然科学（92-XX）
电子质量工程 1份文件引用(2021) 软件作者： 米文辉；邵雪成；亚历山德罗·热那瓦；塞雷索利，戴维德；米歇尔·帕瓦内洛 相关软件： 量子浓缩咖啡 主要字段： 光学、电磁理论（78-XX）；量子理论（81-XX）
FHI间隙 1份文件引用(2013) 软件作者： 姜红；戈梅斯·阿巴尔，里卡多一世。；李新政；克里斯蒂安·梅森比切勒（Christian Meisenbichler）；Ambrosch-Draxl，Claudia；马蒂亚斯·谢夫勒 相关软件： 威恩2k 主要字段： 数值分析（65-XX）；统计力学，物质结构（82-XX）
KINSOLVER公司 1份文件引用(2009) 软件作者： 阿莱曼·梅萨（Aleman-Meza），布讷尔赫斯（Boanerges）；余一海；Sch“uttler，Heinz Bernd；Arnold，Jonathan；Taha，Thiab R。 相关软件： 虚拟细胞；JigCell；YSMP… 主要字段： 生物学和其他自然科学（92-XX）
MASSpy公司 在0个文档中引用 软件作者： 扎卡里·B·海曼；丹尼尔·齐林斯基；小池裕子；詹姆斯·特尤科维奇（James T Yurkovich）；伯恩哈德·奥帕尔森 相关软件： SBW；LibSBMLSim；RunBioSimulations… 主要字段： ——
纳塔利埃Q 1份文件引用(2015) 软件作者： El-Kebir，M。；勃兰特，B.W。；赫林加，J。；G.W.克劳。 相关软件： L-格雷尔；麦格纳++；净值… 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）