×

找到608个软件包(结果1-100)

数据日志

软件作者: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)

M-树

软件作者:吕承怀;张涛;史卫东;李显新。
参考文献: 14种出版物(2005-2021)
相关软件: 双刺激子;CADP;Exp.打开;旋转;洛托;凯撒…
主要领域: 计算机科学(68-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)

伊奥劳斯

软件作者:米特拉,S。
参考文献: 8种出版物(2006-2022)
相关软件: 地下室;StegFS公司
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

微列

软件作者:托马斯·艾森伯斯;居尼苏,蒂姆作者简介;海斯,斯蒂芬;帕尔,克里斯托夫
参考文献: 10种出版物(2008-2021)
相关软件: 麦克莱斯;凯伯;括约肌;brnoeth.lib;凯卡
主要领域: 交换代数(13-XX);代数几何(14-XX);计算机科学(68-XX)