输入_90 310份文件引用(1996–2023) 软件作者: R.Baker Kearfott先生 相关软件: 国际实验室;C-XSC;个人资料/偏见… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
PROST公司 184份文件引用(2002–2024) 软件作者: Renardy,Yuriko;迈克尔·雷纳迪 相关软件: 格里斯;SLIC;卡拉肯… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
巴贝尔 72份文件引用(1988–2013) 软件作者: 马里奥·罗德里格斯-阿塔莱霍 相关软件: 核叶;玩具;咖喱… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
RAGlib公司 70篇文献引用(2003–2023) 软件作者: Jean-Charles Faugere;穆罕默德·萨弗里·埃尔丁 相关软件: 克罗内克;FGb;隔离… 主要字段: 交换代数(13-XX);代数几何(14-XX);数值分析(65-XX)…
吉隆坡机场 43篇文献引用(2010–2023) 软件作者: 克里斯蒂安·卡达尔、丹尼尔·邓巴、道森·恩格尔 相关软件: z3;可爱的;DART… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
CFL3D(CFL3D) 52篇文献引用(2000–2024) 软件作者: 拉姆西,C.L.,比德隆,R.T.,托马斯,J.L。;美国国家航空航天局 相关软件: Spalart-Allmaras;ADIFR;溢流… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
RealPaver公司 51篇文献引用(2003–2017) 软件作者: 劳伦特·格兰维利耶 相关软件: 数字;进入PT_90;监狱… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
流氓波 39篇文献引用(2018–2024) 软件作者: 丹尼斯·比尔曼;凌利明;彼得·米勒。 相关软件: DLMF;RH包;OEIS… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
黛西 32篇文献引用(2001–2022) 软件作者: B.De Moor、P.De Gersem、B.De Schutter、W.Favoreel 相关软件: FastICA;ICALAB;SLRA… 主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)…
电子控制面板 21篇文献引用(2015–2023) 软件作者: Nicholas A.James、Wenyu Zhang、David S.Matteson 相关软件: 转折点;wbs;R、 … 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);地球物理学(86-XX)…
阳极 26篇文献引用(2020年至2024年) 软件作者: 埃米利安·杜邦(Emilien Dupont)、阿诺德·杜塞特(Arnaud Doucet)、叶惠德(Yee Whye Teh) 相关软件: 火炬差异;FFJORD公司;PyTorch… 主要字段: 常微分方程(34-XX);统计学(62-XX);数值分析(65-XX)…
潜伏网 20篇文献引用(2010–2022) 软件作者: Pavel N.Krivitsky、Mark S.Handcock 相关软件: R;statnet;ergm… 主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…
可观察性测试 引用于22份文件(2001–2022) 软件作者: 亚历山大·塞多拉维奇 相关软件: COMBOS公司;雏菊;西安… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
雪崩。(f) 21篇文献引用(2001–2022) 软件作者: Koch,Othmar;埃瓦州温穆勒 相关软件: bvpsuite;私人银行;COLSYS… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…
转换PDE-UQ 20篇文献引用(2019–2024) 软件作者: 韦诺维奇,N。;拉马尼,K。;林,G。 相关软件: 亚当;DeepONet;DGM… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
BRAID公司 19份文件引用(2003–2023) 软件作者: 凯·马加德;谢尔盖·施佩托夫(Sergey Shpertov);赫尔穆特·沃尔克林 相关软件: 间隙;岩浆;SageMath… 主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)…
CSP防护 17篇文献引用(2005–2022) 软件作者: 吉野县Isobe;马库斯·罗根巴赫 相关软件: PVS;Isabelle/HOL;FDR2… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
ISUD公司 17篇文献引用(2014–2023) 软件作者: 扎格鲁蒂(Abdelouahab Zaghrouti);弗朗索瓦·索米斯;伊斯梅尔El Hallaoui 相关软件: OR-库;GCG;SCIP… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
SeDiMO公司 17篇文献引用(2007–2023) 软件作者: Karin Baur;Draisma,Jan;德格拉夫,威廉·A。 相关软件: 麦考利2号;贝尔蒂尼;间隙… 主要字段: 代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX);结合环与代数(16-XX)…
RSEM(RSEM) 16篇文献引用(2015–2023) 软件作者: 李B,杜威CN 相关软件: 生物导体;R;edgeR… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);概率论与随机过程(60-XX);统计学(62-XX)…
新Dsc 15篇文献引用(2016–2023) 软件作者: 亚历山大·科贝尔(Alexander Kobel);Fabrice的Rouillier;迈克尔·萨格拉洛夫 相关软件: 隔离;C集群;仲裁… 主要字段: 组合数学(05-XX);代数几何(14-XX);复变量函数(30-XX)…
Ck分析 14篇文献引用(2017–2024) 软件作者: Jean-Philippe Lessard;J.D.米雷斯·詹姆斯。 相关软件: 国际实验室;泰勒;galepu… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
切割生成功能学 14篇文献引用(2016–2022) 软件作者: 科普,马提亚斯;周,袁 相关软件: 无限群松弛;github;SageMath… 主要字段: 交换代数(13-XX);代数几何(14-XX);凸和离散几何(52-XX)…
metatah2vec 13份文件引用(2018–2023) 软件作者: Yuxiao Dong、Nitesh V Chawla、Ananthram Swami 相关软件: node2vec;DeepWalk;线路… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
CIMGS公司 13份文件引用(1997–2022) 软件作者: X.Wang、K.A.Gallivan、R.Bramley 相关软件: 稀疏矩阵;HSL;LSQR… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);运筹学、数学规划(90-XX)
Sfold公司 12份文件引用(2006–2014) 软件作者: 丁毅、陈振英、劳伦斯CE 相关软件: Mfold;DINAMelt;Rfam… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…
SPOOK(短管) 11份文件引用(2000年至2020年) 软件作者: A.Pfeffer、D.Koller、B.Milch、K.Takusagawa 相关软件: 博客;工厂;IBAL… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
估计 10篇文献引用(2002–2021) 软件作者: R.K.科尔韦尔。 相关软件: 素食主义者;iNEXT;ws2米… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
H-变形 11份文件引用(2000–2022) 软件作者: 史蒂文·欧文。;苏尼尔·塞加尔 相关软件: Q-变形;立方体盖;LBIE… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);光学、电磁理论(78-XX)…
navierstokes公司 11份文件引用(2019–2023) 软件作者: 范登伯格(van den Berg)、扬·布韦(Jan Bouwe);马克西姆·布列登;Jean-Philippe Lessard;伦奈特·范·维恩 相关软件: 国际实验室;杆;galepu… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
中心群框架 10篇文献引用(2018–2024) 软件作者: 约瑟夫·艾弗森。;约翰·贾斯珀;混合物,Dustin G。 相关软件: 间隙;岩浆;FUtil… 主要字段: 组合数学(05-XX);群论与推广(20-XX);欧氏空间的调和分析(42-XX)…
经济下降 9份文件引用(2020年至2024年) 软件作者: 斯特凡·梅茨格;格吕恩 相关软件: 罗德斯;DistMesh;COMSOL… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
T-Rasch公司 10篇文献引用(2000–2022) 软件作者: I.Ponocny、E.Ponocny-Seliger 相关软件: R;OPLM;MSP5… 主要字段: 统计学(62-XX);数值分析(65-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
TDDS公司 10篇文献引用(2019–2023) 软件作者: 弗拉基米尔·普·格特(Vladimir P.Gerdt)、马库斯·兰盖·赫格曼(Markus Lange-Hegermann)、丹尼尔·罗伯茨(Daniel Robertz) 相关软件: 差异托马斯;枫树;珍妮特… 主要字段: 交换代数(13-XX);常微分方程(34-XX);概率论与随机过程(60-XX)…
BoSy公司 9份文件引用(2019–2021) 软件作者: 彼得·费蒙维尔(Peter Faymonville);芬克贝纳(Bernd Finkbeiner);Leander Tentrup公司 相关软件: 条纹;SPOT;相思树+… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
Goedel上帝 8份文件引用(2015–2020) 软件作者: Christoph Benzmüller;Bruno Woltzenlogel古 相关软件: Isabelle/HOL;存档正式证据;Coq… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
里夫 8份文件引用(2004–2019) 软件作者: A.Wittkopf;G.里德 相关软件: 枫树;微分几何;减少… 主要字段: 场论与多项式(12-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
SPeeDI公司 引用于7份文件(2002–2017) 软件作者: 细辛,尤金;佩斯,戈登;杰拉尔多·施耐德;塞尔吉奥·尤文 相关软件: GSPeeDI;高科技;ParaPlan… 主要字段: 常微分方程(34-XX);计算机科学(68-XX);系统论;对照(93-XX)
CONSLAW公司 引用于7份文件(2004–2016) 软件作者: 姚若霞;李志斌 相关软件: 枫树;冷凝水;GeM… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
欧氏瓣心内膜炎 引用于7份文件(2019–2023) 软件作者: 穆罕默德·纳吉布 相关软件: MCMAS;普拉林;MCMAS-SLK… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
FOL配件 引用于7份文件(2014–2023) 软件作者: 斯特凡·贝尔霍弗;安德烈亚斯·哈尔克 相关软件: 存档正式证据;Isabelle/HOL;完备性定理… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
洛伦兹数据库 引用于7份文件(2015–2022) 软件作者: 罗伯托·巴里奥;Angeles Dena;沃里克塔克 相关软件: CAPD;自动;杆… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)
尽快 4份文件引用(2007–2010) 软件作者: Girish Khandelwal;Lee,Kyonghwan;Yener,Aylin;塞族,塞米希 相关软件: CPN/工具;接入/CPN;设计/CPN… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
因果KinetiX 6篇文献引用(2019年至2022年) 软件作者: 尼古拉斯·普菲斯特;鲍尔,斯特凡;乔纳斯·彼得斯 相关软件: JCI;冠状病毒;DDL… 主要字段: 统计学(62-XX);计算机科学(68-XX);粒子和系统力学(70-XX)
欧洲、中东和非洲 5份文件引用(2019–2023) 软件作者: 弗拉基米尔·德沃金;贾拉尔·卡泽姆普尔;皮埃尔·平森 相关软件: github;JuMP公司 主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
希腊语 6篇文献引用(2019–2023) 软件作者: 阿卜杜拉希姆·梅萨奥迪(Abderrahim Messaoudi);穆罕默德·埃瑞希德(Mohammed Errachid);哈利德·杰比卢;哈萨内·萨多克 相关软件: RMVPIA;Matlab;ALGOL 60… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);近似和展开(41-XX);数值分析(65-XX)
NeMoFinder公司 6篇文献引用(2009–2023) 软件作者: Chen J、Hsu M、Lee L、Ng SK 相关软件: 国防部;卡沃什;FANMOD… 主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
常微分方程 6篇文献引用(2012–2022) 软件作者: 费比安·伊姆勒;约翰内斯·霍尔兹尔 相关软件: Isabelle/HOL;存档正式证据;克莱纳代数… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);动力系统和遍历理论(37-XX)…
温迪 引用于3份文件(2011–2020) 软件作者: 尼尔斯·洛曼;丹妮拉·温伯格 相关软件: BPEL2oWFN;LOTOS;沃夫兰… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
卡斯珀 5份文件引用(2014–2018) 软件作者: 罗塞尔,大卫;阿托里尼,卡米尔·斯蒂芬·奥托;曼纽尔·克罗伊斯;圣奥克尔,杏仁 相关软件: 反转录酶;顶帽;EBSeq… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);生物学和其他自然科学(92-XX)
d2_群集 5份文件引用(2007–2019) 软件作者: Burke,J.、Davison,D.、Hide,W。 相关软件: 莫菲;PHYLIP;彩虹… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
深水球 4份文件引用(2019年至2022年) 软件作者: 纳塔娜·佩罗丁、米夏·德费拉德、托马斯·卡普扎克、拉斐尔·斯吉尔 相关软件: Healpix;亚当;PyTorch… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
梯队形式 5份文件引用(2016–2022) 软件作者: 何塞·迪瓦森;杰苏斯·阿兰塞 相关软件: Isabelle/HOL;伊莎贝尔;传输… 主要字段: 交换代数(13-XX);线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX)…
利亚普诺夫 5份文件引用(2003–2017) 软件作者: Tarcísio M.Rocha Filho;伊拉姆·格里亚。;安妮巴尔·菲格雷多 相关软件: 枫树;diffgrob2;PDE工具… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
聚四氟乙烯 4份文件引用(2021–2023) 软件作者: 塞尔吉奥·科雷亚、保罗·吉马朗斯、汤姆·泽尔金 相关软件: FENmlm;Stata公司;reghdfe… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
省煤器 5份文件引用(2014–2019) 软件作者: S.Zhang、J.Yang、W.Jin 相关软件: TALE公司;GADDI;Fg索引… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
SoftFloat软件 4份文件引用(2002–2021) 软件作者: 豪泽,J。 相关软件: 国际实验室;MPFR;CUBLAS… 主要字段: 数值分析(65-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
备用DTW 5份文件引用(2013–2023) 软件作者: 加齐·阿勒·奈马特(Ghazi Al-Naymat)、桑杰·查拉(Sanjay Chawla)、贾维德·塔赫里(Javid Taheri) 相关软件: UCR套件;SHOGUN公司;cpm… 主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
匿名化 4份文件引用(2017–2023) 软件作者: Hohenberger,S.、Myers,S.,Pass,R.、Shelat,A。 相关软件: github;力比奥;25519版… 主要字段: 量子理论(81-XX);信息与通信理论,电路(94-XX)
巴哈马斯 4份文件引用(2017–2018) 软件作者: H.Shariff(帝国)、X.Jiao(帝国),R.Trotta(帝国)和D.A.van Dyk(帝国) 相关软件: CosmoNest;CosmoMC;卡爪… 主要字段: 统计学(62-XX);量子理论(81-XX);相对论与引力理论(83-XX)…
布雷德拉布 引用于3份文件(2015–2018) 软件作者: Jean-Luc Thiffeault、Marko Budisic 相关软件: plfit;阿尔法形状;线程池… 主要字段: 总体主题;藏品(00-XX);动力系统与遍历理论(37-XX);粒子和系统力学(70-XX)…
彩色周长 4份文件引用(2012–2023) 软件作者: 拉尔斯·诺琴斯基 相关软件: Isabelle/HOL;存档正式证据;大锤… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
LPFML公司 4份文件引用(2005–2016) 软件作者: 罗伯特·福勒;利奥·洛佩斯;基普·马丁 相关软件: AMPL;林多;近地天体… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
供应商 1份文件引用(2014年) 软件作者: Linstead,E。;Bajracharya,S。;Ngo,T。;Rigor,P。;Lopes,C。;P.P.巴尔迪 相关软件: 蟒蛇;鼻腔;GeneReporter… 主要字段: 计算机科学(68-XX)
DPCM公司 引用于3份文件(2021–2023) 软件作者: 马克西姆·布列登;Chainais-Hillairet,Claire;安托万·苏雷克 相关软件: 盖勒普;国际实验室;github 主要字段: 总体主题;藏品(00-XX);偏微分方程(35-XX);算子理论(47-XX)…
eta商 引用于3份文件(2021–2023) 软件作者: 内森·C·瑞恩。;沙尔,扎卡里;Nicolás Sirolli;斯蒂芬妮·特伦尔 相关软件: SageMath;github;打火石 主要字段: 组合数学(05-XX);数论(11-XX)
KKT直接 引用于3份文件(2010–2019) 软件作者: 罗伯特·布里德森 相关软件: IFISS;HSL_MI20;梅蒂斯… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
地图DE 引用于3份文件(2019–2021) 软件作者: 穆罕默德·扎赫拉;格雷戈里·里德(Gregory J.Reid)。;黄,Tracy Shih-lung 相关软件: 微分几何;宝石;向量场的李代数… 主要字段: 场论与多项式(12-XX);偏微分方程(35-XX);计算机科学(68-XX)
MI-Sim公司 引用于3份文件(2018–2022) 软件作者: M.J.Wade、J.Oakley、S.Harbisher、N.G.Parker、J.Dolfing 相关软件: 枫树;MATCONT公司 主要字段: 常微分方程(34-XX);生物学和其他自然科学(92-XX)
服务 引用于3份文件(2021–2022) 软件作者: Lordan,F。;Tejedor,E。;埃扎克,J。;拉斐内尔,R。;Alvarez,J。;Marozzo,F。;Lezzi,D。;Sirvent,R。;塔里亚,D。;巴迪亚·R·M·。 相关软件: PyCOMPS;COMPS;额外… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
辛巴德 引用于3份文件(2004年至2012年) 软件作者: 奥列格·法沃洛夫。;丹·莱德 相关软件: PASCAL挥发性有机化合物;冲浪 主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
合成基因设计师 引用于3份文件(2008–2014) 软件作者: Wu G、Bashir-Bello N、Freeland SJ。 相关软件: 基因设计者;优化器;GeMS… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
托迪夫 2份文件引用(2006–2015) 软件作者: 弗洛里安·贝赫托尔德(Florian Berchtold);尤尔根·豪森;罗伯特·沃尔默特;马塞尔·维德曼 相关软件: 枫树;复曲面;ToricVarieties… 主要字段: 代数几何(14-XX)
个人电脑 2份文件引用(2021–2023) 软件作者: 南奥拉迪斯金 相关软件: 贝叶斯雷;OPQ;gamair… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
连接 2份文件引用(2007–2008) 软件作者: 埃里克森,E。;古斯塔夫森,T.S。 相关软件: 单一 主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)…
CYNTENATOR公司 2份文件引用(2019) 软件作者: Rödelsperger,C.,Dieterich,C。 相关软件: i-ADHoRe;西贝利亚;CAMSA… 主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
D2C型 1份文件引用(2015) 软件作者: Gianluca Bontempi、Catharina Olsen、Maxime Flauder 相关软件: pcalg;R;iWeigReg… 主要字段: 统计学(62-XX);计算机科学(68-XX)
融合++ 1份文件引用(2021) 软件作者: 约翰·麦科马克(John McCormac)、罗纳德·克拉克(Ronald Clark)、迈克尔·布洛施(Michael Bloesch)、安德鲁·戴维森(Andrew J.Davison)、斯特凡·卢特内格(Stefan Leutenger) 相关软件: VoxelNet;深层语境;PPF网… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
模糊LP 2份文件引用(2017) 软件作者: 巴勃罗·J·维拉科塔。;卡洛斯·拉贝洛(Carlos A.Rabelo)。;大卫·A·佩尔塔。;何塞·路易斯·威尔德盖 相关软件: 投资回报率;PROBO;模糊数字… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
排水沟 2份文件引用(2013–2014) 软件作者: 阿德里安·巴索·布兰丁;Frank Delaplace公司 相关软件: – 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
杰科 1份文件引用(2023年) 软件作者: Bea、Yago;豪尔赫·卡萨德雷·索拉纳;Giannakopoulos,塔纳西斯;Jansen,Aron;戴维·马特奥斯(David Mateos);Mikel Sanchez-Garitonandia;Miguel Zilhão先生 相关软件: QNM光谱;NeuralPDE.jl;Matlab… 主要字段: 量子理论(81-XX)
尼卡 2份文件引用(2020–2022) 软件作者: 马丁·D·。;Alcalá-Fdez,J。;Rosete,A。;F.埃雷拉。 相关软件: PeSOA;G3PARM;NMEEF-SD… 主要字段: 计算机科学(68-XX)
路径TiMEx 1份文件引用(2022) 软件作者: Cristea,S.、Kuipers,J.和Beerenwinkel,N。 相关软件: TreeMHN;BiTSC2;斯佳丽… 主要字段: 生物学和其他自然科学(92-XX)
菲洛吉布斯 2份文件引用(2006–2011) 软件作者: Siddhartan,R.、van Nimwegen,E.、Siggia,E.D 相关软件: 模因;跟踪器2;T-咖啡… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
PiMaG公司 2份文件引用(2005–2011) 软件作者: Manolios、Panagiotis;Srinivasan,Sudarshan K。 相关软件: MiniSat;Calysto;Velev SAT基准… 主要字段: 计算机科学(68-XX)
利福西姆 2份文件引用(2018–2020) 软件作者: Maplesoft软件 相关软件: 枫树;外部 主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);流体力学(76-XX)…