gmp公司 299篇文献引用(1995–2024) 软件作者： 格兰伦德 相关软件： MPFR；NTL；PARI/GP… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
数据日志 282份文件引用(1978–2022) 软件作者： Ceri，S.、Gottlob，G.、Tanca，L 相关软件： 亚萨特；格林戈；Clingo… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
NTRU公司 214篇文献引用(1998–2023) 软件作者： 杰弗里·霍夫斯坦；吉尔·皮弗；约瑟夫·西尔弗曼（Joseph H.Silverman）。 相关软件： NTRU签名；BKZ；NTL… 主要字段： 数论（11-XX）；交换代数（13-XX）；计算机科学（68-XX）…
西蒙 175份文件中引用(2014–2023) 软件作者： Beaulieu，R.、Shors，D.、Smith，J.、Treatman-Clark，S.、Weeks，B.、Wingers，L。 相关软件： SPECK；SIMECK公司；存在… 主要字段： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）…
Globus工具包 61篇文献引用(2000–2022) 软件作者： 芝加哥大学；伊恩·福斯特（Ian Foster）。。。 相关软件： Condor-G；MPICH-G2；Nimrod/G… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
HMQV公司 105份文献中引用(2001–2023) 软件作者： 雨果·克劳茨克 相关软件： NAXOS；金利；XooTools… 主要字段： 组合数学（05-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
普林斯 104篇文献引用(2012–2023) 软件作者： 朱莉娅·博格霍夫（Julia Borghoff）；Canteaut，Anne；G“uneysu，Tim；Kavun，Elif Bilge；Knezevic，Miroslaf；Knudsen，Lars R.；Leander，Gregor；Nikov，Ventzislav；Paar，Christof；Rechberger，Christian；Rombouts，Peter；Thomsen，S{o} 任美国。；雅克{c}{i} n个、托尔加 相关软件： 出席；西蒙；短笛… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
BKZ公司 100篇文献引用(2011–2023) 软件作者： 陈元美；阮凤琴。 相关软件： GitHub；NTRU；fpLLL… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
山茶花 97篇文献引用(2001–2023) 软件作者： 青木，Kazumaro；铁杉一川；神田、Masayuki；松井、三井；森井、希荷；中岛俊子；Tokita、Toshio 相关软件： 克利夫亚；出席；方形… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Trivium公司 100篇文献引用(2006–2023) 软件作者： 沙赫拉姆·卡扎伊（Shahram Khazaei）；迈赫迪·哈桑扎德；克里斯托弗·德·坎尼尔；巴特·普雷尼尔； 相关软件： 粮食；eSTREAM；米奇… 主要字段： 数论（11-XX）；交换代数（13-XX）；计算机科学（68-XX）…
卡斯珀 83份文件引用(1999–2018) 软件作者： Gavin Lowe/牛津大学计算实验室 相关软件： AVISPA；TAPS；OFMC… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
纳克索斯 94份文件引用(2007–2023) 软件作者： Berkant Ustaoglu；拉马奇亚；劳特；米提亚金 相关软件： HMQV；CMQV+；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
MCMAS公司 86篇文献引用(2006–2023) 软件作者： 阿莱西奥·洛穆西奥（Alessio Lomuscio）、洪阳区（Hongyang Qu）、弗兰科·雷蒙迪（Franco Raimondi） 相关软件： MCK；摩卡；MCMAS-SLK… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
极瘦的 89份文件引用(2016–2023) 软件作者： 克里斯托夫·贝尔；Jean，Jérémy；科尔贝尔，斯特凡；格雷戈尔，莱安德；阿米尔·莫拉迪；皮林，托马斯；Yu Sasaki；帕斯卡·萨斯德里奇；Sim，Siang Meng先生 相关软件： 出席；西蒙；王子… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
SPECK公司 90篇文献引用(2014–2023) 软件作者： 雷·博利厄（Ray Beaulieu）；道格拉斯·肖尔斯（Douglas Shors）；杰森·史密斯；斯特凡·特拉特曼·克拉克；布莱恩·威克斯；路易斯·温格斯 相关软件： 西蒙；SIMECK公司；存在… 主要字段： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）…
阿维斯帕 82份文件引用(2005–2023) 软件作者： 信息社会技术方案下的欧洲共同体（1998-2002） 相关软件： 卡斯珀；ProVerify；OFMC… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Nitpick公司 79份文件引用(1999–2023) 软件作者： 布兰切特，贾斯敏·克里斯蒂安；托比亚斯·尼普科 相关软件： Isabelle/HOL；大锤；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
克利夫亚 73篇文献引用(2007–2023) 软件作者： 雷扎伊普尔，达伍德；Mohamad Rushdan马里兰州。 相关软件： 出席；短笛；LBlock；…（L块；…）… 主要字段： 数论（11-XX）；算子理论（47-XX）；计算机科学（68-XX）…
JPEG2000格式 61篇文献引用（2002年-2023年） 软件作者： Seo、Yeong Geon；Kim，Kwon Soo；Kim、Sung Gyun 相关软件： 蟒蛇；BM3D；视觉搜索… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；计算机科学（68-XX）…
短笛 66份文件引用(2011–2024) 软件作者： Shibutai，K.、Isobe，T.、Hiwatari，H.、Mitsuda，A.、Akishita，T.和Shirai，T。 相关软件： 出席；王子；西蒙… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
KTANTAN公司 63份文件引用(2009–2022) 软件作者： 克利斯朵夫·德·卡尼埃；奥尔·邓克尔曼；米罗斯拉夫·奈日·埃维奇 相关软件： 卡坦；出席；高度… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
曲线25519 59篇文献引用(2006–2023) 软件作者： D.J.伯恩斯坦。 相关软件： GitHub；Ed448-金发姑娘；电子广播公司… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
LBlock（LB锁定） 59篇文献引用(2011–2024) 软件作者： 吴文玲；张磊 相关软件： 出席；TWINE公司；西蒙… 主要字段： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）…
开放SSL 59篇文献引用(2002–2021) 软件作者： OpenSSL项目；Young，E.A.，Hudson，T.J 相关软件： 电子飞机控制系统；GitHub；gmp… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
HIGHT（高度） 引用于54份文件(2006–2023) 软件作者： 杰桑；Jeong，Kitae；Kim，Hyun；Kim，Jongsung；Chee，Seongtaek先生 相关软件： 出席；西蒙；卡坦… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
KIV公司 51篇文献引用（1988年至2022年） 软件作者： M.Heisel、B.Langenstein、W.Reif、G.Schellhorn、K.Stenzel、W.Stephan、A.Wolpers等人。 相关软件： Z；PVS；伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
SWIFFT银行 51篇文献引用(2008–2021) 软件作者： 卢巴什夫斯基，瓦迪姆；丹尼尔·米恰尼西奥（Daniele Micciancio）；克里斯·佩克特（Chris Peikert）；阿隆·罗森 相关软件： NTRU；NTL；SWIFFTX… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
小把戏 52篇文献引用(2014–2023) 软件作者： Jean，Jérémy；尼科利奇，伊维察；托马斯·佩林 相关软件： 极瘦的；西蒙；方形… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
JBoss公司 23篇文献引用(2004–2023) 软件作者： Red Hat公司。 相关软件： 口水；方面J；WebSphere… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
闪存 50篇文献引用(2001–2021) 软件作者： 雅克·帕塔林；尼古拉斯·科托伊斯（Nicolas Courtois）；路易斯·古宾 相关软件： FGb；闪光；岩浆… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
网络解决方案 43篇文献引用(1997–2016) 软件作者： Dorian Arnold、Sudesh Agrawal、Susan Blackford、Jack Dongarra、Christoph Fabianek、Tomo Hiroyasu、EricMeek、Michelle Miller、Kiran Sagi、Keith Seymour、Zhiao Shi和Sathish Vadhiyar 相关软件： Ninf-G/MPI；尼姆罗德/G；Globus工具包… 主要字段： 常微分方程（34-XX）；统计学（62-XX）；数值分析（65-XX）…
自旋 26篇文献引用（2002年至2022年） 软件作者： ADRIAN PERRIG、ROBERT SZEWCYK、J.D.TYGAR、VICTOR WEN和DAVID E.CULLER 相关软件： TinyECC；标签；AVISPA… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
冷凝器-G 22篇文献引用(2001–2014) 软件作者： 詹姆斯·弗雷（James Frey）、托德·坦尼鲍姆（Todd Tannenbaum）、米伦·利夫尼（Miron Livny）、伊恩·福斯特（Ian Foster）、史蒂文·图埃克（Steven Tuecke） 相关软件： Globus工具包；Java CoG工具包；Nimrod/G… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
佛罗多克 在48份文件中引用(2018–2023) 软件作者： Erdem Alkim、Joppe W.Bos、Léo Ducas、Karen Easterbrook、Brian LaMacchia、Patrick Longa、Ilya Mironov、Michael Naehrig、Valeria Nikolaenko、Chris Peikert、Ananth Raghunathan、Douglas Stebila 相关软件： GitHub；佩剑；McEliece… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
XM2VTSDB 22篇文献引用(2000–2017) 软件作者： Messer，K.、Mastas，J.、Kittler，J.，Luettin，J.和Maitre，G。 相关软件： 费雷特；AR面；CMU PIE… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CMQV公司+ 41篇文献引用(2005–2023) 软件作者： 李慧；吴传坤 相关软件： NAXOS；HMQV；AVISPA… 主要字段： 数论（11-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
莫德-NPA 39篇文献引用(2009–2023) 软件作者： 圣地亚哥埃斯科瓦尔；梅多斯，凯瑟琳作者简介；何塞·梅塞盖尔；圣地亚哥，索尼娅 相关软件： 莫德；塔马林；AVISPA… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
海洋标志 39篇文献引用(2019–2023) 软件作者： Luca De Feo；史蒂文·加尔布雷思。 相关软件： CSI-FiSh；SageMath；CSIDH… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
Skein散列 37篇文献引用(2011–2023) 软件作者： N.Ferguson、S.Lucks、B.Schneier、D.Whiting、M.Bellare、T.Kohno、J.Callas和J.Walker 相关软件： 西蒙；凯卡克；Salsa20… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
EasyCrypt公司 36篇文献引用(2011–2022) 软件作者： 吉尔·巴特；本杰明·格雷戈里；希尔万，赫拉德；贝盖林，圣地亚哥·扎内拉 相关软件： 辅酶q；Isabelle/HOL；F*… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
斯巴达人 37篇文献引用(2020–2023) 软件作者： 斯琳塔·塞蒂 相关软件： 力比奥；马林鱼；GitHub… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
海绵状的 35篇文献引用(2011–2024) 软件作者： Bogdanov，A.，Kneíević，M.，Leander，G.，Toz，D.，Varíc，K.，Verbauwhede，I。 相关软件： 出席；凯卡克；金利… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
TEA公司 34份文件引用(1995–2022) 软件作者： 大卫·J·惠勒（David J.Wheeler）。；罗杰·尼达姆。 相关软件： XTEA；HIGHT（高度）；存在… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
Poly1305-AES公司 34份文件引用(2005–2023) 软件作者： 丹尼尔·伯恩斯坦。 相关软件： MMH；查查；Salsa20… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
塔马林 33篇文献引用(2015–2023) 软件作者： Meier，S.、Schmidt，B.、Cremers，C.、Basin，D。 相关软件： 莫德-NPA；莫德；Akiss… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
福克斯 30篇文献引用(2005–2023) 软件作者： Junod，P.，Vaudenay，S。 相关软件： 带路；特沃菲什；克利夫亚… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
密码技术 29篇文献引用(2001–2015) 软件作者： 瓦西尔·乌斯廷科 相关软件： 密码；Galois字段算术库 主要字段： 组合数学（05-XX）；代数几何（14-XX）；计算机科学（68-XX）…
米奇 28篇文献引用(2008–2023) 软件作者： 巴贝奇，S.，多德，M。 相关软件： 粮食；氚；eSTREAM… 主要字段： 阶、格、有序代数结构（06-XX）；交换代数（13-XX）；计算机科学（68-XX）…
挪威 29篇文献引用（2002年-2023年） 软件作者： Daemen，J.、Peeters，M.、Assche，G.V.、Rijmen，V。 相关软件： 出席；王子；短笛… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
OFMC公司 25篇文献引用(2005–2022) 软件作者： 塞巴斯蒂安·莫德谢姆，卢卡·维甘诺 相关软件： AVISPA；NRL；Casper… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
金利 28篇文献引用(2020–2024) 软件作者： Bernstein，D.J.等人。 相关软件： 凯卡克；海绵；西蒙… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
遗迹 28篇文献引用(2010–2023) 软件作者： Aranha，D.F.，Gouvéa，C.P.L。 相关软件： GitHub；SwiftEC；gmp… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
夸克 26篇文献引用(2010–2023) 软件作者： J.-P.Aumasson、L.Henzen、W.Meier、M.Naya Plasencia 相关软件： 出席；卡坦；谷物… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
马刀 引用于27份文件(2018–2023) 软件作者： D'Anvers，Jan-Pieter；昂舒曼·卡马卡；辛哈·罗伊（Sinha Roy），苏霍伊（Sujoy）；弗雷德里克·韦考特伦 相关软件： FrodoKEM；GitHub；NTRU… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
锡德 26篇文献引用(2016–2023) 软件作者： Costello，C.、Longa，P.、Naehrig，M。 相关软件： SIKE公司；GitHub；曲线25519… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
猎鹰 25篇文献引用(2019–2023) 软件作者： 皮尔雷·阿莱恩·福克、杰弗里·霍夫斯坦、保罗·基什内尔、瓦迪姆·柳巴舍夫斯基、托马斯·波宁、托马斯·布雷斯特、托马斯里科赛特、格雷戈·塞勒、威廉·怀特、张振飞 相关软件： GitHub；BLISS；GeMSS… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
克莱因 25篇文献引用(2011–2023) 软件作者： 郑功、斯维特拉·尼科娃、叶维洛 相关软件： 王子；出席；卡坦… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
UCLID公司 24篇文献引用(2002–2020) 软件作者： Randal E.Bryant；Shuvendu K.Lahiri；桑吉特·塞希亚 相关软件： 糠；PVS；MiniSat… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数论（11-XX）…
MOPS公司 15篇文献引用(2003–2019) 软件作者： Chen，H.、Wagner，D。 相关软件： SLAM；爆炸；旋转… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
陌生人 22篇文献引用(2011–2023) 软件作者： 方宇、穆阿特·阿尔哈拉夫、特维克·布尔坦 相关软件： 汉普；S3；Z3str3… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
查斯基 22篇文献引用(2014–2023) 软件作者： 穆哈，N。；Mennink，B。；Van Herrewege，A。；渡边捷昭。；Preneel，B。；Verbauwhede，I。；焦耳，A。；A.优素福。 相关软件： SPECK；西蒙；Salsa20… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
m加密 21篇文献引用(2008–2023) 软件作者： 托马斯·普洛斯（Thomas Plos）；克里斯托夫·多布拉尼格（Christoph Dobraunig）；马库斯·霍芬格；亚历山大·奥普里斯尼克（Alexander Oprisnik）；克里斯托夫·维斯迈耶（Christoph Wiesmeier）；约翰内斯·魏斯迈尔 相关软件： 出席；HIGHT（高度）；卡坦… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
XtremWeb 10篇文献引用(2001–2017) 软件作者： – 相关软件： BOINC公司；夏洛特；标枪++… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CRAFT（手工艺） 21篇文献引用(2020–2023) 软件作者： 拜尔勒，C。；莱安德，G。；莫拉迪，A。；拉苏尔扎德，S。 相关软件： 极瘦的；出席；西蒙… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
F类* 21篇文献引用(2011–2020) 软件作者： 微软研究院（INRIA）；尼基尔·斯瓦米；Chen，Juan；Fornet，塞德里克；支柱，Pierre-Yves；Bhargavan，Karthikeyan；杨吉恩 相关软件： 辅酶q；Nuprl；EasyCrypt… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
Jif公司 19份文件引用（2006年至2021年） 软件作者： A.C.Myers、L.Zheng、S.Zdancewic、S.Chong、N.Nystrom 相关软件： FlowFox；CoSMed；CAVA LTL模型检查器… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
皮卡罗 20篇文献引用(2013–2023) 软件作者： Piret，G.，Roche，T.，Carlet，C。 相关软件： 出席；西蒙；王子… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；数论（11-XX）…
RICH决策 21篇文献引用(2005–2023) 软件作者： Salo，A.，Punkka，A。 相关软件： ComPAIRS公司；主要决策；VIP分析… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
银色 21篇文献引用(2021–2023) 软件作者： 杰弗里·库托；彼得·林达尔（Peter Rindal）；斯里尼瓦桑·拉古拉曼 相关软件： 自行车；GitHub；ABY… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
阿克斯 20篇文献引用(2012–2023) 软件作者： 罗希特·查达（Rohit Chadha）、文森特·雪娃（Vincent Cheval）、特凡·乔布（tefan CiobácȘ）、史蒂夫·克莱默（Steve Kremer） 相关软件： 塔马林；AVISPA；Maude-NPA… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CSI-菲什 20篇文献引用(2019–2023) 软件作者： W.Beullens、T.Kleinjung、F.Vercauteren 相关软件： 海洋标志；GitHub；岩浆… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
KASUMI公司 20篇文献引用(2002–2016) 软件作者： 佐藤、阿卡西；住友县森冈 相关软件： 山茶花；漩涡；SageMath… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
精彩 20篇文献引用(2019–2023) 软件作者： Ashur，T。；德胡厄，S。 相关软件： MiMC；波塞冬；低MC… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
MetaMorph变形 18篇文献引用(1999–2010) 软件作者： 马图拉纳，F。；沈伟（Shen，W.）。；D.H.诺里。 相关软件： Aglet；湿润+；发明人… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MMH公司 20篇文献引用(1997–2022) 软件作者： Shai Halevi；雨果·克劳茨克 相关软件： Poly1305-AES；粮食；McOE… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
兔子 19份文件引用(2003–2023) 软件作者： Martin Boesgaard、Mette Vesterager、Thomas Pedersen、Jesper Christiansen、Ove Scavenius 相关软件： eSTREAM；索塞曼英国；谷物… 主要字段： 数论（11-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SNAP（快照） 10篇文献引用(2002–2013) 软件作者： 卡尔·查伊科夫斯基（Karl Czajkowski）；伊恩·福斯特（Ian Foster）；卡尔·凯塞尔曼；沃尔克·桑德；史蒂文·图克 相关软件： Globus工具包；开放科学网格；Condor-G… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）…
VIFF公司 17篇文献引用(2009–2023) 软件作者： Damgård，伊万；马丁·盖斯勒（Martin Geisler）；米克尔·克里加德；杰斯珀·布乌斯·尼尔森 相关软件： 分享者；FairplayMP；美味… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；信息与通信理论，电路（94-XX）
XooTools公司 19份文件引用(2021–2023) 软件作者： Daeman，J.、Hoffert，S.、Van Assche，G.、Van Keer，R。 相关软件： 凯卡克；金利；GitHub… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
亚帕 18篇文献引用(2009–2020) 软件作者： 马修·波德特；科蒂尔、维罗尼克；斯特凡尼德劳恩 相关软件： AVISPA；阿克斯；Maude-NPA… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
McOE公司 18篇文献引用(2012–2021) 软件作者： E.Fleischmann、C.Forler和S.Lucks 相关软件： ELmD；极瘦的；MCBC… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
萨图尔宁 18篇文献引用(2020–2023) 软件作者： Canteaut，A.等人。 相关软件： 极瘦的；凯卡克；微调… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
SipHash码 17篇文献引用(2012–2023) 软件作者： Aumasson，Jean-Philippe；丹尼尔·伯恩斯坦。 相关软件： Salsa20；ARX工具；西蒙… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
UNICORE公司 13份文件引用(2001–2010) 软件作者： 瓦伦蒂娜·胡贝尔 相关软件： 北欧电网；Globus工具包；网格模拟… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
ARX工具 16篇文献引用(2013–2023) 软件作者： 勒伦特，加勒坦 相关软件： 西蒙；SipHash；ChaCha… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
粘合剂 14篇文献引用(2005–2022) 软件作者： J.德特雷维尔。 相关软件： DKAL；SWI Prolog公司；鲁比… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
利利浦特 16篇文献引用(2016–2022) 软件作者： Thierry P.Berger《作者简介》；弗朗克、朱利安；Minier，海军；加尔·托马斯 相关软件： 极瘦的；克利夫亚；方形… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
飞天螳螂 14篇文献引用(2009–2017) 软件作者： 克雷默斯，C。 相关软件： AVISPA；阿克斯；塔马林… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
FleXOR公司 15篇文献引用(2014–2023) 软件作者： 弗拉基米尔·科列斯尼科夫；Payman Mohassel；Mike Rosulek先生 相关软件： JustGarble公司；GitHub；EMP-toolkit… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
IRIS公司 15篇文献引用(2010–2022) 软件作者： Tsai，J.、Rathi，S.、Kiekintveld，C.、Ordóñez，F.、Tambe，M。 相关软件： VRP公司 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
M-树 15篇文献引用(2005–2022) 软件作者： 陆成怀；张涛；施卫东；李显新S。 相关软件： BISIMULATOR；CADP；Exp.打开… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）
方庭 15篇文献引用(2006–2020) 软件作者： 科特迪瓦贝尔班；亨利·吉尔伯特；雅克·帕塔林 相关软件： 麦克利埃塞；eSTREAM；ZHFE… 主要字段： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）…
布莱克 14篇文献引用(2010–2023) 软件作者： Aumasson，Jean-Philippe；威利·迈尔；拉斐尔·法恩（Raphael C.-W.Phan）。；卢卡·亨岑 相关软件： 查查；Salsa20；Skein哈希… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
聪明人 10篇文献引用(2020–2023) 软件作者： N.Papernot、I.Goodfellow、R.Shetsley、R.Feinman、P.McDaniel 相关软件： CIFAR；深度愚人；PyTorch… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
迷你乐高 14篇文献引用(2013–2021) 软件作者： 弗雷德里克森（Frederiksen），托尔·卡斯珀（Tore Kasper）；雅各布森，托马斯·佩尔；尼尔森（Jesper Buus）；诺德霍尔特，彼得·塞巴斯蒂安；克劳迪奥·奥兰迪 相关软件： TinyLEGO；FleXOR公司；美味… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TLAPS（TLAPS） 14篇文献引用(1999–2023) 软件作者： 拉波特 相关软件： 薄层色谱法；常春藤；Coq… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
图拉法勒 12份文件引用(2004–2012) 软件作者： Bhargavan，Karthikeyan；Fornet，塞德里克；安德鲁·戈登（Andrew D.Gordon）。；里卡多·普切拉 相关软件： Spi2Java；ProVerify；AVISPA… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ZHFE公司 14篇文献引用(2014–2021) 软件作者： Porras，J.、Baena，J.和Ding，J。 相关软件： 岩浆；方庭；闪光… 主要字段： 数论（11-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
DeepXlore公司 9份文件引用(2019–2023) 软件作者： 裴可欣、曹银芝、杨俊峰、贾苏曼 相关软件： 深度愚人；ImageNet；GitHub… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；计算机科学（68-XX）…