盖比特 26篇文献引用(2016–2023) 软件作者： 克雷格·科斯特洛（Craig Costello）；Cédric Fornet；乔恩·豪厄尔；马尔库夫·科尔维斯；本杰明·克鲁特；迈克尔·奈赫里格（Michael Naehrig）；布莱恩·帕诺；萨米·扎赫尔 相关软件： 皮诺奇；C的SNARK；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
可乐 6篇文献引用(2017–2023) 软件作者： Svetlin Tassev、Matias Zaldarriaga、Daniel Eisenstein 相关软件： ECOSMOG；匹诺曹；L-PICOLA… 主要字段： 偏微分方程（35-XX）；算子理论（47-XX）；粒子力学与系统（70-XX）…
fastSTRUCTURE（快速结构） 8份文件引用(2017–2023) 软件作者： Raj A、Stephens M、Pritchard JK 相关软件： 结构；R；爱德华… 主要字段： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
FLUPS（通量） 5份文件引用(2021–2024) 软件作者： 丹尼斯·加布里埃尔（Denis-Gabriel）·卡普瑞斯（Caprace）；托马斯·吉利斯（Thomas Gillis）；菲利普·查特兰 相关软件： 泊松解算器；GitHub；FFTW… 主要字段： 势能理论（31-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
多项式 6篇文献引用(2017–2021) 软件作者： 克里斯蒂安·斯特纳格尔、雷内·蒂曼、亚历山大·马列茨基、费比安·伊姆勒、弗洛里安·哈夫特曼、安德烈亚斯·洛赫比勒、亚历山大·本特坎普 相关软件： Groebner_Bases；Isabelle/HOL；z3… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）
多种族 1份文件引用(2017) 软件作者： 埃利·波兹尼安斯基（Eli Pozniansky），阿萨夫·舒斯特（Assaf Schuster） 相关软件： 螺纹消毒剂；CDS检查器；ktsan… 主要字段： 计算机科学（68-XX）
重新绑定x 1份文件引用(2021) 软件作者： Daniel Tamayo、Hanno Rein、Pengshaai Shi、David M.Hernandez 相关软件： 反弹；外行星；NbodyGradient… 主要字段： 粒子和系统力学（70-XX）
WarpCore公司 在0个文档中引用 软件作者： 丹尼尔·尤格尔（Daniel Jünger）；罗宾·科布斯；安德烈·米勒；Christian Hundt，Kai Xu；刘卫国；贝蒂尔·施密特 相关软件： MetaCache；SlabHash；哈希图… 主要字段： –
温迪 1份文件引用(2023) 软件作者： 博茨，大卫·M·。；信使Daniel A。；瓦尼娅·杜基克 相关软件： 乐团-SINDy；WSINDy公司；生物贝叶斯… 主要字段： 常微分方程（34-XX）；生物学和其他自然科学（92-XX）