数据日志 软件作者：Ceri，S.，Gottlob，G.，Tanca，L 参考文献： 280种出版物（1978-2022） 相关软件： 阿萨德；外国佬；保鲜膜；黄蜂；阴霾；DLV… 主要领域： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
gmp 软件作者：格兰伦德 参考文献： 273种出版物（1995-2022年） 相关软件： MPFR；NTL公司；PARI/GP；圣哲数学；岩浆；数学… 主要领域： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）
NTRU公司 软件作者：霍夫斯坦，杰弗里；皮弗，吉尔；西尔弗曼，约瑟夫H。 参考文献： 188种出版物（1998-2022年） 相关软件： NTRUSign公司；BKZ公司；NTL公司；斯威夫特；麦克莱斯；幸福… 主要领域： 数论（11-XX）；交换代数（13-XX）；计算机科学（68-XX）
Globus工具箱 软件作者：芝加哥大学；伊恩·福斯特。。。 参考文献： 61种出版物（2000-2022年） 相关软件： 秃鹰-G；MPICH-G2；尼姆罗德/G；Java CoG套件；和弦；开放科学网格… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
西蒙 软件作者：Beaulieu，R.，Shors，D.，Smith，J.，Treatman Clark，S.，Weeks，B.，Wingers，L。 参考文献： 104种出版物（2014-2022） 相关软件： 西梅克；斑点；出席；王子；极瘦的；短笛… 主要领域： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）
卡斯帕 软件作者：Gavin Lowe/牛津大学计算机实验室 参考文献： 83种出版物（1999-2018） 相关软件： 阿维斯帕；水龙头；OFMC；FDR2；NRL公司；扯淡… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
山茶花 软件作者：青木、和硕丸；一川，铁杉；神田，清真；松井、三苏；森井、石浩；中岛俊子；东条英机 参考文献： 86种出版物（2001-2022） 相关软件： 裂；出席；西蒙；正方形；咏叹调；LBlock… 主要领域： 数论（11-XX）；群论与概化（20-XX）；数值分析（65-XX）
HMQV公司 软件作者：克劳茨克，雨果 参考文献： 90种出版物（2001-2022） 相关软件： 纳克索斯；github；LIBOQ；揭示；KEM-DEM公司；曲线25519… 主要领域： 数论（11-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）
阿维斯帕 软件作者：信息社会技术方案下的欧洲共同体（1998-2002年） 参考文献： 82种出版物（2005-2021年） 相关软件： 卡斯珀；普罗夫里夫；OFMC；雅帕；罗望子；Maude NPA… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
麦克马斯 软件作者：Alessio Lomuscio，红阳区，Franco Raimondi 参考文献： 81种出版物（2006-2022） 相关软件： MCMAS-SLK公司；麦肯锡公司；摩卡；验证；棱镜；棱镜游戏… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
纳克索斯 软件作者：伯克坎特乌斯陶格鲁；喇嘛恰；劳特；三亚金 参考文献： 82种出版物（2007-2022） 相关软件： HMQV；CMQV+；github；LIBOQ；曲线25519；弗罗多肯… 主要领域： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）
三层 软件作者：沙赫拉姆·哈扎伊；哈桑扎德；克里斯托夫·德坎尼尔；巴特普雷内尔； 参考文献： 82种出版物（2006-2022年） 相关软件： 谷物；雌酚；克坦坦；卡坦；米奇；出席… 主要领域： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）
BKZ公司 软件作者：陈元美；阮，凤Q。 参考文献： 71种出版物（2011-2022） 相关软件： NTRU；NTL公司；github；G6K；fpLLL公司；幸福… 主要领域： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）
王子 软件作者：博尔霍夫，茱莉亚；坎托，安妮；G“乌尼苏，蒂姆；卡文，艾利夫·比尔奇；克内泽维奇，米罗斯拉夫；努森，拉尔斯R；利安德，格雷戈；尼科夫，文茨拉夫；帕尔，克里斯托夫；雷克伯格，克里斯蒂安；罗姆博茨，彼得；汤姆森，S{o}任S；亚尔克{c}{i}n，托尔加 参考文献： 70种出版物（2012-2022） 相关软件： 出席；西蒙；短笛；卡坦；带路；米多里… 主要领域： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）
裂 软件作者：雷扎伊普尔，达伍德；说，Mohamad Rushdan医学博士。 参考文献： 66种出版物（2007-2022） 相关软件： 出席；LBlock公司；短笛；绳线；山茶花；高度… 主要领域： 数论（11-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
JPEG2000型 软件作者：徐永珍；金权洙；金成云 参考文献： 56种出版物（2002-2022年） 相关软件： 视觉周；应用程序代码；广义抽样；蟒蛇；波实验室；BM3D… 主要领域： 欧氏空间的调和分析（42-XX）；数值分析（65-XX）；计算机科学（68-XX）
吹毛求疵 软件作者：布兰切特，贾斯敏·克里斯蒂安；尼普科，托比亚斯 参考文献： 64种出版物（1999-2022） 相关软件： 伊莎贝尔/霍尔；大锤；伊莎贝尔；成本；TPTP；霍尔… 主要领域： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）
克坦坦 软件作者：德坎尼埃，克里斯托夫；邓克尔曼，奥尔；克涅维奇，米罗斯拉夫 参考文献： 59种出版物（2009-2022） 相关软件： 卡坦；出席；带路；高度；LBlock公司；绳线… 主要领域： 计算机科学（68-XX）；运筹学，数学规划（90-XX）；信息与通信理论，电路（94-XX）
开放式SSL 软件作者：OpenSSL项目；杨，E.A.，哈德逊，T.J 参考文献： 56种出版物（2002-2021年） 相关软件： 欧洲银行账户系统；github；gmp；埃巴什；氯化钠；Crypto++… 主要领域： 一般性和全局性主题；收款（00-XX）；数论（11-XX）；代数几何（14-XX）
基辅 软件作者：M。Heisel，B.Langenstein，W.Reif，G.Schellhorn，K.Stenzel，W.Stephan，A.Wolpers等人。 参考文献： 50种出版物（1988-2021） 相关软件： Z轴；PVS公司；伊莎贝尔；JML公司；喀拉喀托；为什么3… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
短笛 软件作者：Shibutani，K.，Isobe，T.，Hiwatari，H.，Mitsuda，A.，秋田，T.，Shirai，T。 参考文献： 52种出版物（2011-2022） 相关软件： 出席；王子；西蒙；绳线；裂；卡坦… 主要领域： 计算机科学（68-XX）；运筹学，数学规划（90-XX）；信息与通信理论，电路（94-XX）
NetSolve公司 软件作者：多里安·阿诺德、苏德什·阿格拉瓦尔、苏珊·布莱克福德、杰克·东加拉、克里斯托夫·法比亚内克、博友、埃里克米克、米歇尔·米勒、基兰·萨吉、基思·西摩、石志奥和萨蒂什·瓦迪耶 参考文献： 43种出版物（1997-2016） 相关软件： Ninf-G/MPI；尼姆罗德/G；Globus工具包；斯卡拉帕克；秃鹰-G；饮食… 主要领域： 常微分方程组（34-XX）；统计学（62-XX）；数值分析（65-XX）
旋转 软件作者：ADRIAN PERRIG、ROBERT SZEWCZYK、J.D.TYGAR、VICTOR WEN和DAVID E.CULLER 参考文献： 26种出版物（2002-2022） 相关软件： 廷耶克；标签；阿维斯帕；电报；海绵状；出席… 主要领域： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
斯威夫特 软件作者：卢巴谢夫斯基，瓦迪姆；米奇安西奥，丹妮尔；佩克特，克里斯；罗森，阿隆 参考文献： 49种出版物（2008-2021年） 相关软件： NTRU；NTL公司；SWIFFTX；库达大学；BKZ公司；GitHub… 主要领域： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）
秃鹰-G 软件作者：詹姆斯·弗雷、托德·坦南鲍姆、米隆·利夫尼、伊恩·福斯特、史蒂文·图克 参考文献： 22种出版物（2001-2014） 相关软件： Globus工具包；Java CoG套件；尼姆罗德/G；仙人掌；网络解决方案；毕业生… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）
高 软件作者：杰桑；郑，基泰；金玄；金钟松；Chee，Seongtaek 参考文献： 45种出版物（2006-2022） 相关软件： 出席；卡坦；克坦坦；裂；西蒙；麦克雷普顿… 主要领域： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）
JBoss 软件作者：红帽公司。 参考文献： 21种出版物（2004-2016） 相关软件： 流口水；AspectJ公司；WebSphere；雅斯科；萨瓦拉；涂鸦… 主要领域： 一般性和全局性主题；收款（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
L块 软件作者：吴文玲；张磊 参考文献： 48种出版物（2011-2022） 相关软件： 出席；绳线；克坦坦；裂；西蒙；卡坦… 主要领域： 数论（11-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
闪光灯 软件作者：帕塔林，雅克；科托瓦，尼古拉斯；Goubin，路易斯 参考文献： 47种出版物（2001-2021） 相关软件： FGb公司；闪光灯；岩浆；HE-E1GODF；草履虫；地图… 主要领域： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）
XM2VTSDB 软件作者：梅瑟，K.，马斯塔斯，J.，基特勒，J.，卢廷，J.，梅瑟，G。 参考文献： 22种出版物（2000-2017） 相关软件： 费雷特；AR面；CMU派；LFW；仿生人脸数据库；多重馅饼… 主要领域： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
斑点 软件作者：雷·比略；道格拉斯·肖尔斯；杰森·史密斯；斯特凡·特莱特曼·克拉克；布赖恩周；路易斯边锋队 参考文献： 42种出版物（2014-2022） 相关软件： 西蒙；西梅克；出席；王子；短笛；发光二极管… 主要领域： 数论（11-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CMQV公司+ 软件作者：李辉；吴传坤 参考文献： 38种出版物（2005-2022） 相关软件： 纳克索斯；阿维斯帕；EC2C-PAKA；优雅；NIST统计测试套件；普拉德… 主要领域： 数论（11-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）
极瘦的 软件作者：贝勒，克里斯托夫；珍，杰瑞梅；科尔布，斯特凡；利安德，格雷戈；莫拉迪，阿米尔；佩林，托马斯；佐佐木；萨斯德里奇，帕斯卡；Sim，Siang Meng 参考文献： 37种出版物（2016-2022） 相关软件： 西蒙；出席；米多里；奎基；王子；斑点… 主要领域： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）
曲线25519 软件作者：伯恩斯坦，D.J。 参考文献： 34种出版物（2006-2022） 相关软件： 欧洲银行账户系统；mpFq；EFD；埃巴什；github；岩浆… 主要领域： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）
莫德国家公园 软件作者：圣地亚哥埃斯科巴；梅多斯，凯瑟琳作者简介；梅斯盖尔，何塞；圣地亚哥，索尼娅 参考文献： 31种出版物（2009-2022） 相关软件： 莫德；阿维斯帕；罗望子；MTT法；雅帕；NRL… 主要领域： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
杂凑 软件作者：N。Ferguson、S.Lucks、B.Schneier、D.Whiting、M.Bellare、T.Kohno、J.Callas和J.Walker 参考文献： 33种出版物（2011-2021） 相关软件： 凯卡；西蒙；萨尔萨20；奎基；斑点；西梅克… 主要领域： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）
轻松 软件作者：巴瑟，吉尔；格雷戈耶，本杰明；赫劳德，西尔文；Béguelin，圣地亚哥·萨内拉 参考文献： 32种出版物（2011-2021） 相关软件： 成本；F*；隐窝；伊莎贝尔/霍尔；阿维斯帕；z3… 主要领域： 数理逻辑与基础（03-XX）；范畴论；同调代数（18-XX）；计算机科学（68-XX）
茶 软件作者：惠勒，大卫J。；李约瑟，罗杰·M。 参考文献： 31种出版物（1995-2021） 相关软件： XTEA；出席；山茶花；高度；卡坦；克坦坦… 主要领域： 组合数学（05-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）
特基 软件作者：珍，杰瑞梅；伊维卡，尼科里奇；佩林，托马斯 参考文献： 32种出版物（2014-2022） 相关软件： 极瘦的；西蒙；绞链；正方形；罗穆卢斯；出席… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
隐窝 软件作者：乌斯蒂门科，瓦西里 参考文献： 29种出版物（2001-2015） 相关软件： 地穴；伽罗瓦域算术库 主要领域： 组合数学（05-XX）；代数几何（14-XX）；计算机科学（68-XX）
朦胧 软件作者：松井，三苏 参考文献： 27种出版物（1997-2021） 相关软件： 山茶花；出席；正方形；冰山；蛇；皮卡罗… 主要领域： 组合数学（05-XX）；序，格，有序代数结构（06-XX）；数论（11-XX）
OFMC公司 软件作者：塞巴斯蒂安·莫德谢姆，卢卡·维甘 参考文献： 25种出版物（2005-2021年） 相关软件： 阿维斯帕；NRL公司；卡斯珀；莫德；普罗夫里夫；Maude NPA… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
诺肯 软件作者：Daeman，J.，Peeters，M.，阿什，G.V.，Rijmen，V。 参考文献： 26种出版物（2002-2022） 相关软件： 出席；西蒙；带路；王子；西梅克；斑点… 主要领域： 序，格，有序代数结构（06-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
乌克利德 软件作者：兰德尔•E•布莱恩特；Shuvendu K.拉希里；桑吉特·塞希亚 参考文献： 24种出版物（2002-2020） 相关软件： 糠；PVS公司；迷你卫星；SMT-LIB；cvc3；围攻… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；数论（11-XX）
米奇 软件作者：巴贝奇，S.，多德，M。 参考文献： 23种出版物（2008-2021） 相关软件： 谷物；雌酚；三层；出席；兔子；卡坦… 主要领域： 序，格，有序代数结构（06-XX）；交换代数（13-XX）；计算机科学（68-XX）
狐狸 软件作者：朱诺德，P.，杂耍，S。 参考文献： 23种出版物（2005-2021年） 相关软件： 带路；两条鱼；克坦坦；山茶花；朦胧；出席… 主要领域： 组合数学（05-XX）；数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）
拖把 软件作者：陈，H.，瓦格纳，D。 参考文献： 15种出版物（2003-2019） 相关软件： 猛击；爆破；旋转；贝博普；CIL公司；简化… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
海绵状的 软件作者：Bogdanov，A.，Knžević，M.，Leander，G.，Toz，D.，Varıcı，K.，韦伯韦德，I。 参考文献： 21种出版物（2011-2022） 相关软件： 出席；凯卡；克坦坦；卡坦；短笛；夸克… 主要领域： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）
弗罗多肯 软件作者：埃尔德姆·阿尔基姆、乔佩·W·博斯、莱奥·杜卡斯、卡伦·伊斯特布鲁克、布莱恩·拉马奇亚、帕特里克·隆加、伊利亚·米罗诺夫、迈克尔·纳赫里格、瓦莱丽娅·尼古拉连科、克里斯·佩克特、阿南特·拉古纳坦、道格拉斯·斯特比拉 参考文献： 22种出版物（2018-2022） 相关软件： 麦克莱斯；猎鹰；军刀；github；BKZ公司；纳克索斯… 主要领域： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）
夸克 软件作者：J.-P.Aumasson、L.Henzen、W.Meier、M.Naya Plasencia 参考文献： 21种出版物（2010-2021） 相关软件： 克坦坦；出席；卡坦；谷物；三层；海绵状的… 主要领域： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）
XtremWeb 软件作者： – 参考文献： 10种出版物（2001-2017） 相关软件： BOINC公司；夏洛特；标枪++；Globus工具包；佐藤；诗篇… 主要领域： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
Poly1305 AES 软件作者：伯恩斯坦，丹尼尔J。 参考文献： 20种出版物（2005-2021） 相关软件： 嗯；下雪；斯皮哈什；恰恰；雌酚；GitHub… 主要领域： 数论（11-XX）；场论与多项式（12-XX）；计算机科学（68-XX）
锡德 软件作者：Costello，C.，Longa，P.，Naehrig，M。 参考文献： 21种出版物（2016-2022） 相关软件： 锡克；github；PQM4；HMQV；麦克莱斯；萨默思… 主要领域： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）
F* 软件作者：微软研究院；斯瓦米，尼基尔；陈娟；福奈特，塞德里克；斯特拉布，皮埃尔·伊夫；巴格文，卡蒂克扬；杨，珍 参考文献： 20种出版物（2011-2020） 相关软件： 成本；易受骗；Nuprl公司；伊德里斯；爱迪丝；z3… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
Jif公司 软件作者：A.C.Myers，L.Zheng，S.Zdancewic，S.Chong，N.Nystrom公司 参考文献： 18种出版物（2006-2021） 相关软件： 福斯；CAVA LTL模型检查器；Ur/Web；被宠坏了；seL4；卡凯尔… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
卡西米 软件作者：佐藤，明石；森冈，相雄 参考文献： 20种出版物（2002-2016） 相关软件： 山茶花；漩涡；VBFlib；资料包；加密酚；布尔福… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
克莱因 软件作者：郑功、斯维特拉·尼科娃、叶维洛 参考文献： 20种出版物（2011-2020） 相关软件： 出席；王子；克坦坦；卡坦；带路；绳线… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
麦克里普顿 软件作者：公共科学图书馆，托马斯；多布拉尼，克里斯托夫；霍芬格，马库斯；奥普里斯尼克，亚历山大；威斯梅尔，克里斯托夫；威斯梅尔，约翰内斯 参考文献： 19种出版物（2008-2021） 相关软件： 出席；高度；克坦坦；卡坦；裂；短笛… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
变质 软件作者：马图拉纳，F。；沈伟。；诺丽，D.H。 参考文献： 18种出版物（1999-2010） 相关软件： 肩带；Moise+；发明人；CATIA V5；禁忌搜索；免疫… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
丰富的决策 软件作者：萨洛，A.，邦卡，A。 参考文献： 20种出版物（2005-2022） 相关软件： 康皮尔斯；主要决策；VIP分析；UTA Plus；麦克白；探头… 主要领域： 一般性和全局性主题；收款（00-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）
兔子 软件作者：马丁·博斯加德，梅特·维斯特雷格，托马斯·彼得森，杰斯珀·克里斯蒂安森，奥夫·斯卡维尼乌斯 参考文献： 18种出版物（2003-2021） 相关软件： 雌酚；谷物；索斯马努克；米奇；萨尔萨20；三叶草… 主要领域： 数论（11-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
咬合 软件作者：卡尔·查杰科夫斯基；福斯特，伊恩；凯瑟尔曼，卡尔；桑德，沃尔克；图克，史蒂文 参考文献： 10种出版物（2002-2013） 相关软件： Globus工具包；开放科学网格；秃鹰-G；Java CoG套件；飞马座；杰西… 主要领域： 计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
罗望子 软件作者：Meier，S.，Schmidt，B.，Cremers，C.，盆地，D。 参考文献： 18种出版物（2015-2021） 相关软件： 阿维斯帕；Maude国家警察局；阿基斯；莫德；普罗夫里夫；阿普特… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
雅帕 软件作者：波德，马修；科蒂埃，维罗尼克；德劳恩，圣潘妮 参考文献： 18种出版物（2009-2020） 相关软件： 阿维斯帕；阿基斯；Maude国家警察局；普罗夫里夫；OFMC；快… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
皮卡罗 软件作者：Piret，G.，罗氏，T.，Carlet，C。 参考文献： 17种出版物（2013-2022） 相关软件： 出席；西蒙；王子；西梅克；斑点；短笛… 主要领域： 组合数学（05-XX）；序，格，有序代数结构（06-XX）；数论（11-XX）
陌生人 软件作者：方宇、穆阿特·阿尔卡拉夫、特夫菲克·布尔坦 参考文献： 17种出版物（2011-2021） 相关软件： 汉比；Z3str3型；诺恩；z3；S3；通过… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
独角兽 软件作者：胡贝尔，瓦伦蒂娜 参考文献： 13种出版物（2001-2010） 相关软件： 诺杜格里德；Globus工具包；GridSim公司；网格实验室；伊曼；阿斯卡隆… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
粘合剂 软件作者：德特勒维尔，J。 参考文献： 14种出版物（2005-2022） 相关软件： 丹麦克朗；肥猪；红宝石；哈斯克尔；润滑油；旋转… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
小人 软件作者：伯杰，Thierry P.作者简介；弗朗克，朱利安；米尼尔，海军陆战队；托马斯，盖尔 参考文献： 16种出版物（2016-2022） 相关软件： 极瘦的；正方形；米多里；西蒙；西梅克；短笛… 主要领域： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）
麦柯伊 软件作者：E。弗莱希曼，C.福勒，S.卢卡斯 参考文献： 16种出版物（2012-2021） 相关软件： 榆树；极瘦的；MCBC公司；眼镜蛇；绞链；嗯… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
嗯 软件作者：哈列维，夏伊；克劳茨克，雨果 参考文献： 16种出版物（1997-2021） 相关软件： Poly1305 AES；麦考；榆树；MCBC公司；榆树；埃斯特雷姆… 主要领域： 一般性和全局性主题；收款（00-XX）；数论（11-XX）；场论与多项式（12-XX）
遗迹 软件作者：Aranha，D.F.，Gouvèa，C.P.L。 参考文献： 16种出版物（2010-2022） 相关软件： github；米拉克尔；mpFq；廷耶克；氯化钠；eBACS… 主要领域： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）
飞天螳螂 软件作者：克雷默斯，C。 参考文献： 14种出版物（2009-2017） 相关软件： 阿维斯帕；阿基斯；罗望子；卡斯珀；会议主席；阿普特… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
维夫 软件作者：伊万，达格å路；盖斯勒，马丁；克里加尔，米克尔；尼尔森，Jesper Buus 参考文献： 14种出版物（2009-2022） 相关软件： 共享思想；公平游戏；美味的；VMCrypt公司；fhe；MP-SPDZ… 主要领域： 计算机科学（68-XX）；粒子与系统力学（70-XX）；信息与通信理论，电路（94-XX）
阿基斯 软件作者：罗希特·查达、文森特·切瓦尔、特凡·乔布、史蒂夫·克莱默 参考文献： 15种出版物（2012-2021） 相关软件： 阿维斯帕；罗望子；阿普特；雅帕；镰刀；Maude NPA… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
方庭 软件作者：贝贝恩，科米；吉尔伯特，亨利；帕塔林，雅克 参考文献： 15种出版物（2006-2020） 相关软件： 麦克莱斯；雌酚；ZHFE公司；库达大学；下雪；尖叫… 主要领域： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）
虹膜 软件作者：Tsai，J.，Rathi，S.，Kiekintveld，C.，Ordónez，F.，Tambe，M。 参考文献： 14种出版物（2010-2022） 相关软件： VRP公司 主要领域： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
图拉费 软件作者：巴格文，卡蒂克扬；福奈特，塞德里克；戈登，安德鲁D。；普塞拉，里卡多 参考文献： 12种出版物（2004-2012） 相关软件： Spi2Java；普罗夫里夫；阿维斯帕；AsmL公司；阿斯皮尔；轻松；轻松… 主要领域： 一般性和全局性主题；收款（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
迷你乐高 软件作者：弗雷德里克森，托尔·卡斯帕；雅各布森，托马斯·佩尔；尼尔森，杰斯珀·布乌斯；诺德霍尔特，彼得·塞巴斯蒂安；奥兰迪，克劳迪奥 参考文献： 13种出版物（2013-2021） 相关软件： 丁尼莱戈；屈肌；美味的；EMP工具包；可调；VMCrypt… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
安全UML 软件作者：洛德斯泰特，托尔斯滕；盆地，大卫；杜瑟，约根 参考文献： 7种出版物（2002-2014） 相关软件： Z轴；旋转；HOL-OCL；STG；梅花；阿加莎… 主要领域： 计算机科学（68-XX）
坚实的 软件作者：Bartal，Y.，Mayer，A.，Nissim，K.，羊毛，A。 参考文献： 6种出版物（2001-2018） 相关软件： 消防员；天空盒；用鼻子哼哼；格拉夫维兹；nftables公司；iptables… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
G-Hadoop公司 软件作者：赵佳琪；王丽哲；道、洁；陈金军；太阳，伟业；拉吉夫·兰扬；乔安娜，科洛齐耶伊；斯特雷特，阿基姆；乔治·科普洛斯，迪米特里奥斯 参考文献： 8种出版物（2014-2018） 相关软件： Hadoop；MapReduce；库达大学；大表；开放星云；Apache Spark… 主要领域： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）
海滨 软件作者：德菲奥，卢卡；加尔布雷斯，史蒂文D。 参考文献： 12种出版物（2019-2022） 相关软件： github；圣哲数学；岩浆；fpLLL公司；菲德尔；gmp… 主要领域： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）
火焰 软件作者：D.X.Song、D.Brumley、H.Yin、J.Caballero、I.Jager、M.G.Kang、Z.Liang、J.Newsome、P.Poosankam、P.Saxena 参考文献： 6种出版物（2012-2019） 相关软件： 巴普；迪坦；投掷；Java探路者；VMHunt公司；NISLVMP… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
EC2C-PAKA公司 软件作者：尹金旭；李东勋；林，钟进 参考文献： 9种出版物（2007-2013） 相关软件： CMQV+；HMQV公司 主要领域： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
屈肌 软件作者：科列斯尼科夫，弗拉基米尔；莫哈塞尔，佩曼；罗斯勒克，迈克 参考文献： 11种出版物（2014-2022） 相关软件： 可调；迷你乐高；github；麦克莱斯；诽谤；OpenSSL… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
审问者 软件作者：乔纳森K米伦 参考文献： 8种出版物（1998-2013） 相关软件： PVS公司；伊莎贝尔/霍尔；OFMC；霍尔；Isar；毫升… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
米纳尔弗 软件作者：佐佐木、托多、青木、奈藤、杉原、村上春树、松井M、广濑。 参考文献： 11种出版物（2015-2022） 相关软件： 极瘦的；榆树；带路；短笛；奎基；海绵状的… 主要领域： 组合数学（05-XX）；信息与通信理论，电路（94-XX）
ZHFE公司 软件作者：波拉斯，J.，巴埃纳，J.，丁，J。 参考文献： 11种出版物（2014-2021） 相关软件： 岩浆；方庭；福格布鼠尾草；西顿密码系统；M4GB；FGb… 主要领域： 数论（11-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
ARXtools公司 软件作者：勒伦特，加坦 参考文献： 10种出版物（2013-2019） 相关软件： 斯皮哈什；西蒙；西梅克；XTEA；绞链；亚尔克斯… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
海狸 软件作者：桑吉特·塞希亚 参考文献： 9种出版物（2010-2021） 相关软件： 是的；z3；数学卫星；选择器；迷你卫星；CVC4… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
生物群落 软件作者：加西亚·萨利塞蒂，索尼娅；比米耶，查尔斯；乔利特，杰拉德；多里兹，伯纳黛特；Leroux les Jardins，珍；伦特，一月；倪，杨；彼得罗夫斯卡·德拉克雷塔兹，迪贾纳 参考文献： 6种出版物（2003-2010） 相关软件： XM2VTSDB；项目经理；联邦储备委员会 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
夏洛特 软件作者：Baratloo A、Karaul M、Kedem Z和Wijckoff P 参考文献： 4种出版物（2006-2017） 相关软件： BOINC公司；XtremWeb；标枪++；Globus工具包；MapReduce；玛格达… 主要领域： 计算机科学（68-XX）；运筹学，数学规划（90-XX）
舒适 软件作者：Sagar Chaki，James Ivers，Natasha Sharygina，Kurt C.Wallnau 参考文献： 10种出版物（2005-2011） 相关软件： 魔术；撒旦；贝博普；肩带；TLPV；克莱姆… 主要领域： 计算机科学（68-XX）
猎鹰 软件作者：Pierre Alain Fouke，Jeffrey Hoffstein，Paul Kirchner，Vadim Lyubashevsky，Thomas Pornin，Thomas Prest，Thomas Ricosset，Gregor Seiler，William Whyte，Zhenfei Zhang 参考文献： 10种出版物（2019-2022） 相关软件： 军刀；NTRU；NTRUSign公司；宝石；弗罗多肯；GitHub… 主要领域： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
聚焦 软件作者：印度卢比；佩索，F.，韦亚，P.，多利盖兹，D。 参考文献： 8种出版物（2015-2021） 相关软件： 成本；德杜克蒂；PVS公司；泽农；伊莎贝尔/霍尔；霍尔灯… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
图2vec 软件作者：Annamalai Narayanan、Mahinthan Chandramohan、Rajasekar Venkatesan、Lihui Chen、Yang Liu、Shantanu Jaiswal 参考文献： 9种出版物（2018-2021） 相关软件： 节点2VEC；深步行；word2vec；阿夫根；皮格斯普；努比… 主要领域： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）
微列 软件作者：托马斯·艾森伯斯；居尼苏，蒂姆作者简介；海斯，斯蒂芬；帕尔，克里斯托夫 参考文献： 10种出版物（2008-2021） 相关软件： 麦克莱斯；凯伯；括约肌；brnoeth.lib；凯卡 主要领域： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）