山茶花 97篇文献引用(2001–2023) 软件作者： 青木，Kazumaro；铁杉一川；神田、Masayuki；松井、三井；森井、希荷；中岛俊子；Tokita、Toshio 相关软件： 克利夫亚；出席；方形… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MCMAS公司 86篇文献引用(2006–2023) 软件作者： 阿莱西奥·洛穆西奥（Alessio Lomuscio）、洪阳区（Hongyang Qu）、弗兰科·雷蒙迪（Franco Raimondi） 相关软件： MCK；摩卡；MCMAS-SLK… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-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）…
自旋 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）…
海洋标志 39篇文献引用（2019年-2023年） 软件作者： Luca De Feo；史蒂文·加尔布雷思。 相关软件： CSI-FiSh；SageMath；CSIDH… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
福克斯 30篇文献引用(2005–2023) 软件作者： Junod，P.，Vaudenay，S。 相关软件： 带路；特沃菲什；克利夫亚… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
米奇 28篇文献引用(2008–2023) 软件作者： 巴贝奇，S.，多德，M。 相关软件： 粮食；三叉戟；eSTREAM… 主要字段： 阶、格、有序代数结构（06-XX）；交换代数（13-XX）；计算机科学（68-XX）…
UCLID公司 24篇文献引用(2002–2020) 软件作者： Randal E.Bryant；Shuvendu K.Lahiri；桑吉特·塞希亚 相关软件： 糠；PVS；MiniSat… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数论（11-XX）…
CRAFT（手工艺） 21篇文献引用(2020–2023) 软件作者： 拜尔勒，C。；莱安德，G。；莫拉迪，A。；拉苏尔扎德，S。 相关软件： 极瘦的；出席；西蒙… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CSI-菲什 20篇文献引用（2019年-2023年） 软件作者： W.Beullens、T.Kleinjung、F.Vercauteren 相关软件： 海洋标志；github；岩浆… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
MMH（毫米） 20篇文献引用(1997–2022) 软件作者： Shai Halevi；雨果·克劳茨克 相关软件： Poly1305-AES；粮食；McOE… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
SNAP（快照） 10篇文献引用(2002–2013) 软件作者： 卡尔·查伊科夫斯基（Karl Czajkowski）；伊恩·福斯特（Ian Foster）；卡尔·凯塞尔曼；沃尔克·桑德；史蒂文·图克 相关软件： Globus工具包；开放科学网格；Condor-G… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）…
萨图尔宁 18篇文献引用(2020–2023) 软件作者： Canteaut，A.等人。 相关软件： 极瘦的；凯卡克；微调… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
迷你乐高 14篇文献引用(2013–2021) 软件作者： 弗雷德里克森（Frederiksen），托尔·卡斯珀（Tore Kasper）；雅各布森，托马斯·佩尔；尼尔森（Jesper Buus）；诺德霍尔特，彼得·塞巴斯蒂安；克劳迪奥·奥兰迪 相关软件： TinyLEGO；FleXOR公司；美味… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
GALATICS公司 13份文件引用(2020–2024) 软件作者： G.Barthe、S.Belaíd、T.Espitau、P.-A.Fouque、M.Rossi、M.Tibouchi 相关软件： BLISS；事实真相；GitHub… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
BitBlaze公司 7份文件引用(2012–2023) 软件作者： D.X.Song、D.Brumley、H.Yin、J.Caballero、I.Jager、M.G.Kang、Z.Liang、J.Newsome、P.Poosankam、P.Saxena 相关软件： BAP；KLEE公司；Dytan… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Ed448-金发姑娘 12份文件引用(2016–2023) 软件作者： 迈克，汉堡 相关软件： 25519号曲线；github；鳄鱼… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
菲尔马托 6篇文献引用(2001–2018) 软件作者： Bartal，Y.，Mayer，A.，Nissim，K.，Wool，A。 相关软件： 消防员；github；NetKAT… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
麦克比特 12份文件引用(2013–2024) 软件作者： Daniel J.Bernstein、Tung Chou、Peter Schwabe 相关软件： 麦克利埃塞；github；蛋糕… 主要字段： 数论（11-XX）；数值分析（65-XX）；量子理论（81-XX）…
航空地理信息系统 10篇文献引用(2014–2023) 软件作者： 吴红军；巴特·普雷内尔 相关软件： 下雪；调整；山茶花… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
Paragon公司 9份文件引用(2010–2022) 软件作者： 尼古拉斯·布罗伯格（Niklas Broberg）；范·德尔夫特，巴特；大卫·桑兹 相关软件： Jif；github；SeLINQ… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
QC-LDPC公司 10篇文献引用(2008–2020) 软件作者： 马尔科·巴尔迪；马尔科·博德拉托；佛朗哥·恰拉卢斯 相关软件： 低密度聚乙烯；麦克利埃塞 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
水果 9份文件引用(2018–2023) 软件作者： 瓦希德·阿明·加法里（Vahid Amin Ghafari）、胡洪刚（Honggang Hu）、陈颖（Ying Chen） 相关软件： 粮食；三叉戟；eSTREAM… 主要字段： 数论（11-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
RRE公司 8份文件引用(2014–2020) 软件作者： Zonouz，S。；Khurana，H。；桑德斯，W。；T·亚德利。 相关软件： 古罗比；皮特布尔；多边形图… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
NTRU加密 8份文件引用(2010–2019) 软件作者： 赫尔曼斯、延斯；弗雷德里克·韦考特伦（Frederik Vercauteren）；巴特·普雷内尔 相关软件： PQM4；XKCP；库达… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
TAJ公司 7份文件引用(2013–2021) 软件作者： Tripp，O.、Pistoia，M.、Fink，S.J.、Sridharan，M.和Weisman，O。 相关软件： FlowDroid；F4F；Dytan… 主要字段： 计算机科学（68-XX）
速度 7份文件引用(2022–2023) 软件作者： 莱安德，G。；穆斯，T。；莫拉迪，A。；拉苏尔扎德，S。 相关软件： QARMA；出席；王子… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
EPCBC公司 6篇文献引用（2011年至2017年） 软件作者： Yap、Huihui；Khoo、Khongming；阿克塞尔·波希曼；马特·亨里克森 相关软件： SageMath；SPECK；西蒙… 主要字段： 运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
岩盐矿 6篇文献引用(2015–2021) 软件作者： 莫里塞特·G、谭·G、塔萨罗蒂·J、特里斯坦·J·B、甘·E。 相关软件： Coq；GDSL；CompCertS… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
值得信赖的朋友 6篇文献引用(2007–2021) 软件作者： 米兰堡、费利克斯·弗雷林、卢西娅·德拉克·彭索、齐奈达·本内森、多根·凯斯多根 相关软件： 分享者；VIFF；水肺 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ELmE公司 5份文件引用(2014–2018) 软件作者： Datta，N.、Nandi，M.、Susilo，W.、Mu，Y。 相关软件： MMH；微调；眼镜蛇… 主要字段： 信息与通信理论，电路（94-XX）
LITESET公司 5份文件引用（1998年至2017年） 软件作者： 花冈、果一郎；郑玉良；伊迈、希德基 相关软件： 克利夫亚；McOE公司 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
尖叫 4份文件引用(2002–2021) 软件作者： Shai Halevi；Don Coppersmith；查兰吉特·朱特拉 相关软件： 下雪；方庭；eSTREAM… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
地穴 1份文件引用(2006) 软件作者： Erez Zadok、Ion Badulescu、Alex Shender 相关软件： SiRiUS公司；冥王星；Iolus… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
层流 4份文件引用(2017–2022) 软件作者： Roy I、Porter DE、Bond MD、McKinley KS、Witchel E 相关软件： JFlow；JRIF；Jif… 主要字段： 计算机科学（68-XX）
OTRU公司 4份文件引用(2017–2021) 软件作者： Ehsan Malekian；阿里·扎克洛霍塞尼 相关软件： HXDTRU；MaTRU；NTRU… 主要字段： 结合环与代数（16-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
维塔夫 2份文件引用(2013) 软件作者： S.-W Lin、S.-W Lin、C.-H Tseng、T.-Y Lee、J.-M.Fu 相关软件： 细胞；MARTE公司；英特尔TBB… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
威斯特利亚 4份文件引用(2016–2023) 软件作者： 拉斯托吉，A.，哈默，M.A.，希克斯，M。 相关软件： JustGarble公司；HyCC；分享者… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；信息与通信理论，电路（94-XX）
AnZenMail公司 2份文件引用(2003) 软件作者： 志山、Etsuya；Shigeki Hagihara；小林直树，；Nishizaki，Shin-ya；KenjiroTaura，；渡边，Takuo 相关软件： Coq；TALx86；JFlow… 主要字段： 计算机科学（68-XX）
EAGL公司 引用于3份文件(2014–2022) 软件作者： 蒲、石；刘，Jyh-Charn 相关软件： 熊猫；MIRACL公司；CUDA公司 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
SCAPI公司 1份文件引用(2017) 软件作者： Yael Ejgenberg、Moriya Farbstein、Meital Levy、Yehuda Lindell 相关软件： VMCrypt；FairplayMP；美味… 主要字段： 信息与通信理论，电路（94-XX）
连接Legendre 2份文件引用(2019–2022) 软件作者： Karati、Sabyasachi；帕拉什·萨尔卡 相关软件： KummerLineV02；25519号曲线；Ed448-金发姑娘… 主要字段： 数论（11-XX）；代数几何（14-XX）；数值分析（65-XX）…
EzPC公司 2份文件引用(2020–2022) 软件作者： Chandran，N.、Gupta，D.、Rastogi，A.、Sharma，R.、Tripathi，S 相关软件： ABY；n图-HE；瞪羚… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Flawfinder公司 2份文件引用（2009年-2023年） 软件作者： D.惠勒。 相关软件： ovAFLow；夹板；布加罗… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
四个Qlib 2份文件引用(2017) 软件作者： 科斯特洛，C.，隆加，P。 相关软件： 25519号曲线；电子广播控制系统 主要字段： 代数几何（14-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
GADAPT公司 2份文件引用（2019年-2023年） 软件作者： 斯特凡·拉斯；朱全燕 相关软件： HyRiM公司；R（右） 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
JCCM公司 1份文件引用(2001) 软件作者： Celeste Campo；三月{i} n个，安德烈；Garc公司{i} 一个阿图罗；D’{i} 美国航空航天局伊格纳西奥；彼得·T·布鲁尔（Peter T.Breuer）。；卡洛斯·德尔加多；Garc公司{i} 一个，卡洛斯 相关软件： —— 主要字段： 计算机科学（68-XX）
第3页 1份文件引用（2018年） 软件作者： Partha Pal；格雷格·劳尔（Greg Lauer）；Joud Khoury；尼克·霍夫；乔·洛亚尔 相关软件： INGRES公司；REXX；Matlab… 主要字段： 计算机科学（68-XX）
QSYM公司 1份文件引用(2023) 软件作者： Yun I、Lee S、Xu M、Jang Y、Kim T。 相关软件： github；内乌兹；FuzzGen… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
阿莱提亚 1份文件引用(2020) 软件作者： Tripp，O.，Guarnieri，S.，Pistoia，M.，Aravkin，A。 相关软件： 戴坦；TAJ公司；像素… 主要字段： 计算机科学（68-XX）
阿尔雷德 1份文件引用(2012) 软件作者： 马科斯·琼·辛普利西奥（Marcos A.jun.Simplicio）。；Paulo S.L.M.巴雷托。 相关软件： 信件汤；马文 主要字段： 计算机科学（68-XX）
自行车 1份文件引用(2023) 软件作者： 西里尔·布维尔；卡斯塔尼奥斯（Guilhem Castagnos）；洛朗·伊姆伯特（Laurent Imbert）；Fabien Laguillaumie 相关软件： github；DVNIZK公司；gmp… 主要字段： 信息与通信理论，电路（94-XX）
BPA-Sec4云 1份文件引用(2016) 软件作者： 费尔南多·林斯；朱利奥·达马西奥（Julio Damasceno）；罗布森·梅德罗斯；埃里卡·索萨；尼尔森·罗莎 相关软件： BPMN2；活动性；轴2… 主要字段： 计算机科学（68-XX）
BreakApp（中断应用程序） 在0个文档中引用 软件作者： Nikos Vasilakis、Ben Karel、Nick Roessler、Nathan Dautenhan、AndréDeHon、Jonathan M.Smith 相关软件： 砂壳；普里夫曼；闭包库… 主要字段： ——
CASca公司 1份文件引用(2015) 软件作者： 沙米特·戈什；迪潘维塔·罗伊·乔杜里 相关软件： Salsa20；粮食；eSTREAM… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
EnclaveDom公司 在0个文档中引用 软件作者： 马塞拉·梅拉拉（Marcela S.Melara）、迈克尔·弗里德曼（Michael J.Freedman）、米克·鲍曼（Mic Bowman） 相关软件： 砂壳；女贞子；闭包库… 主要字段： ——
枚举RankKey 1份文件引用(2016) 软件作者： 尼古拉斯·维拉特·查维伦（Nicolas Veyrat-Charvillon） 相关软件： —— 主要字段： 信息与通信理论，电路（94-XX）
HydraPlus-Net公司 在0个文档中引用 软件作者： 刘锡辉、赵海宇、田茂清、卢胜、邵静、易帅、严俊杰、王晓刚 相关软件： 新加坡存托凭证；DeepReID；SqueezeNet… 主要字段： ——
信件汤 1份文件引用(2012) 软件作者： 马科斯·琼·辛普利西奥（Marcos A.jun.Simplicio）。；Paulo S.L.M.巴雷托。 相关软件： 马文；阿尔雷德 主要字段： 计算机科学（68-XX）
马文 1份文件引用(2012) 软件作者： 马科斯·琼·辛普利西奥（Marcos A.jun.Simplicio）。；Paulo S.L.M.巴雷托。 相关软件： 信件汤；阿尔雷德 主要字段： 计算机科学（68-XX）
ML胶囊 在0个文档中引用 软件作者： Lucjan Hanzlik、Yang Zhang、Kathrin Grosse、Ahmed Salem、Max Augustin、Michael Backes、Mario Fritz 相关软件： 普里瓦多；PyTorch；SqueezeNet… 主要字段： ——
Panoply公司 1份文件引用（2018年） 软件作者： Shweta Shinde；大乐天；Shruti头饰；Prateek Saxena公司 相关软件： 迷你盒子；瑞安；VeriCount；…验证计数… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Pcapy公司 1份文件引用(2019) 软件作者： 核心安全 相关软件： github；Scapy公司 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；算子理论（47-XX）；数值分析（65-XX）
PyCG公司 在0个文档中引用 软件作者： Vitalis Salis、Thodoris Sotiropoulos、Panos Louridas、Diomidis Spinellis、Dimitris Mitropoulos 相关软件： ast；看门人；合成码… 主要字段： ——
RLizard公司 1份文件引用(2023) 软件作者： Lee，J。；Kim，D。；Lee，H。；Lee，Y。；JH Cheon先生 相关软件： github；佩剑；liboqs… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
沙子 1份文件引用(2022) 软件作者： 陈世耀；范燕红；孙玲；傅勇；周海波；李永清；王美琴；王维嘉；郭淳 相关软件： SIMECK公司；克利夫亚；雷姆斯… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
沙皮 在0个文档中引用 软件作者： 本杰明·拉莫夫斯基（Benjamin Lamowski）、卡斯滕·温霍尔德（Carsten Weinhold）、亚当·拉科辛斯基（Adam Lackorzynski）、赫尔曼·哈蒂格（Hermann Härtig） 相关软件： 普里夫曼；封闭图书馆；节点入口… 主要字段： ——