科恩平滑 1082文件引用(1993年至2024年) 软件作者: Wand,医学博士。;M.C.琼斯。;布莱恩·里普利 相关软件: R;pyuvdata;fda(R)… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
毫升 137篇文献引用(2015–2024) 软件作者: R.加拉帕。 相关软件: Matlab;Mittag-Lefler;mftoolx… 主要字段: 实函数(26-XX);特殊功能(33-XX);常微分方程(34-XX)…
PPL(公私合营) 108篇文献引用(2002年-2023年) 软件作者: 罗伯托·巴格纳拉;利玛窦(Elisa Ricci);埃纳州扎法内拉;帕特里夏·M·希尔。 相关软件: 高科技;停机坪;ASTREE… 主要字段: 数学逻辑与基础(03-XX);凸和离散几何(52-XX);计算机科学(68-XX)…
SICStus公司 94份文件引用(1992–2024) 软件作者: 马特斯·卡尔森,佩尔·米尔德纳 相关软件: SWI-预测;Ciao;XSB… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);统计学(62-XX)…
雷富勒 引用于101篇文献(2007–2023) 软件作者: 伊戈尔·波德鲁布尼 相关软件: mlf;Matlab;ML… 主要字段: 实函数(26-XX);特殊功能(33-XX);常微分方程(34-XX)…
APBS公司 95篇文献引用(2001–2023) 软件作者: 内森·贝克;J.Andrew McCammon;迈克尔·霍尔斯特 相关软件: MIBPB;塔比卜;CHARMM… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);光学、电磁理论(78-XX)…
科内克特 84份文件引用(2014–2023) 软件作者: J.库内吉斯 相关软件: SNAP;plfit;帕杰克… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
CUBIT公司 77份文件引用(1996–2023) 软件作者: 桑迪亚国家实验室 相关软件: PETSc;特里利诺斯;Gmsh… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
DP包 70篇文献引用(2008–2024) 软件作者: Jara,A.、Hanson,T.E.、Quintana,F.A.、Müller,P.、Rosner,G.L。 相关软件: R;贝叶斯DA;CODA… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
BGL公司 59篇文献引用(2007–2023) 软件作者: JG Siek、LQ Lee、A Lumsdaine 相关软件: 促进;增强C++库;CGAL… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
百万立方英尺 67篇文献引用(2008–2023) 软件作者: I.波德鲁布尼,M.卡塞纳克 相关软件: Mittag-Lefler;Matlab;ML… 主要字段: 实函数(26-XX);特殊功能(33-XX);常微分方程(34-XX)…
Seigtool公司 63份文件引用(2003–2023) 软件作者: T·G·赖特;M.Karow、E.Kokiopoulou;D.克雷斯纳 相关软件: Eigtool;Matlab;ARPACK… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);数值分析(65-XX)…
PAUP公司* 52篇文献引用(1987–2024) 软件作者: 大卫·斯沃福德 相关软件: PHYLIP;RAxML;贝叶斯先生… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
里贾纳 59篇文献引用(2004–2024) 软件作者: B.A.Burton、R.Budney、W.Pettersson等人。 相关软件: SnapPy;SnapPea;GitHub… 主要字段: 组合数学(05-XX);几何(51-XX);凸和离散几何(52-XX)…
4eMka2公司 53篇文献引用(1999–2023) 软件作者: S.Greco、B.Matarazo、R.Slowinski 相关软件: LERS;M-MACBETH;视觉UTA… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
SegNet公司 47篇文献引用(2018年至2024年) 软件作者: V.Badrinarayanan、A.Kendall、R.Cipolla 相关软件: U-Net;亚当;深度实验室… 主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…
Chebfun2号机组 45篇文献引用(2013–2023) 软件作者: 亚历克斯·汤森;劳埃德·N·特里费琴。 相关软件: 切布冯;Matlab;DLMF… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);近似和展开(41-XX)…
通用 42篇文献引用(2011–2023) 软件作者: 亚历山大·米尔克 相关软件: 蟒蛇;GitHub;AutoMat… 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
KL-ONE公司 37篇文献引用(2001–2022) 软件作者: 弗兰茨·巴德;乌尔里克·萨特勒 相关软件: FaCT++;赛车手;颗粒… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
iSNO-PseAAC公司 40篇文献引用(2013-2021) 软件作者: Xu,Y。;丁,J。;Wu,L.-Y。;周,K.-C。 相关软件: iRSpot PseDNC;iRSpot-TNCPseAAC;财产… 主要字段: 组合数学(05-XX);测量和集成(28-XX);统计学(62-XX)…
LUPS公司 37篇文献引用(1999–2019) 软件作者: 何塞·朱利奥·阿尔弗雷斯;佩雷拉,路易斯·莫尼兹;哈利娜·普尔兹穆森斯卡(Halina Przymusinska);Przymusinski,Teodor C。 相关软件: XSB;平滑;EVOLP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
BDDC公司 34份文件引用(2013–2023) 软件作者: Šístek,J.作者简介;曼德尔,J。;Sousedík,B。;伯达,P。 相关软件: BDDCML;METIS公司;PETSc… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
NetKAT公司 引用于33份文件(2014–2023) 软件作者: Anderson,C.J.,Foster,N.,Guha,A.,Jeannin,J.-B.,Kozen,D.,Schlesinger,C.,Walker,D。 相关软件: 狂热;VeriFlow;食蚁兽… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);结合环与代数(16-XX)…
白鲸 29篇文献引用(2010–2022) 软件作者: 布里吉特·皮恩特卡;约书亚·邓菲尔德 相关软件: Twelf;阿贝拉;Coq… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)
国际RSpot-TNCPseAAC 31份文件引用(2014–2019) 软件作者: 王仁秋、轩晓、郭晨秋 相关软件: iRSpot PseDNC;iNuc-PseKNC;iSNO-PseAAC… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…
质量控制指数 28篇文献引用(2018–2023) 软件作者: Jennifer S.Balakrishnan。;内坦·多格拉 相关软件: 岩浆;GitHub;LMFDB… 主要字段: 总体主题;藏品(00-XX);数论(11-XX);场论与多项式(12-XX)…
Fuzzydl公司 21篇文献引用(2009–2019) 软件作者: Bobillo,F。;美国斯特拉契亚。 相关软件: 德洛里安;FaCT++;颗粒… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…
盖泽博 引用于19份文件(2006–2023) 软件作者: Koenig,N。;H·霍华德。 相关软件: 活性氧;MuJoCo;转子… 主要字段: 常微分方程(34-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
克莱因 25篇文献引用(2011–2023) 软件作者: 郑功、斯维特拉·尼科娃、叶维洛 相关软件: 王子;出席;卡坦… 主要字段: 组合数学(05-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
卡莫 24篇文献引用(2012–2023) 软件作者: 罗德斯,J。;Lee,D。;史密斯,K.S。 相关软件: OpenMC;PARCS;驼鹿… 主要字段: 积分方程(45-XX);数值分析(65-XX);变形固体力学(74-XX)…
D爪 24篇文献引用(2014–2023) 软件作者: 大卫·L·乔治。;理查德·艾弗森。 相关软件: HE-E1GODF;GEOCLAW公司;PVM… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
SimCLR(模拟清除) 23篇文献引用(2021–2024) 软件作者: Ting Chen、Simon Kornblith、Mohammad Norouzi、Geoffrey Hinton 相关软件: 亚当;PyTorch;CIFAR… 主要字段: 抽象谐波分析(43-XX);统计学(62-XX);计算机科学(68-XX)…
iSuc-选择权 23篇文献引用(2016–2019) 软件作者: 贾,J。;刘,Z。;Xiao,X。;刘,B。;周,K.-C。 相关软件: pSuc-Lys;Pse-in-One;iPTM-mLys… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
DEMiC公司 21篇文献引用(2007–2024) 软件作者: 水谷丰彦;秋子武田 相关软件: 混合音量;PHCpack;HOM4PS… 主要字段: 交换代数(13-XX);代数几何(14-XX);凸和离散几何(52-XX)…
i增强器-2L 21篇文献引用(2016–2019) 软件作者: 刘斌;龙云芳;任龙;荀兰;郭振秋 相关软件: pLoc-m动物;pSuc-Lys;Pse-in-One… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
GenSSI公司 20篇文献引用(2013–2023) 软件作者: Chis O、Banga J、Balsa-Canto E 相关软件: 雏菊;西安;COMBOS… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…
WKP测试 20篇文献引用(2004–2023) 软件作者: G.-Q.Xu,Z.-B.Li。 相关软件: 枫树;PDEP测试;RATH… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
法索姆 2份文件引用(2008–2019) 软件作者: 罗尔夫·比勒;Dani Ben-Zvi;亚瑟·巴克;凯蒂·马卡尔 相关软件: 修补图;knitr;CRAN… 主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);统计学(62-XX)…
iCar-PseCp公司 18篇文献引用(2016–2019) 软件作者: 贾,J。;刘,Z。;肖,X。 相关软件: iPTM-mLys;iRSpot PseDNC;Pse-in-One… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
iPhos-PseEvo公司 18篇文献引用(2016–2021) 软件作者: W.R.邱。;Sun,B.Q。;肖,X。 相关软件: iRNAm5C-PseDNC;pLoc-mEuk;Pse-in-One… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
梅根 6篇文献引用(2010–2023) 软件作者: Daniel H.Huson、Alexander F.Auch、Ji Qi、Stephan C.Schuster 相关软件: TETRA;TACOA;爆炸… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
美国金融服务贸易协会 15篇文献引用(2018–2022) 软件作者: Tom Goldstein、Christoph Studer、Richard Baraniuk 相关软件: SPGL1;R;相位提升… 主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…
留置权0 17篇文献引用(1985–2011) 软件作者: F.施瓦兹 相关软件: SPDE;伊斯兰教;减少… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);整体分析,流形分析(58-XX)…
P-FCM法 10篇文献引用(2003–2021) 软件作者: Loia,V。;佩德里茨,W。;塞纳托雷,S。 相关软件: UCI-ml;缓解F;威卡… 主要字段: 统计学(62-XX);计算机科学(68-XX)
截面 17篇文献引用(2020–2023) 软件作者: 克劳福德,洛林;单胞菌,Anthea;陈,安德鲁·X。;穆克吉(Mukherjee,Sayan);劳尔·拉巴丹 相关软件: 持久性图像;古迪;GitHub… 主要字段: 偏微分方程(35-XX);代数拓扑(55-XX);概率论与随机过程(60-XX)…
ENDER(恩德) 13份文件引用(2012–2023) 软件作者: K.Dembczy nski、W.Kot lowski、R.S lowi nski 相关软件: UCI-ml;C4.5;R、 … 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
iPhos-PseEn公司 在16份文件中引用(2016–2019) 软件作者: W.R.邱。;Xiao,X。;徐,Z.H。 相关软件: pSuc-Lys;iPTM-mLys;Pse-in-One… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
AllenNLP公司 2份文件引用(2021–2023) 软件作者: 艾伦艾 相关软件: PyTorch;BERT;TensorFlow… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
国际刑警组织 14篇文献引用(2012–2022) 软件作者: —— 相关软件: ElemStatLearn;巨浪;BSDS… 主要字段: 近似和展开(41-XX);统计学(62-XX);数值分析(65-XX)…
诺顿 14篇文献引用(2005–2023) 软件作者: Chen,K。;杜兰德,D。;M.法拉赫-科尔顿。 相关软件: RAxML;GIGA;基因树… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
R降价 在11份文件中引用(2015–2022) 软件作者: Ben Baumer、Mine Cetinkaya-Rendel、Andrew Bray、Linda Loi、Nicholas J.Horton 相关软件: R;knitr;ggplot2… 主要字段: 统计学(62-XX);地球物理学(86-XX);生物学和其他自然科学(92-XX)
rsvd公司 14篇文献引用(2017–2023) 软件作者: N.本杰明·埃里克森 相关软件: 兰德国家实验室;R;ARPACK… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…
SpectrUW公司 15篇文献引用(2007–2020) 软件作者: Bernard Deconick;菲拉特·基亚克;约翰·卡特(John D.Carter)。;J.Nathan Kutz 相关软件: STABLAB;汽车;HomCont… 主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);算子理论(47-XX)…
高温气冷堆 14篇文献引用(2018–2023) 软件作者: Michael Abseher;穆斯利乌·奈斯雷特(Nysret Musliu);斯特凡·沃尔特兰 相关软件: GANAK公司;克林戈;夏普… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);有序,格,有序代数结构(06-XX)…
iProt-Sub(iProt-Sub) 14篇文献引用(2018–2019) 软件作者: Song J、Wang Y、Li F、Akutsu T、Rawlings ND、Webb GI、Chou KC 相关软件: iPromoter-2L;iRNA-PseColl;Pse-in-One… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
MPSolve解决方案 14篇文献引用(2003–2018) 软件作者: 比萨大学 相关软件: na20;特征解;C-XSC 2.0… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
机密P 14篇文献引用(2010–2013) 软件作者: Yu,L。;郭毅。;李毅。;李·G。;李,M。;罗,J。;熊,W。;秦,W。 相关软件: 细胞定位;Euk-mPLoc;iLoc-Virus… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
糖 14篇文献引用(2002年-2023年) 软件作者: Clark,J.V.、Bindel,D.、Zhou,N.、Bhave,S.、Bai,Z.、Demmel,J.、Pister,K.S.J。 相关软件: 欧米茄3P;mctoolbox;ARPACK… 主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);变形固体力学(74-XX)…
PABTEC公司 12份文件引用(2011–2023) 软件作者: 塔贾娜·斯泰克尔(Tatjana Stykel)、安德烈亚斯·斯坦布雷彻(Andreas Steinbrecher)、哈蒂姆·阿齐兹·萨利赫(Hatim Aziz Salih) 相关软件: Matlab;罗德斯;Loewner… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);数值分析(65-XX)…
PhyloNet系统 在11份文件中引用(2010–2022) 软件作者: Than,C.、Ruth,D.、Nakhleh,L。 相关软件: DupTree;RAxML;ASTRAL-II… 主要字段: 组合数学(05-XX);凸和离散几何(52-XX);运筹学,数学规划(90-XX)…
安全UML 7份文件引用(2002–2014) 软件作者: 托尔斯滕·洛德斯泰特;David Basin;于尔根Doser 相关软件: Z;自旋蛋白;HOL-OCL… 主要字段: 计算机科学(68-XX)
Treewidthlib公司 13份文件引用(2007–2016) 软件作者: Jan-Willem van den Broek;汉斯·博德兰德 相关软件: ComputeTW;DIMACS;GeoSteiner… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
杜利昂 12份文件引用(2011–2020) 软件作者: C.E.Tsourakakis、U.Kang、G.L.Miller、C.Faloutsos 相关软件: MapReduce;5桶;六个子图… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…
长笛 12份文件引用(2013–2022) 软件作者: Chao,D.L。;Halloran,M.E。;Obenchain,V.J。;I.M.小朗基尼。 相关软件: 代码113;pchip;代码23s… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);计算机科学(68-XX)…
ModelPlex公司 10篇文献引用(2016–2024) 软件作者: Mitsch,S.、Platzer,A。 相关软件: 凯伊迈拉X;凯伊迈拉;dReach… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
象限 12份文件引用(2016–2023) 软件作者: 特雷滕科夫,A.E。 相关软件: GitHub;mf工具箱 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);算子理论(47-XX)…
分布式数据库 10篇文献引用(2006–2021) 软件作者: 兰志玲;瓦莱丽·泰勒(Valerie E.Taylor)。;李亚伟 相关软件: PETSc;帕拉梅什;ParFUM… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
图形转换基准 4份文件引用(2006–2010) 软件作者: G.Varró,A.Schürr,D.Varrö 相关软件: 进度;VIATRA2;Fujaba… 主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)
i增强-EL 在11份文件中引用(2018–2019) 软件作者: 刘,B。;李凯。;黄,D.-S。;周,K.-C。 相关软件: pLoc-mGneg;iRO-3wPseKNC;iDNA6mA-PseKNC… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
分子立方体 8份文件引用(2010–2021) 软件作者: 节日网站 相关软件: M-TRAN;超级机器人;ROS… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);系统论;控制(93-XX)
MPSGE公司 在11份文件中引用(1996–2018) 软件作者: 卢瑟福,T.F。 相关软件: GAMS;路径求解器;GEMPACK… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
打开以编辑 8份文件引用(2002年至2006年) 软件作者: 当然,约克;Michael Erdmann;朱尔根·安吉尔;斯特芬·斯塔布;鲁迪·施图德(Rudi Studer);德克·温克 相关软件: 石油教育;蛋白质;WebODE… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
PhyCRNet(物理CRNet) 在11份文件中引用(2022–2024) 软件作者: 任、浦;饶成平;刘,杨;王建勋;孙浩 相关软件: PhyGeoNet;亚当;NSF网络… 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
多面体 9份文件引用(2009–2022) 软件作者: 勒内·伯克纳 相关软件: 麦考利2号;旧多面体;二项式.m2… 主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)…
RATSY公司 10篇文献引用(2012–2022) 软件作者: 罗德里克·布隆姆、亚历山德罗·西马蒂、卡琳·格雷梅尔、乔治·霍夫雷克、罗伯特·科尼霍费尔、马可·罗弗瑞、维克托·舒潘、理查德·西伯 相关软件: NuSMV;JTLV;数学SAT… 主要字段: 数学逻辑与基础(03-XX);测量和集成(28-XX);计算机科学(68-XX)…
次氯酸钠 在11份文件中引用(2009–2019) 软件作者: 杜,P。;曹,S。;李,Y。 相关软件: 细胞定位;iLoc-Plant;Plant-mPLoc;……工厂… 主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
辛迪JS 9份文件引用(2016–2021) 软件作者: 冯·盖格恩,马丁;乌尔里奇·科滕坎普;里希特·盖伯特(Jürgen Richter-Gebert);迈克尔·斯特罗贝尔 相关软件: 灰姑娘;GeoGebra;CindyGL… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);几何(51-XX)…
D空间 4份文件引用(2002年至2016年) 软件作者: 史密斯,麦肯齐;玛丽·巴顿;米克·巴斯;布兰斯科夫斯基(Branschofsky),玛格丽特(Margret);格雷格·麦克莱伦;Dave Stuve;罗伯特·坦斯利(Robert Tansley);朱莉·哈福德·沃克 相关软件: Scikit;SciPy;Seaborn公司… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
LSD公司 9份文件引用(2012–2023) 软件作者: Y.J.Liang;W.Chen先生 相关软件: 稳定;Matlab;GSL… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…
Onto-Tools(在线工具) 5份文件引用(2006–2012) 软件作者: Draghici S、Khatri P、Bhavsar P、Shah A、Krawetz SA、Tainsky MA 相关软件: 政府统计局;GOTM;GO工具箱… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);生物学和其他自然科学(92-XX)
RolX公司 8份文件引用(2014–2021) 软件作者: K.Henderson、B.Gallagher、T.Eliassi-Rad、H.Tong、S.Basu、L.Akoglu、D.Koutra、C.Faloutsos、L.Li 相关软件: node2vec;GraRep;快照… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)…
CGOPT公司 9份文件引用(2014–2021) 软件作者: 寇彩霞 相关软件: SCALCG;ve08;ACGSSV… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学、数学规划(90-XX)
线索GO 7份文件引用(2014–2018) 软件作者: Bindea G、Mlecnik B、Hackl H等人 相关软件: 字符串;完整的;KEGG… 主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);统计学(62-XX)…
钻石 9份文件引用(2015–2021) 软件作者: Ellmauthaler,S。;斯特拉斯,H。 相关软件: 卡奈德;GRAPPA;MiniSat… 主要字段: 历史与传记(01-XX);计算机科学(68-XX)
GNN解释人 7份文件引用(2021–2024) 软件作者: 雷克斯·英(Rex Ying)、迪伦·鲍尔乔伊斯(Dylan Bourgeois)、佳轩佑(Jishoun You)、马林卡·齐特尼克(Marinka Zitnik)、朱尔·莱斯科维奇(Jure Leskovec) 相关软件: PyTorch;Rdkit;TUDataset… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
帕塞农 6篇文献引用(1989–2004) 软件作者: Bose,Soumitra;埃德蒙·克拉克(Edmund M.Clarke)。;大卫·E·朗。;斯皮罗·米查洛夫 相关软件: 气象;SETHEO公司;巴黎… 主要字段: 计算机科学(68-XX)
PSync(同步) 9份文件引用(2016–2023) 软件作者: 塞扎拉奥盖医生;托马斯·亨辛格。;达米安·祖弗里 相关软件: 威尔第;常春藤;ByMC… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
自动变电站 6篇文献引用(2015–2023) 软件作者: S.Schäfer、T.Tebbi、G.Smolka 相关软件: Coq;GitHub;流行标记… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
布尔网 7份文件引用(2010–2020) 软件作者: 艾伯特,I。;Thakar,J。;李,S。;张,R。;R·阿尔伯特。 相关软件: 帕奈;格拉夫维兹;CANA… 主要字段: 动力系统与遍历理论(37-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)…
科尔曼 8份文件引用(2019–2023) 软件作者: 巴拉克里希南;J.Tuitman(托特曼) 相关软件: 岩浆;GitHub;QCI… 主要字段: 数论(11-XX);代数几何(14-XX);复变量函数(30-XX)…
iUbiq-Lys系统 8份文件引用(2017–2019) 软件作者: —— 相关软件: iMethyl-PseAAC;iRNA-PseColl;Pse-in-One… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
LSWR_丢失功能_PINN 8份文件引用(2023) 软件作者: 白金帅;Timon Rabczuk;古普塔,阿什什;Laith Alzubaidi;Gu,圆通 相关软件: PINNsNTK;U-Net;DeepONet;…(D)… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
佩里普洛 8份文件引用(2013–2022) 软件作者: 罗里尼(Simone Fulvio);Alt,Leonardo;格里戈里·费迪尤科维奇;Hyvärinen,Antti E.J。;娜塔莎·莎莉吉娜 相关软件: eVolCheck;FunFrog;OpenSMT2… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
POEM公司 8份文件引用(2006–2022) 软件作者: 普罗旺斯大学;彼得·尼伯特(Peter Niebert);曲洪阳 相关软件: Uppaal公司;自旋蛋白;IF-2.0… 主要字段: 计算机科学(68-XX)