时尚GAN 24篇文献引用（2019年至2022年） 软件作者： Tero Karras、Samuli Laine、Timo Aila 相关软件： Wasserstein GAN；CycleGAN；像素x像素… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MUSCOD-II公司 19份文件引用(1998–2021) 软件作者： 海德堡大学；M.Diehl、D.B.Leineweber、A.A.S.Schäfer 相关软件： Ipopt；ADIFR；SOCS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
odmd（odmd） 19份文件引用(2018–2023) 软件作者： H.Zhang；C.W.罗利 相关软件： github；PRMLT；PyDMD… 主要字段： 动力系统与遍历理论（37-XX）；算子理论（47-XX）；数值分析（65-XX）…
萨图尔宁 18篇文献引用(2020–2023) 软件作者： Canteaut，A.等人。 相关软件： 极瘦的；凯卡克；微调… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
SeLoger公司 引用于7份文件(2015–2018) 软件作者： Haase，C。；Ishtiaq，S。；Ouaknine，J.等人。；M.J.帕金森。 相关软件： 幻灯片；推断；小脚… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
昏迷 2份文件引用(2016–2021) 软件作者： P Arcaini、A Gargantini、E Riccobene 相关软件： AsmetaSMV；NuSMV；ASMETA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SDSAT公司 4份文件引用(2006–2023) 软件作者： Ganai，马来语K；塔卢普尔，穆拉利达尔；阿尔蒂·古普塔 相关软件： YalSAT；CCAnr公司；玲玲… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TSAT公司++ 引用于3份文件(2005–2008) 软件作者： 亚历山德罗·阿曼多；克劳迪奥·卡斯泰里尼；恩里科·金奇利亚（Enrico Giunchiglia）；伊迪尼，马西莫；马可·马拉提亚 相关软件： CVC；SMT-LIB；查夫… 主要字段： 计算机科学（68-XX）
VeriStar公司 引用于3份文件(2012–2016) 软件作者： 戈登·斯图尔特；Lennart Beringer；安德鲁·W·阿佩尔。 相关软件： Coq；jStar；小脚… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LLECMOD公司 2份文件引用(2012–2015) 软件作者： Attarakih，M.M。；Bart，H.J。；斯坦梅茨，T。；迪特森，M。；新墨西哥州Faqir。 相关软件： PPBLAB；流利；MATLAB ODE套件… 主要字段： 流体力学（76-XX）
简单 2份文件引用(2017–2020) 软件作者： D.Elmlund，H.Elmlond 相关软件： 关系；冷冻SPARC；XMIPP… 主要字段： 数值分析（65-XX）；生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
adcc（adcc） 在0个文档中引用 软件作者： Michael F.Herbst、Maximilian Scheurer、Thomas Fransson、Dirk R.Rehn、Andreas Dreuw 相关软件： VeloxChem公司；molstum；OpenFermion… 主要字段： –
见证人 1份文件引用(2018) 软件作者： 汉娜·阿恩特；克里斯蒂娜·詹森（Christina Jansen）；克里斯托夫·马提亚（Christoph Matheja）；诺尔，托马斯 相关软件： 贾格诺 主要字段： 计算机科学（68-XX）
CellMix公司 1份文件引用(2021) 软件作者： 高茹，R。 相关软件： dtangle；DeconRNASeq；取消vSeq 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
CyGraph（赛格图） 1份文件引用(2018) 软件作者： Noel，S。；哈雷，E。；Tam，K。；利米埃罗，M。；共享，M。 相关软件： MulVAL；TCPDUMP公司 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）
FASST公司 在0个文档中引用 软件作者： Salaün，Y.、Vincent，E.、Bertin，n.、Souviraá-Labastie，n.，Jaureguiberry，X.、Tran，D.T.、Bimbot，F 相关软件： MUSDB18；openBliSSART；PyTorch… 主要字段： –
神经融合 1份文件引用(2022) 软件作者： Silvan Weder、Johannes L.Schönberger、Marc Pollefeys、Martin R.Oswald 相关软件： 布里斯克；效率检测；面2面… 主要字段： 计算机科学（68-XX）
陶斯宾纳 1份文件引用（2014年） 软件作者： A.Kaczmarska、J.Piatlicki、T.Przedzinski、E.Richter Was和Z.Was 相关软件： PYTHIA8；陶拉；照片… 主要字段： 量子理论（81-XX）
TSM工具箱 在0个文档中引用 软件作者： 乔纳森·德里格（Jonathan Driedger）、梅纳德·米勒（Meinard Müller） 相关软件： 利比亚；Matlab；Audiogmenter… 主要字段： –