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);安妮·坎特;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)
NAXOS公司 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;科尔贝尔,斯特凡;Gregor Leander;阿米尔·莫拉迪;托马斯·佩林(Thomas Peyrin);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)…
AVISPA公司 82份文件引用(2005–2023) 软件作者: 信息社会技术方案下的欧洲共同体(1998-2002年) 相关软件: 卡斯珀;ProVerify;OFMC… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
Nitpick公司 77份文件引用(1999–2023) 软件作者: Jasmin Christian布兰切特;托比亚斯·尼普科 相关软件: 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;VisualSEEk… 主要字段: 欧氏空间(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) 软件作者: 吉尔·巴特;本杰明·格雷戈里;Sylvain Heraud;贝盖林,圣地亚哥·扎内拉 相关软件: Coq;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)…
SIDH公司 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;迷你卫星… 主要字段: 一般性和全局性主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…
MOPS公司 15篇文献引用(2003–2019) 软件作者: Chen,H.、Wagner,D。 相关软件: SLAM;爆炸;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
陌生人 22篇文献引用(2011年-2023年) 软件作者: Fang Yu、Muath Alkhalaf、Tevfik Bultan 相关软件: 汉普;S3;Z3str3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
查斯基 22篇文献引用(2014–2023) 软件作者: 穆哈,N。;Mennink,B。;Van Herrewege,A。;渡边捷昭。;Preneel,B。;Verbauwhede,I。;Joux,A。;A.优素福。 相关软件: SPECK;西蒙;萨尔萨20… 主要字段: 组合数学(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。;Leander,G。;莫拉迪,A。;拉苏尔扎德,S。 相关软件: 极瘦的;出席;西蒙… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
F类* 21篇文献引用(2011–2020) 软件作者: 微软研究院(INRIA);尼基尔·斯瓦米;Chen,Juan;Fornet,塞德里克;支柱,Pierre-Yves;卡尔蒂基扬·巴尔干;Yang,Jean杨 相关软件: Coq;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) 软件作者: 伊凡·达姆加德;马丁·盖斯勒(Martin Geisler);米克尔·克里加德;杰斯珀·布乌斯·尼尔森 相关软件: 分享者;FairplayMP;美味… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);信息与通信理论,电路(94-XX)
XooTools公司 19份文件引用(2021–2023) 软件作者: Daemen,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-预测;鲁比… 主要字段: 数学逻辑与基础(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)。;卢卡·亨岑 相关软件: 查查;萨尔萨20;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) 软件作者: 卡尔蒂基扬·巴尔干;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)…