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)
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)…
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)
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)…
lp2正常 引用于8份文件(2014年-2023年) 软件作者: 乔里·博曼森 相关软件: 克林戈;WASP;ASSAT… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(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)…
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)…
简洁 5份文件引用(2004–2010) 软件作者: 尼尔森,弗莱明;尼尔森、汉内·里斯;孙红燕;米凯尔·巴赫霍尔茨(Mikael Buchholtz);Hansen、Rene Rydhof;亨利克·皮利加德(Henrik Pilegaard);赫尔穆特·塞德尔 相关软件: 琳达;科莱姆;政治公众人物协议… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-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)
科梅特 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)…