×

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

DeepONet(深度网络)

202篇文献引用(2020年至2024年)
软件作者: 陆璐、金鹏展、乔治·埃姆·卡尼亚达克斯
相关软件: 亚当;DGM;DeepXDE…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

赛车手

53篇文献引用(2001–2022)
软件作者: Volker Haarslev、Kay Hidde、Ralf Möller、Michael Wessel
相关软件: FaCT++;颗粒;KL-ONE…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

CPA检查器

引用于45份文件(2011–2023)
软件作者: 德克·拜尔、斯特凡·洛韦、菲利普·温德勒
相关软件: 爆炸;CBMC;SLAM…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

PLAPACK系列

60篇文献引用(1998–2019)
软件作者: P.Alpatov、G.Baker、C.Edwards、J.Gunnels、G.Morrow、J.Overfelt、R.van de Geijn和Y.J.Wu,
相关软件: ScaLAPACK;LAPACK;BLAS…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

阿贝拉

57篇文献引用(2008–2023)
软件作者: 安德鲁·加塞克
相关软件: Twelf公司;白鲸;Coq…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

赫维格++

54篇文献引用(2010–2023)
软件作者: 曼努埃尔·巴赫、斯特凡·吉塞克、马丁·吉格、大卫·格雷舍伊德、基思·汉密尔顿、奥卢塞伊·拉丁·达达、西蒙·普拉策、彼得·理查森、迈克尔·西摩、亚历山大·谢尔斯特涅夫、布莱恩·韦伯
相关软件: PYTHIA8;SHERPA公司;MadGraph…
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…

边缘破碎机

46篇文献引用(1999–2019)
软件作者: 罗西尼亚克;佐治亚理工学院;国家科学基金会
相关软件: 二维三角剖分;地铁;LEDA…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

奶牛

46篇文献引用(2007–2020)
软件作者: 亚历山德罗·拉帕杜拉;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐
相关软件: 自旋蛋白;CC-Pi;PiDuce…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

斯巴达人

37篇文献引用(2020–2023)
软件作者: 斯琳塔·塞蒂
相关软件: 力比奥;马林鱼;天秤座…
主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…

IsaPlanner公司

引用于33份文件(2000–2022)
软件作者: 卢卡斯·狄克逊;莫阿·约翰逊
相关软件: 伊莎贝尔;Coq;Isabelle/HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

布洛克

引用于33份文件(2011–2023)
软件作者: Armin Biere、Florian Lonsing、Martina Seidl
相关软件: DepQBF;RAReQS;MiniSat…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

密码技术

29篇文献引用(2001–2015)
软件作者: 瓦西尔·乌斯廷科
相关软件: 密码;Galois字段算术库
主要字段: 组合数学(05-XX);代数几何(14-XX);计算机科学(68-XX)…

AdaPT公司

引用于8份文件(2018–2022)
软件作者: 雷丽华;威廉·菲钦
相关软件: 自适应MT;平滑度;pyhrt…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);生物学和其他自然科学(92-XX)

InsEnc公司

22篇文献引用(2006–2023)
软件作者: 文森特·瓦特
相关软件: 组织环境信息系统;草本植物;WILF…
主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);代数几何(14-XX)…

银色

21篇文献引用(2021–2023)
软件作者: 杰弗里·库托;彼得·林达尔(Peter Rindal);斯里尼瓦桑·拉古拉曼
相关软件: 自行车;ABY;McEliece…
主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…

SEC/AUED公司

20篇文献引用(1981–2004)
软件作者: 拉金德拉·卡蒂
相关软件:
主要字段: 组合数学(05-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

CF-GGA公司

19份文件引用(2001–2023)
软件作者: Evelyn C.Brown。;罗伯特·T·苏米克拉斯特。
相关软件: 基因组学;野牛;CPLEX…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

LeZi-更新

13份文件引用(2000年-2010年)
软件作者: 巴塔查亚,阿米亚;Das,Sajal K。
相关软件: 分享
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

数学网

16篇文献引用(2000–2016)
软件作者: 杰根·齐默;迈克尔·科尔哈斯
相关软件: TPTP;水獭;PVS…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);常微分方程(34-XX)…

CSP校验器

17篇文献引用(2005–2022)
软件作者: 吉野县Isobe;马库斯·罗根巴赫
相关软件: PVS;Isabelle/HOL;FDR2…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

MemHyb(内存)

15篇文献引用(2012–2019)
软件作者: Maqsood Hayat;Khan,阿西夫拉
相关软件: Memtype-2L;iLoc-Hum;iRSpot-PseDNC…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

MUP公司

15篇文献引用(2005–2016)
软件作者: 黄杰
相关软件: AMUSE;MiniSat;SMT-LIB…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

PBLib(公共图书馆)

15篇文献引用(2007–2023)
软件作者: 托拜厄斯·菲利普;彼得·斯坦克
相关软件: 弯曲;MiniSat;玲玲…
主要字段: 总体主题;藏品(00-XX);群论与推广(20-XX);凸和离散几何(52-XX)…

VoxelNet公司

7份文件引用(2020–2023)
软件作者: 尹周,Oncel Tuzel
相关软件: PointNet;ImageNet;PointCNN…
主要字段: 近似和展开(41-XX);欧氏空间(42-XX)的调和分析;数值分析(65-XX)…

BBMCSP公司

14篇文献引用(2016–2023)
软件作者: 巴勃罗圣塞贡多;阿尔瓦罗·洛佩兹;帕诺斯·帕达洛斯(Panos M.Pardalos)。
相关软件: BBMCL;DIMACS;MaxCliqueDyn…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

比安卡

14篇文献引用(2009–2021)
软件作者: 安吉拉·文森蒂;Ahmadian、Mohammad Reza;保罗·万努奇
相关软件: ALE-PSO;西戈亚;协和式飞机…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…

BoogiePL公司

11份文件引用(2005–2020)
软件作者: DeLine,R.,Leino,K.R.M。
相关软件: z3;规格#;布吉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

iProt-Sub(iProt-Sub)

14篇文献引用(2018年至2019年)
软件作者: Song J、Wang Y、Li F、Akutsu T、Rowlings ND、Webb GI、Chou KC
相关软件: iPromoter-2L;iRNA心理健康;Pse-in-One…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

变压器XL

12份文件引用(2021–2023)
软件作者: 戴子航、杨志林、杨一鸣、杰米·卡博内尔、奎克·V·勒、鲁斯兰·萨拉赫季诺夫
相关软件: BERT;Tensor2传感器;RoBERTa…
主要字段: 总体主题;藏品(00-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

VeriMAP公司

13份文件引用(2015–2022)
软件作者: De Angelis E、Fioravanti F、Pettorossi A、Proietti M
相关软件: z3;跟踪器;SeaHorn…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)

数学检查

13份文件引用(2015–2021)
软件作者: 明亮,柯蒂斯;维杰·加内什;阿尔伯特·海因勒;科齐里亚斯、伊利亚斯;赛义德·内贾蒂;Czarnecki,Krzysztof;爱德华·祖尔科斯基
相关软件: 山猫;枫树;FFTW…
主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…

开放CMISS

10篇文献引用(2013年-2023年)
软件作者: 生理学项目;Bradley,C.、Bowery,A.、Britten,R.、Budelmann,V.、Camara,O.、Christie,R.,Cookson,A.、Frangi,A.F.、Gamage,T.B.、Heidlauf,T.等
相关软件: FEniCS;交易.ii;贞洁…
主要字段: 可变形固体力学(74-XX);流体力学(76-XX);光学、电磁理论(78-XX)…

刚性销

13份文件引用(2022–2024)
软件作者: 季伟奇、邱伟伦、史志宇、潘绍武、邓思丽
相关软件: 亚当;DeepXDE;PINNsNTK…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

神经卫星

12份文件引用(2019–2023)
软件作者: 丹尼尔·塞尔萨姆;马修·拉姆(Matthew Lamm);班尼茨,贝内迪克特;梁佩西;莱昂纳多·德·莫拉;大卫·L·迪尔。
相关软件: 萨齐拉;古罗比;亚当…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

变形杆菌属

10篇文献引用(2015–2022)
软件作者: 巴里·赫尔利;Kotthoff,Lars;尤里·马利茨基;巴里·奥沙利文
相关软件: 微量锌;萨齐拉;桑尼…
主要字段: 几何(51-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

MDL4BMF公司

10篇文献引用(2015–2022)
软件作者: Miettinen P、Vreeken J
相关软件: 克里姆;StreamKrimp;PAL-Tilling…
主要字段: 阶、格、有序代数结构(06-XX);线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX)…

多媒体卡

9份文件引用(2003–2020)
软件作者: 杨平;罗马克里希南,C.R。;斯科特·斯莫尔卡。
相关软件: MWB;MCK;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

STR2型

10篇文献引用(2011–2018)
软件作者: 克里斯托夫·勒库特
相关软件: 微量锌;糠;混凝土…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

BEE公司

引用于8份文件(2012–2022)
软件作者: Metodi,Amit;迈克尔·科迪什
相关软件: 鹦鹉螺;踪迹;MiniSat…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

CVC4SY公司

9份文件引用(2019–2023)
软件作者: 安德烈斯·诺兹利;安德鲁·雷诺兹(Andrew Reynolds);巴博萨、哈尼尔;艾娜·尼梅茨;马蒂亚斯·普雷纳(Mathias Preiner);克拉克·巴雷特;塞萨尔·蒂内利
相关软件: CVC4;z3;MiniSat…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

PhyCRNet(物理CRNet)

9份文件引用(2022–2024)
软件作者: 任、浦;饶成平;刘,杨;王建勋;孙浩
相关软件: 物理地球网;亚当;NSF网络…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

管状的

9份文件引用(1999–2022)
软件作者: 彼得·多博(Piotr Dowbor);托马斯·胡布纳
相关软件: 枫树;CART_TUB;蟒蛇
主要字段: 组合数学(05-XX);数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX)…

iNR-PhysChem公司

引用于8份文件(2012–2018)
软件作者: 肖X、王P、周KC
相关软件: 细胞定位;iSNO-PseAAC;iNuc-PhysChem…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

利比亚DDD

6篇文献引用(2008–2019)
软件作者:
相关软件: 更新;GreatSPN;LoLA…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

lp2正常

引用于8份文件(2014年-2023年)
软件作者: 乔里·博曼森
相关软件: 克林戈;WASP;ASSAT…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

餐前小吃

7份文件引用(2009–2019)
软件作者: 勒鲁,杰罗姆;盖拉尔·波因特
相关软件: z3;CVC4;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

阿里斯塔

7份文件引用(2020–2022)
软件作者: J.Liu、X.Chen、Z.Wang、W.Yin
相关软件: 亚当;ISTA网络;相位提升…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

C-HiLasso公司

6篇文献引用(2011–2022)
软件作者: 巴勃罗·斯普雷赫曼;伊格纳西奥·拉米雷斯;吉列尔莫·萨皮罗;尤尼娜·C·埃尔达尔。
相关软件: CoSaMP公司;查找;玻璃…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

扩展器

7份文件引用(1992–2007)
软件作者: 彼得·帕达维茨
相关软件: 莫德;CoCasl;咖喱…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

iFeature(i功能)

7份文件引用(2018–2022)
软件作者: 陈,Z。;赵,P.Y。;李,F。;Leier,A。;Marquez-Lago,T.T。;Wang,Y。;韦伯,G.I。;史密斯,A.I。;Daly,R.J。;宋,J。
相关软件: pLoc-mHum;Pse-in-One;iPTM-mLys…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

LRinv公司

7份文件引用(2009–2023)
软件作者: Kawabe,M.,Glück,R。
相关软件: SyReC;屋顶PPC;GDB…
主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)

meSAT公司

6篇文献引用(2014–2022)
软件作者: 米尔科·斯托贾迪诺维奇;菲利普·马里奇
相关软件: 微量锌;糖;Yices…
主要字段: 几何(51-XX);数值分析(65-XX);计算机科学(68-XX)…

MIONet公司

7份文件引用(2023–2024)
软件作者: 金、彭湛;孟帅;鲁,鲁
相关软件: DeepONet;亚当;DeepXDE…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

NVAE公司

7份文件引用(2022–2023)
软件作者: Arash Vahdat、Jan Kautz
相关软件: 亚当;ImageNet;FEniCS…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

SaDiCaL公司

7份文件引用(2019–2023)
软件作者: Marijn J.H.Heule、Benjamin Kiesl、Armin Biere
相关软件: CaDiCaL;DRAT-饰件;MiniSat…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Unb-DPC公司

7份文件引用(2017–2019)
软件作者: Khan M、Hayat M、Khan SA、Iqbal N
相关软件: 2L-piRNA;iRSpot-EL;iRNA-PseColl…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

增值税

7份文件引用(2012–2019)
软件作者: 安大略省Lengál;Šimáček,Jiří;汤姆·沃纳
相关软件: MTBDD;莫纳;幻灯片…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

阿祖卡

4份文件引用(2014年至2022年)
软件作者: Tanjo Tomoya、Tamura Naoyuki、Banbara Mutssunori
相关软件: 通用电气;微量锌;糖…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

EL2MCS公司

5份文件引用(2015–2018)
软件作者: Arif,M.F.,Mencía,C.,Marques-Silva,J。
相关软件: 信标;只是;HgMUS…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

GGSA公司

6篇文献引用(2016–2022)
软件作者: 穆罕默德·巴赫尔·道拉沙希(Mohammad Bagher Dowlatshahi)、侯赛因·内扎马巴迪·波尔(Hossein Nezamabadi-pour)
相关软件: GSA;ABC;Apache Spark…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

海康普

6篇文献引用(2017–2022)
软件作者: A.Cimatti、A.Griggio、S.Mover、S.Tonetta
相关软件: nuXmv;CTIGAR;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

IsaFoR公司

4份文件引用(2011–2016)
软件作者: 亚历山大·克劳斯;斯特纳格尔,克里斯蒂安;雷内·蒂曼;福斯、卡斯滕;吉尔根·吉斯尔
相关软件: Isabelle/HOL;CeTA;CoLoR…
主要字段: 计算机科学(68-XX)

Picat-SAT卫星

6篇文献引用(2017–2022)
软件作者: Zhou,N.-F.,Kjellerstrand,H。
相关软件: 微量锌;阳光;CHUFFED…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)

RotEqNet公司

6篇文献引用(2019–2022)
软件作者: Diego Marcos、Michele Volpi、Nikos Komodakis、Devis Tuia
相关软件: ScatNet;深度实验室;ESPNet…
主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…

RP-DeLP公司

6篇文献引用(2014年-2023年)
软件作者: 阿尔西内特、特蕾莎;拉蒙贝加尔;戈多,Lluís;弗朗西斯科·吉塔特
相关软件: ProbLog;NLTK;编辑…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…

变速箱

6篇文献引用(2011–2021)
软件作者: Otpuschennikov,I.、Semenov,A.、Kochemazov,S。
相关软件: MiniSat;氚;URSA…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)

生物-PEPAd

4份文件引用(2012–2015)
软件作者: 朱利奥·卡拉瓦尼亚;简·希尔斯顿
相关软件: 生物-PEPA;LBS;棱镜…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

BranchCuts(分支切割)

5份文件引用(2013–2019)
软件作者: 英格兰,马修;拉塞尔·布拉德福德(Russell Bradford);James H.Davenport。;大卫·威尔逊
相关软件: 枫树;梅蒂塔斯基;QEPCAD…
主要字段: 代数几何(14-XX);计算机科学(68-XX)

3D Alpha形状

5份文件引用(2010–2020)
软件作者: Tran Kai Frank Da、Sébastien Loriot、Mariette Yvinec
相关软件: CGAL;持久性图像;PHAT…
主要字段: 凸和离散几何(52-XX);统计学(62-XX);数值分析(65-XX)…

截止日期

1份文件引用(2019)
软件作者: Daniel Adler、Christian Gläser、Oleg Nenadic、Jens Oehlschlägel、Walter Zucchini
相关软件: R;雪;格子…
主要字段: 统计学(62-XX)

盖娃

3份文件引用(2010–2018)
软件作者: M.O'Neill、E.Hemberg、C.Gilligan、E.Bartley、J.McDermott、A.Brabazon
相关软件: GERET;PonyGE2;gramEvolo…
主要字段: 计算机科学(68-XX)

懒惰的CSeq

4份文件引用(2015–2018)
软件作者: 弗拉基米尔·赫尔特;Le,Hoang M。;丹尼尔·格罗(Daniel Große);罗尔夫·德雷克斯勒
相关软件: CBMC;Cseq;MU-CSeq…
主要字段: 计算机科学(68-XX)

平均无故障时间

5份文件引用(2012–2019)
软件作者: 安大略省Lengál;Šimáček,Jiří;汤姆·沃纳
相关软件: 瓦塔;莫纳;幻灯片…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PointPillars(点支柱)

引用于2份文件(2023)
软件作者: Alex H.Lang、Sourabh Vora、Holger Caesar、Lubing Zhou、Jiong Yang、Oscar Beijbom
相关软件: VoxelNet;ImageNet;nuScenes…
主要字段: 数值分析(65-XX);计算机科学(68-XX);系统论;对照(93-XX)

俄罗斯DML

4份文件引用(2003–2010)
软件作者: 柏林技术大学、哥廷根州立大学图书馆、汉诺威技术信息图书馆。俄罗斯合作伙伴是莫斯科国家公共学术技术图书馆。
相关软件:
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);计算机科学(68-XX)

SCALCE公司

4份文件引用(2015–2018)
软件作者: Hach,F.、Numanagić,I.、Alkan,C.、Sahinalp,S.C。
相关软件: SlimGene;github;BWA…
主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

风景优美

5份文件引用(2021年-2023年)
软件作者: 丹尼尔·弗里蒙特(Daniel J.Fremont)。;爱德华·金;托马索·德罗西;Ghosh,Shromona;岳向玉;Sangiovanni Vincentelli,阿尔贝托L。;Sanjit A.Seshia。
相关软件: 验证;CARLA公司;LGSVL…
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);数值分析(65-XX)…

结构SSI

4份文件引用(2018–2022)
软件作者: 克里斯·桑卡兰(Kris Sankaran);苏珊·霍尔曼
相关软件: Phyloseq;R;多重测试…
主要字段: 统计学(62-XX)

简洁

5份文件引用(2004–2010)
软件作者: 尼尔森,弗莱明;尼尔森、汉内·里斯;孙红燕;米凯尔·巴赫霍尔茨(Mikael Buchholtz);Hansen、Rene Rydhof;亨利克·皮利加德(Henrik Pilegaard);赫尔穆特·塞德尔
相关软件: 琳达;科莱姆;政治公众人物协议…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

TransGAN公司

1份文件引用(2022)
软件作者: 蒋一凡、张世玉、王章扬
相关软件: ImageNet;PyTorch;Python…
主要字段: 计算机科学(68-XX)

BBMCW公司

4份文件引用(2017–2020)
软件作者: 巴勃罗·桑·塞贡多;Jorge Artieda;Mikhail Batsyn;帕诺斯·帕达洛斯(Panos M.Pardalos)。
相关软件: MaxCliqueDyn;DIMACS;BBMCSP…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

CoqInE公司

4份文件引用(2015–2021)
软件作者: Ali Assaf、Mathieu Boespflug、Guillaume Burel、Quentin Carbonneaux、Gaspard Férey、François Thire
相关软件: Coq;CoqHammer;HOL灯光…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CoReS公司

4份文件引用(2018–2022)
软件作者: 巴巴拉·科尼格;内德科恩,马克西姆;诺尔特,丹尼斯
相关软件: z3;SMT-LIB;MEMSALab…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

fzn2毫米

4份文件引用(2012–2017)
软件作者: 博菲尔(Bofill,M.)、帕拉西(Palahí)、苏伊(Suy,J.)、维拉雷特(Villaret,M。
相关软件: 微量锌;通用电气;SCIP…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

IMP公司++

4份文件引用(2008–2013)
软件作者: 阿希姆·D·布鲁克。;沃尔夫,伯克哈特
相关软件: ETPS;Isabelle/HOL;布吉…
主要字段: 计算机科学(68-XX)

科梅特

4份文件引用(2002–2005)
软件作者: Calmet,J.,Jekutsch,S.,Kullmann,P.,Schü,J。
相关软件: 卷曲;PVS;SPASS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

LAME公司

引用于2份文件(2003–2010)
软件作者: 亚历山大·莱丁格;等。
相关软件: WebSphere;3月;BOINC…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

MathLang(数学语言)

4份文件引用(2004–2008)
软件作者: Kamaredine,F.、Maarek,M.、Wells,J。
相关软件: 米扎尔;自动化;XPath…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

ODEA公司

4份文件引用(2008–2023)
软件作者: 马丁·厄尔里希
相关软件: 古罗比;CPLEX;PlaNet公司
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

打包

4份文件引用(2012–2020)
软件作者: Janota,M.、Lync,I.、Manquinho,V.、Marques-Silva,J。
相关软件: Open-WBO;QMaxSAT;SPOT…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

帕塞尔

1份文件引用(2023)
软件作者: 亚杜·巴布吉、安娜·伍德德、李卓昭、丹尼尔·卡茨、本·克利福德、罗汉·库马尔、卢卡斯·拉金斯基、瑞安·查德、贾斯汀·沃兹尼亚克、伊恩·福斯特、迈克尔·王尔德、凯尔·查德
相关软件: 蟒蛇;达克;Keras…
主要字段: 数值分析(65-XX);地球物理学(86-XX);运筹学,数学编程(90-XX)

烫发

引用于2份文件(2010–2014)
软件作者: Y.Chen、T.Souaiaia、T.Chen
相关软件: 缩放;PatternHunter;SHRiMP…
主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

PLMLA公司

4份文件引用(2012–2019)
软件作者: 史,S.P。;邱建德。;孙晓阳(X.Y.Sun)。
相关软件: Cd-hit;iSNO-PseAAC;iHyd-PseAAC…
主要字段: 生物学和其他自然科学(92-XX)

点SIFT

引用于2份文件(2019–2022)
软件作者: 蒋明阳、吴依然、赵天奇、赵泽林、卢策武
相关软件: PointNet;VoxNet;OctNet…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

鲁棒填充

4份文件引用(2019–2023)
软件作者: 雅各布·德夫林;约纳森·尤萨托(Jonathan Uesato);苏里亚布帕提拉朱;里沙巴·辛格;阿卜杜勒·拉赫曼·穆罕默德;科利,普希米特
相关软件: SQL生成器;PyGGI;杜松子酒…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)

SDSAT公司

4份文件引用(2006–2023)
软件作者: Ganai,马来语K;穆拉利达尔·塔卢普尔;阿尔蒂·古普塔
相关软件: YalSAT;CCAnr;玲玲…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

赛莫登

4份文件引用(2022–2024)
软件作者: 钟耀峰-德斯蒙德;迪·比斯瓦迪普;查克拉波蒂,阿米特
相关软件: 亚当;ElemStatLearn;中性CDE…
主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

茶匙

4份文件引用(2017–2022)
软件作者: Banbara,M.、Inoue,K.、Kaufmann,B.、Schaub,T.、Soh,T.和Tamura,N.、Wanko,P。
相关软件: 格林戈;OR-tools;Clingo…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

张量网络理论

4份文件引用(2017–2022)
软件作者: Sarah Al-Assam、Stephen R.Clark、Dieter Jaksch
相关软件: 蛇;evoMPS;IT传感器…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

自适应GPCA

引用于2份文件(2019–2021)
软件作者: 朱莉娅·福山
相关软件: DESeq2;R;生物导体…
主要字段: 统计学(62-XX)

筛选结果依据…

全部的 前5名

相关软件