EMD公司 222篇文献引用(2000–2024) 软件作者: Y.鲁布纳 相关软件: Wasserstein GAN;SIFT;简单性… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
HMQV公司 105份文献中引用(2001–2023) 软件作者: 雨果·克劳茨克 相关软件: NAXOS;金利;XooTools… 主要字段: 组合数学(05-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…
BLISS公司 60篇文献引用(2013–2024) 软件作者: 杜卡斯,L。;Durmus,A。;Lepoint,T。;柳巴舍夫斯基,V。 相关软件: NTRU;NTRU签名;GitHub… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
闪存 50篇文献引用(2001–2021) 软件作者: 雅克·帕塔林;尼古拉斯·科托伊斯(Nicolas Courtois);路易斯·古宾 相关软件: FGb;闪光;岩浆… 主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)…
NTRU签名 49篇文献引用(2003–2023) 软件作者: 杰弗里·霍夫斯坦;Howgrave-Graham,Nick;吉尔·皮弗;约瑟夫·西尔弗曼(Joseph H.Silverman)。;威廉·怀特 相关软件: NTRU;BLISS;BKZ… 主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…
海洋标志 39篇文献引用(2019年-2023年) 软件作者: Luca De Feo;史蒂文·加尔布雷思。 相关软件: CSI-FiSh;SageMath;CSIDH… 主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…
F2PY(上一财年) 引用于27份文件(2000–2022) 软件作者: 佩鲁·彼得森 相关软件: 蟒蛇;SciPy;数字标识… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)…
WSAT公司 29篇文献引用(2004–2019) 软件作者: 傅湘;特维克布尔坦;苏建文 相关软件: BPEL2PN;CADP;旋转… 主要字段: 数理逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
BEASY公司 34份文件引用(1982年至2019年) 软件作者: 丹森,D.J。;加利福尼亚州布雷比亚。 相关软件: NASGRO;Netgen;阿巴库斯… 主要字段: 偏微分方程(35-XX);近似和展开(41-XX);数值分析(65-XX)…
SPHINS公司 34份文件引用(2018–2023) 软件作者: 安德烈亚斯·胡尔辛 相关软件: github;杜兰达尔;猎鹰… 主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…
迪朗达尔 30篇文献引用(2019–2024) 软件作者: 北阿拉贡。;布拉齐,O。;Gaborit,P。;A.Hauteville。;泽莫尔,G。 相关软件: 麦克利埃塞;自行车;NTRU… 主要字段: 数论(11-XX);交换代数(13-XX);计算机科学(68-XX)…
SMT-RAT型 25篇文献引用(2013–2024) 软件作者: Corzilius,F.、Kremer,G.、Junges,S.、Schupp,S.和Al brahám,E。 相关软件: z3;SMT-LIB;CVC4… 主要字段: 数理逻辑与基础(03-XX);交换代数(13-XX);代数拓扑(55-XX)…
猎鹰 25篇文献引用(2019年-2023年) 软件作者: 皮尔雷·阿莱恩·福克、杰弗里·霍夫斯坦、保罗·基什内尔、瓦迪姆·柳巴舍夫斯基、托马斯·波宁、托马斯·布雷斯特、托马斯里科赛特、格雷戈·塞勒、威廉·怀特、张振飞 相关软件: github;BLISS;GeMSS… 主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)…
ESIGN公司 24篇文献引用(1991–2022) 软件作者: 藤冈,Atsushi;冈本,Tatsuaki;宫崎骏,Shoji 相关软件: 哈瓦尔 主要字段: 历史与传记(01-XX);数论(11-XX);数值分析(65-XX)…
CSI-菲什 20篇文献引用(2019年-2023年) 软件作者: W.Beullens、T.Kleinjung、F.Vercauteren 相关软件: 海洋标志;github;岩浆… 主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…
性能确认4 19份文件引用(2019年-2023年) 软件作者: M.J.Kannwischer、J.Rijneveld、P.Schwabe、K.Stoffelen。 相关软件: github;凯伯;西克… 主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…
微型ECC 17篇文献引用(2009–2020) 软件作者: 刘安;彭宁 相关软件: 纳米ECC;自旋;HECC… 主要字段: 组合数学(05-XX);代数几何(14-XX);计算机科学(68-XX)…
科卡 19份文件引用(2014–2023) 软件作者: Leijen博士。 相关软件: 效率;github;ML… 主要字段: 数理逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
InterProScan公司 6篇文献引用(2009–2022) 软件作者: E.Quevillon、V.Silventoinen、S.Pillai、N.Harte、N.Mulder、R.Apweiler、R.Lopez 相关软件: 爆炸;PSI-爆炸;UniProt… 主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
BlackMax公司 17篇文献引用(2009–2019) 软件作者: D.-C.Dai等人。 相关软件: CHARYBDIS2;鲶鱼;NINJA… 主要字段: 经典热力学,传热(80-XX);量子理论(81-XX);相对论与引力理论(83-XX)…
测谎仪 4份文件引用(2010–2018) 软件作者: 纽瑟姆,J.,卡普,B.,宋,D。 相关软件: 签名;哈马斯;Snort… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
签名 4份文件引用(2010–2018) 软件作者: 金,H.A.,卡普,B。 相关软件: 多谱仪;用鼻子哼哼;哈马斯… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);信息与通信理论,电路(94-XX)
GeMSS公司 16篇文献引用(2020–2023) 软件作者: 卡萨诺娃A.、福盖尔J.-C.、马卡里奥·拉特G.、帕塔林J.、佩雷特L.、雷基姆J。 相关软件: EFLASH;岩浆;猎鹰… 主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)…
SIGREF公司 15篇文献引用(2006–2022) 软件作者: 拉尔夫·威默(Ralf Wimmer);马克·赫伯斯特里特;赫尔曼斯,霍尔格;凯利·斯特兰普;贝恩德·贝克尔 相关软件: 棱镜;MRMC;CADP… 主要字段: 数理逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
ANCFIS公司 14篇文献引用(2012–2023) 软件作者: 陈志飞;萨拉·阿格哈尼;詹姆斯·曼;斯科特·迪克 相关软件: ANFIS;TISEAN公司;FLANN… 主要字段: 数理逻辑与基础(03-XX);统计学(62-XX);运筹学,数学规划(90-XX)…
事实真相 14篇文献引用(2020–2023) 软件作者: Raymond K.Zhao、Ron Steinfeld、Amin Sakzad 相关软件: BLISS;GALATICS公司;GitHub… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
GluCat公司 14篇文献引用(2004–2023) 软件作者: 保罗·雷奥帕迪 相关软件: 盖根;加洛普;克利福德… 主要字段: 组合数学(05-XX);数论(11-XX);线性代数和多线性代数;矩阵理论(15-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)…
巴里萨德 12份文件引用(2019年-2023年) 软件作者: Polyakov,Y.、Rohloff,K.、Ryan,G.W。 相关软件: github;HElib;FHEW… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
平方英尺 12份文件引用(2015–2023) 软件作者: 简·亨德里克·布鲁尼尔(Jan Hendrik Bruinier);埃伦,斯蒂芬;埃伯哈德·弗雷塔格 相关软件: SageMath;eisenstein系列;KoszulDivisor OnPic14M8… 主要字段: 总体主题;藏品(00-XX);数论(11-XX);代数几何(14-XX)…
通用燃料电池 12份文件引用(2013–2023) 软件作者: 马丁·桑德夫·阿尔诺;安德斯·洛格;肯特·安德烈·马尔达尔 相关软件: FEniCS;UFL;道芬… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
生物信息技术 6篇文献引用(2003–2010) 软件作者: 索尼娅·加里亚·萨利塞蒂(Sonia Garcia-Salicetti);查尔斯·贝米埃(Charles Beumier);胆汁,杰拉德;伯纳黛特·多里齐(Bernadette Dorizzi);Leroux les Jardins,Jean;伦特,一月;倪、杨;彼得罗夫斯卡·德拉克雷塔兹(Petrovska-Delacreétaz),迪亚纳 相关软件: XM2VTSDB;在法律上;PRMLT… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
MuSig2型 10篇文献引用(2021–2023) 软件作者: Nick,J.、Ruffing,T.、Seurin,Y。 相关软件: github;霜;SR-MuSig2… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
签名输入变量 10篇文献引用(2019年-2023年) 软件作者: 乔沙·迪尔(Joscha Diehl);杰里米·雷森斯坦 相关软件: 签字人;Diffrax;ii签名… 主要字段: 代数几何(14-XX);结合环与代数(16-XX);非结合环与代数(17-XX)…
甘贾.js 8份文件引用(2020–2023) 软件作者: 史蒂文·德凯宁克 相关软件: github;加拉蒙;克利福德… 主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);几何(51-XX)…
SyPet公司 8份文件引用(2017–2024) 软件作者: 冯瑜;鲁本·马丁斯(Ruben Martins);王跃鹏;伊西尔·迪利格;代表,Thomas W。 相关软件: 代码提示;Daikon;JSketch… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
第22条 6篇文献引用(2020–2023) 软件作者: Carl H Lubba、Sarab S Sethi、Philip Knaute、Simon R Schultz、Ben D Fulcher、Nick S Jones 相关软件: 火箭;FFORMA;hctsa… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
幽灵 7份文件引用(2013–2023) 软件作者: 罗伯·帕特罗;卡尔·金斯福德 相关软件: IsoRank;L-格雷尔;脊椎… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)…
NetLSD公司 4份文件引用(2020–2024) 软件作者: Anton Tsitsulin、Davide Mottin、Panagiotis Karras、Alex Bronstein、Emmanuel Müller 相关软件: 蟒蛇;PyTorch;科学… 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);统计学(62-XX)…
公寓 5份文件引用(2017–2018) 软件作者: V.雪娃;David Baelde、Stephanie Delaune、Lucca Hirschi 相关软件: 阿克斯;塔马林;AVISPA… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
证书密码 5份文件引用(2009–2017) 软件作者: 吉尔·巴特;本杰明·格雷戈里;圣地亚哥Zanella Béguelin 相关软件: 辅酶q;Coq/SS反射;EasyCrypt… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
SigWGAN公司 6篇文献引用(2023–2024) 软件作者: 倪浩;斯普鲁奇、卢卡斯;Sabate-Vidales,马克;肖宝仁;Wiese,Magnus;廖树建 相关软件: 亚当;广安;熊猫… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
核桃DSA 6篇文献引用(2018–2022) 软件作者: 安塞尔,I。;阿特金斯,D。;Goldfeld,D。;冈内尔斯,P。 相关软件: github;GeMSS;自行车… 主要字段: 群论与推广(20-XX);计算机科学(68-XX);量子理论(81-XX)…
BLAZE(黑色) 5份文件引用(2020–2022) 软件作者: Alkadri,Nabil Alkeilani;拉希德·班萨卡尼;约翰·布赫曼 相关软件: BKZ公司 主要字段: 计算机科学(68-XX);量子理论(81-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
电子ATS 5份文件引用(2008–2012) 软件作者: 欧洲加密货币 相关软件: mpFq;MIRACL公司;曲线25519… 主要字段: 数论(11-XX);代数几何(14-XX);信息与通信理论,电路(94-XX)
通用航空公司 5份文件引用(2002–2020) 软件作者: M.阿什当。 相关软件: 盖根;Clifford Multivector工具箱;GABLE… 主要字段: 代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)…
伽马MaP 4份文件引用(2021–2023) 软件作者: 皮里·库塞拉 相关软件: Mathematica;伽马射线;表格… 主要字段: 非结合环与代数(17-XX);微分几何(53-XX);数值分析(65-XX)…
哈姆萨 2份文件引用(2010–2018) 软件作者: Li,Z.,Sanghi,M.,Chen,Y.,Kao,M.Y.,Chavez,B。 相关软件: 多谱仪;签名;Snort… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
霍克 5份文件引用(2023) 软件作者: 莱奥·多卡斯;伊斯曼·W·波斯特莱斯特。;滑轮,Ludo N。;韦塞尔·范沃尔登 相关软件: github;fpylll;猎鹰… 主要字段: 组合数学(05-XX);数论(11-XX);数值分析(65-XX)…
签字人 5份文件引用(2021–2023) 软件作者: 帕特里克·基德(Patrick Kidger)、特里·莱昂斯(Terry Lyons) 相关软件: ii签名;github;签名不变量… 主要字段: 结合环与代数(16-XX);非结合环与代数(17-XX);概率论与随机过程(60-XX)…
CFS公司 4份文件引用(2012–2022) 软件作者: 格雷戈里·兰代斯;尼古拉斯·森德里尔 相关软件: 麦克利埃塞;杜兰达尔;BKZ… 主要字段: 量子理论(81-XX);信息与通信理论,电路(94-XX)
CoqInE公司 4份文件引用(2015–2021) 软件作者: Ali Assaf、Mathieu Boespflug、Guillaume Burel、Quentin Carbonneaux、Gaspard Férey、François Thire 相关软件: 辅酶q;CoqHammer;HOL灯… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
FAME公司 4份文件引用(2018–2022) 软件作者: 赵仪征;雷娜特·施密特(Renate A.Schmidt)。 相关软件: ELK;蛋白质-TS;Evonne… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
GSEA-P公司 2份文件引用(2015–2016) 软件作者: Subramanian,A.、H.Kuehn、J.Gould、P.Tamayo和J.P.Mesirov 相关软件: 生物晶格;org.Hs.eg.db;摄像机… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
GSVA公司 4份文件引用(2014–2021) 软件作者: Hänzelmann S、Castelo R、Guiney J 相关软件: 生物导体;MSigDB;烤面包… 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)
Isrewriten.mpl软件 4份文件引用(2011–2017) 软件作者: 阿米尔·哈希米;M.-Alizadeh,本亚明 相关软件: 枫树;F5C;DisPGB.mpl… 主要字段: 交换代数(13-XX);计算机科学(68-XX)
多功能自动数据分析机 2份文件引用(2015–2021) 软件作者: A.Saracino、D.Sgandurra、G.Dini、F.Martinelli 相关软件: AAPT2;威卡;TCPDUMP… 主要字段: 统计学(62-XX);计算机科学(68-XX)
卡塔尔金融服务管理局 4份文件引用(2011–2017) 软件作者: 萨拉·艾弗森;克里斯·菲尔德(Chris Field);Don Bowen;韦德·布兰查德;康妮·斯图尔特;Shelly Lang;贾斯汀·卡默曼 相关软件: ElemStatLearn;成分;UCI-ml… 主要字段: 统计学(62-XX);地球物理学(86-XX)
熊猫 引用于3份文件(2014–2020) 软件作者: Chuengsatiansup,Chitchanok;Michael Naehrig;潘斯·里巴斯基;彼得·施瓦布 相关软件: 太阳神;EAGL;皮诺奇… 主要字段: 数论(11-XX);代数几何(14-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
平行距离 在0个文档中引用 软件作者: 亚历山大·埃克特(Alexander Eckert)、卢卡斯·戈多伊(Lucas Godoy)、斯里坎郡(Srikanth KS) 相关软件: R;网状;微基准… 主要字段: –
先知 1份文件引用(2020) 软件作者: 麦地那,I。;蒙塔纳,D。;Tárraga,J。;J.多帕佐。 相关软件: StFinMetrics公司;因果影响;ipred… 主要字段: 运筹学,数学编程(90-XX)
SCAPI公司 1份文件引用(2017) 软件作者: Yael Ejgenberg、Moriya Farbstein、Meital Levy、Yehuda Lindell 相关软件: VMCrypt;FairplayMP;美味… 主要字段: 信息与通信理论,电路(94-XX)
坚固性 引用于3份文件(2018–2020) 软件作者: 加文·伍德(Gavin Wood)、克里斯蒂安·赖特维斯纳(Christian Reitwessner)、亚历克斯·贝雷格萨齐(Alex Beregszaszi)、莉安娜·胡西基(Liana Husikyan)、平井友一 相关软件: Servois;CVC4;PBC图书馆… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
表面签名.lib 引用于3份文件(1978年至2012年) 软件作者: 格哈德·普菲斯特;穆罕默德·阿赫桑·班亚明(Muhammad Ahsan Banyamin);斯特凡·斯特德尔 相关软件: 单一 主要字段: 代数几何(14-XX);几个复变量与解析空间(32-XX);计算机科学(68-XX)
计算代数 2份文件引用(2018–2021) 软件作者: 石井,广美 相关软件: github;DoCon公司;ghc-typelits-presburger… 主要字段: 交换代数(13-XX);全局分析,流形分析(58-XX);数值分析(65-XX)…
CoRF公司 1份文件引用(2019) 软件作者: Dennis E.te Beest、Steven W.Mes、Saskia M.Wilting、Ruud H.Brakenhoff、Mark A.van de Wiel 相关软件: 格伦;glmnet;骗局… 主要字段: 统计学(62-XX)
DOA交叉 2份文件引用(2020–2021) 软件作者: 纳比尔·阿里·汗;萨迪克阿里;Mokhtar Mohammadi;穆罕默德·哈尼夫 相关软件: github;Matlab;MTFSP公司 主要字段: 信息与通信理论,电路(94-XX)
EDISA公司 1份文件引用(2015) 软件作者: 《晚餐》,J。;斯特劳赫,M。;Wanke,D。;Harter,K。;A.泽尔。 相关软件: 戴维;ArrayExpress;KEGG公司 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)
签名 1份文件引用(2023) 软件作者: James Z.Chen、Nikolaus Grigorieff 相关软件: DeepPicker;cisTEM;crYOLO… 主要字段: 欧氏空间(42-XX)的调和分析;统计学(62-XX);计算机科学(68-XX)…
SyzInv.mpl公司 2份文件引用(2018–2021) 软件作者: Binaei,Bentolhoda;阿米尔·哈希米;Werner M.塞勒。 相关软件: 枫树 主要字段: 交换代数(13-XX);计算机科学(68-XX)
齐兹 2份文件引用(2020–2021) 软件作者: Niksefat,S。;Sadeghiyan,B。;莫哈塞尔,P。;SS萨德基安 相关软件: FairplayMP;github;澳大利亚银行 主要字段: 信息与通信理论,电路(94-XX)
应用镜检查 1份文件引用(2015) 软件作者: Feng,Y.、Anand,S.、Dillig,I.、Aiken,A。 相关软件: AppGuard;EviCheck;双人护卫… 主要字段: 计算机科学(68-XX)
艺术家 在0个文档中引用 软件作者: M.Backes、S.Bugiel、O.Schranz、P.Von Styp-Rekowsky、S.Weisgerber 相关软件: AppTrace;夫人;ARTDroid… 主要字段: –
数据库CAN 1份文件引用(2016) 软件作者: 尹彦斌、毛锡增、杨金才、陈欣、毛凤楼、徐莹 相关软件: 剂量;阿波罗;DBAli工具… 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)
取消vSeq 1份文件引用(2021) 软件作者: Rose Du、Vince Carey、Scott T.Weiss 相关软件: d角度;DeconRNASeq;CellMix公司 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)
DropLasso 1份文件引用(2022) 软件作者: Khalfaoui,B.,Vert,J.P。 相关软件: SGL;HieRFIT;海鸥… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
许慧欣 1份文件引用(2022) 软件作者: 克里斯蒂安·阿拉巴阿(Christian Alrabbaa);弗兰茨·巴德;斯特凡·博格沃德;雷蒙·达赫塞特;帕特里克·科普曼(Patrick Koopmann);朱利安·梅恩德斯 相关软件: ELK;蛋白质-TS;FAME公司 主要字段: 计算机科学(68-XX)
美国财务会计准则 1份文件引用(2018) 软件作者: H.J.P.Smith、D.J.Dube、M.E.Gardner、S.A.Clough、F.X.Kneizys 相关软件: GENSPECT公司;法迪耶娃;算法680… 主要字段: 数值分析(65-XX)
熔岩 在0个文档中引用 软件作者: 克林顿,托雷斯;伊丽莎白·维塔利斯(Elizabeth A.Vitalis)。;布莱恩·贝克(Brian R.Baker)。;加德纳,Shea N。;玛丽莎·托雷斯。;约翰·M·Dzenitis。 相关软件: – 主要字段: –
MakeMusic(制作音乐) 1份文件引用(2016) 软件作者: MakeMusic公司 相关软件: 西格玛GTTM;音乐XML;FATTA… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)