AGG公司 71篇文献引用(1994–2023) 软件作者： 加布里埃尔·坦泽尔 相关软件： 沟槽；进度；AToM3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
SE同步 21篇文献引用(2018–2023) 软件作者： David M.Rosen、Luca Carlone、Afonso S.Bandeira、John J.Leonard 相关软件： SDPLR；SDPT3；Manopt… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
微电网 6篇文献引用(2001–2009) 软件作者： H.J.Song、X.Liu、D.Jakobsen、R.Bhagwan、X.Zhang、K.Taura、A.Chien；夏，华夏；Andrew A.Chien。 相关软件： 网格模拟；Globus工具包；SIMGRID… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
蜗牛 7份文件引用(2010–2021) 软件作者： Chandra，S.、Fink，S.J.、Sridharan，M。 相关软件： 投掷；z3；STP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TADD公司 8份文件引用(2010–2022) 软件作者： Reininghaus，Jan；Günther，David；英格丽德·霍茨（Ingrid Hotz）；斯特芬·普罗哈斯卡；汉斯·克里斯蒂安·赫格 相关软件： JStatCom；TDA；j孔… 主要字段： 组合数学（05-XX）；代数拓扑（55-XX）；整体分析，流形分析（58-XX）…
KMS州 6篇文献引用(2020) 软件作者： 詹姆斯·弗莱彻；愤怒，阿斯特里德；伊恩·雷伯恩 相关软件： – 主要字段： 功能分析（46-XX）；算子理论（47-XX）；整体分析，歧管分析（58-XX）
梅林 5份文件引用（2013-2017） 软件作者： Livshits VB、Nori AV、Rajamani SK、Banerjee A 相关软件： JavaScript；萨纳尔；TAJ… 主要字段： 计算机科学（68-XX）
EC基因 1份文件引用(2015) 软件作者： Kim，N.，Shin，S.，Lee，S。 相关软件： SLAM；BLAT；阿拉伯… 主要字段： 概率论与随机过程（60-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
雅各宾派 3份文件引用(2018–2020) 软件作者： Brandfonbrener，David；帕特·德夫林（Pat Devlin）；弗里登伯格（Friedenberg），内塔尼尔（Netanel）；柯宇轩；马库斯，斯特芬；Henry Reichard；伊桑·西阿玛 相关软件： GitHub；SageMath公司 主要字段： 组合数学（05-XX）；代数几何（14-XX）；群论与推广（20-XX）…
图形生成 1份文件引用(2023) 软件作者： K.Xirogiannopoulos、V.Srinivas、A.Deshpande 相关软件： 奈亚德；利格拉；图形螺栓… 主要字段： 计算机科学（68-XX）
InfGCN公司 2份文件引用(2022) 软件作者： 赵，G。；贾，P。；周，A。；张，B。 相关软件： 记录仪 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
参宿七 2份文件引用(2018–2020) 软件作者： 赵晓翰、亚历山德拉·萨拉、郑海涛、赵本扬 相关软件： 维瓦尔第；hydra+；图表数据… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
CyGraph（赛格图） 1份文件引用(2018) 软件作者： Noel，S。；哈雷，E。；Tam，K。；利米埃罗，M。；共享，M。 相关软件： MulVAL；TCPDUMP公司 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）
RNA运动对比 在0个文档中引用 软件作者： Shahidul Islam、Mahfuzur Rahaman先生、Shaojie Zhang 相关软件： DGL；FR3D；PyTorch… 主要字段： –