糠 559份文件引用(2001–2023) 软件作者: Moskewicz,M.、Madigan,C.、Zhao,Y.、Zhang,L.和Malik,S 相关软件: MiniSat;伯克敏;SATO… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
ETPS公司 162篇文献引用(1986–2022) 软件作者: Peter Andrews、Matthew Bishop、Chad E.Brown、Sunil Issar、Dan Nesmith、Frank Pfenning、Xi Hongwei 相关软件: TPS;Isabelle/HOL;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…
伊萨尔 154份文件引用(2000–2023) 软件作者: 马卡里乌斯·温策尔 相关软件: 伊莎贝尔;Isabelle/HOL;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
ANSYS-CFX分析 113篇文献引用(1998–2024) 软件作者: 网址:www.ansys.com 相关软件: ANSYS;OpenFOAM;FEATFLOW… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
AceFEM公司 98篇文献引用(2008–2023) 软件作者: J·科尔克。 相关软件: AceGen;数学;短信… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
莲花1-2-3 21篇文献引用(1989–2019) 软件作者: Lotus软件 相关软件: dBase;擅长;Quattro Pro… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
测试程序集 78篇文献引用(1990–2022) 软件作者: Andrews,Peter B。;乍得·E·布朗。 相关软件: TPTP;ETPS;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…
Coq/SS反射 74份文件引用(2008–2021) 软件作者: Microsoft Research-Inria联合中心 相关软件: Coq;Isabelle/HOL;Mizar… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…
计算HEP 59篇文献引用(2006–2024) 软件作者: 亚历山大·普霍夫、亚历山大·贝利亚耶夫、尼尔·克里斯滕森 相关软件: 费恩规则;CompHep;micrOMEGAs… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);量子理论(81-XX)…
李奥伊 52篇文献引用(2008–2021) 软件作者: Benzmüller,C.,Paulson,L.,Theiss,F.,Fietzke,A 相关软件: 沙达拉;TPTP;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
JBoss公司 23篇文献引用(2004–2023) 软件作者: Red Hat公司。 相关软件: 口水;方面J;WebSphere… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
马塔德 49篇文献引用(2001–2022) 软件作者: 马蒂亚斯·斯坦豪泽 相关软件: 表格;粉碎机;Axodraw… 主要字段: 数论(11-XX);特殊功能(33-XX);近似和展开(41-XX)…
CompHep公司 42篇文献引用(1997–2024) 软件作者: E.Boos、V.Bunichev、M.Dubinin、L.Dudko、V.Edneral、V.Ilyin、A.Kryukov、V.Savrin、A.Semenov、A.Sherstnev 相关软件: MadGraph;CalcHEP;SHERPA… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);量子理论(81-XX)…
MadGraph5_aMC@NLO 42篇文献引用(2014–2024) 软件作者: J.Alwall、R.Frederix、S.Frixione、V.Hirschi、F.Maltoni、O.Mattelaer、H.-S.Shao、T.Stelzer、P.Torrielli、M.Zaro 相关软件: 费恩规则;PYTHIA8;德尔菲斯… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);粒子力学与系统(70-XX)…
AceGen公司 引用于45份文件(2001–2023) 软件作者: J·科尔克。 相关软件: AceFEM;数学;短信… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
举起 42篇文献引用(2013年-2023年) 软件作者: 布莱恩·哈夫曼(Brian Huffman),Ondřej Kunčar 相关软件: 转让;Isabelle/HOL;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…
换乘 42篇文献引用(2013年-2023年) 软件作者: 布莱恩·哈夫曼(Brian Huffman),Ondřej Kunčar 相关软件: 举起;Isabelle/HOL;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…
SATIRE(饱和) 36篇文献引用(2003–2021) 软件作者: Whittemore J、Kim J、Sakallah K 相关软件: 糠;MiniSat;伯克敏… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
近似值 37篇文献引用(2011–2023) 软件作者: 卢西安·布索尼乌 相关软件: ElemStatLearn;Scikit;Python… 主要字段: 变异微积分和最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
COBS公司 31份文件引用(1999–2023) 软件作者: 何旭明,吴斌 相关软件: R;玉米棒;半标准杆… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
Hypertool(超级工具) 17篇文献引用(2007–2019) 软件作者: Wu M.Y.、Gajski D.D。 相关软件: Condor-G;STG;面条… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
MadFKS公司 26篇文献引用(2010–2023) 软件作者: 里克特·弗雷德里克斯(Rikkert Frederix)、斯特凡诺·弗里西翁(Stefano Frixione)、法比奥·马尔托尼(Fabio Maltoni)、蒂姆·斯特尔泽(Tim Stelzer) 相关软件: MadGraph;CutTools;自动偶极子… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);粒子力学与系统(70-XX)…
烟火 18篇文献引用(2020年至2024年) 软件作者: Eli宾厄姆;Chen,Jonathan P。;马丁·扬科维亚克(Martin Jankowiak);弗里茨·奥伯迈耶(Fritz Obermeyer);尼拉吉·普拉丹;卡拉莱索斯(Karaletsos)、提奥凡尼(Theofanis);罗希特·辛格;保罗·谢里普(Paul Szerlip);保罗·霍斯福尔(Paul Horsfall);诺亚·D·古德曼。 相关软件: TensorFlow;斯坦;PyTorch… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
罗塞塔 21篇文献引用(1998年至2021年) 软件作者: 亚历山大·赫恩;Komorowski,Jan;安德烈·斯科伦(Andrzej Skowron);彼得·西纳克 相关软件: UCI-ml;LERS;RSES… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
毒蛇 25篇文献引用(2016–2023) 软件作者: Peter Müller、Malte Schwerhoff、Alexander J.Summers 相关软件: VeriFast;达夫尼;z3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
泽农 21篇文献引用(2007–2022) 软件作者: 理查德·博尼肯(Richard Bonichon);戴维·德拉哈耶(David Delahaye);Damien Doligez 相关软件: Coq;TPTP;dedukti… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)
CASIA Iris公司 17篇文献引用(2007–2021) 软件作者: 中国科学院自动化研究所 相关软件: UBIRIS;冲浪;钥匙。网络… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)…
犯罪现场调查 23篇文献引用(2011–2023) 软件作者: 哈拉尔赞克尔;费尔根豪尔(Felgenhauer),伯特伦(Bertram);阿尔特·米德尔多普 相关软件: 塞加瓦;CeTA;蒂罗利安… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
科奎利科 22篇文献引用(2015–2024) 软件作者: 西尔维·博尔多;凯瑟琳·勒雷(Catherine Lelay);纪尧姆·梅尔金德 相关软件: Coq;Isabelle/HOL;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);实函数(26-XX);常微分方程(34-XX)…
F类* 21篇文献引用(2011–2020) 软件作者: 微软研究院(INRIA);尼基尔·斯瓦米;陈娟;Fornet,塞德里克;支柱,Pierre-Yves;Bhargavan,Karthikeyan;杨吉恩 相关软件: Coq;Nuprl公司;EasyCrypt… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
Zchaff2004型 16篇文献引用(2005–2016) 软件作者: Yogesh S.Mahajan。;傅朝辉;沙拉德·马利克 相关软件: MiniSat;糠;伯克敏… 主要字段: 数学逻辑与基础(03-XX);几何(51-XX);凸和离散几何(52-XX)…
乔托 17篇文献引用(2001–2022) 软件作者: 托马斯·汉津格、本杰明·霍洛维茨、克里斯托夫·梅耶·基尔希 相关软件: 卢斯特;Uppaal;酯类… 主要字段: 计算机科学(68-XX);系统论;对照(93-XX)
tIGAr(美国通用汽车公司) 18篇文献引用(2019–2023) 软件作者: 大卫·卡门斯基(David Kamensky);尤里·巴齐列夫斯 相关软件: 库达尔菲什;ShNAPr;FEniCS… 主要字段: 近似和展开(41-XX);数值分析(65-XX);变形固体力学(74-XX)…
细胞档案器 6篇文献引用(2018–2022) 软件作者: Anne E Carpenter、Thouis R Jones、Michael R Lamprecht、Colin Clarke、In Han Kang、Ola Friman、David A Guertin、Joo Han Chang、Robert A Lindquist、Jason Moffat、Polina Golland、David M Sabatini 相关软件: 图像J;图像J2;斐济… 主要字段: 代数拓扑(55-XX);统计学(62-XX);计算机科学(68-XX)…
雅加达 17篇文献引用(2001–2014) 软件作者: Daniela Junho de Andrade、Simão Melo de Sousa 相关软件: Coq;OCaml;LETOS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);地球物理学(86-XX)…
道格森 16篇文献引用(2001–2022) 软件作者: Amdeberhan、Tewodros;多龙·泽尔伯格 相关软件: DET;全息函数;兔子… 主要字段: 历史与传记(01-XX);组合数学(05-XX);数论(11-XX)…
GATeL公司 12份文件引用(2001年至2017年) 软件作者: 本杰明·布朗 相关软件: STG;投掷;快速检查… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
Mtac公司 16篇文献引用(2013–2021) 软件作者: Ziliani,贝塔;德里克·德雷尔(Derek Dreyer);Krishnaswami,Neelakantan R。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯 相关软件: Coq;阿格达;Idris… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
诺顿 14篇文献引用(2005–2023) 软件作者: Chen,K。;杜兰德,D。;Farach Colton,M。 相关软件: RAxML;GIGA;基因树… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
SMTCoq公司 12份文件引用(2017–2022) 软件作者: Ekici,B.等人。 相关软件: Coq;Isabelle/HOL;CVC4… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);几何(51-XX)…
Ebimage公司 7份文件引用(2015–2022) 软件作者: 巴乌,格里戈伊尔;福克斯,弗洛里安;Oleg Sklyar;Michael Boutros;沃尔夫冈·胡贝尔 相关软件: R;oro.nifti;oro.dicom… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
CASIA步态 引用于8份文件(2008–2011) 软件作者: CASIA公司 相关软件: 费雷特;TransGAN;回收GAN… 主要字段: 数值分析(65-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
DESOLV公司 12份文件引用(2005–2021) 软件作者: Vu,K.T。;Butcher,J。;J.卡米蒂娜。 相关软件: SYMMGRP;枫树;去溶剂… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…
米兹3 12份文件引用(2012–2020) 软件作者: 弗里克·威迪杰克 相关软件: Coq;米扎尔;Isar… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);光学、电磁理论(78-XX)…
铺路机 11份文件引用(2003–2022) 软件作者: Michael R.Bussieck。;Steven P.Dirkse。;斯特凡·维格尔斯克 相关软件: GAMS;邦明;镜头… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
赶时髦的人 11份文件引用(2014年-2023年) 软件作者: 穆阿·约翰逊(Moa Johansson);丹·罗森;尼古拉斯·斯莫尔博内(Nicholas Smallbone);科恩·克莱森 相关软件: HipSpec;快速检查;IsaCoSy… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
混合动力系统实验室 11份文件引用(2021–2024) 软件作者: 里卡多·桑费利斯(Ricardo G.Sanfelice)。 相关软件: HyEQ公司;YALMIP;Matlab公司 主要字段: 变异微积分和最优控制;优化(49-XX);计算机科学(68-XX);系统论;对照(93-XX)
mode前沿 9份文件引用(1999–2019) 软件作者: 爱思特科技股份有限公司 相关软件: Matlab;COMSOL公司;MVF… 主要字段: 偏微分方程(35-XX);计算机科学(68-XX);流体力学(76-XX)…
AiiDA公司 引用于2份文件(2022) 软件作者: Giovanni Pizzi、Andrea Cepellotti、Riccardo Sabatini、Nicola Marzari、Boris Kozinsky 相关软件: FireWorks;蟒蛇;脓毒症… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);量子理论(81-XX)…
战术脚趾 10篇文献引用(2017年至2021年) 软件作者: Gauthier,T.、Kaliszyk,C.、Urban,J。 相关软件: E定理证明器;谜;MaLeCoP… 主要字段: 计算机科学(68-XX)
TcT公司 10篇文献引用(2016–2021) 软件作者: Avanzini,M.、Moser,G.、Schaper,M。 相关软件: AProVE;z3;TiML… 主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);线性代数和多线性代数;矩阵理论(15-XX)…
3拍 9份文件引用(2010–2023) 软件作者: Contejean,E.,Paskevich,A.,Urbain,X.,Courtieu,P.,Pons,O.,Forest,J。 相关软件: Isabelle/HOL;Coq;CoLoR… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ARENA公司 9份文件引用(2002–2018) 软件作者: 罗克韦尔自动化公司 相关软件: Matlab;SPSS软件;DFBOX_IMPR… 主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);统计学(62-XX)…
条件汇流 9份文件引用(2014–2022) 软件作者: 托马斯·斯特纳格尔(Thomas Sternagel);阿尔特·米德尔多普 相关软件: 莫德;塞加瓦;CSI… 主要字段: 计算机科学(68-XX)
库达尔菲什 引用于8份文件(2021–2023) 软件作者: 大卫·卡门斯基 相关软件: ShNAPr;tIGAr;PETSc… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
iSIGHT公司 引用于8份文件(2005–2023) 软件作者: 达索系统 相关软件: FLUENT公司;Matlab;塔科马… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);流体力学(76-XX)…
潘达波(Pandapower) 在0个文档中引用 软件作者: 莱昂·瑟纳(Leon Thurner)、亚历山大·谢特勒(Alexander Scheidler)、弗洛里安·谢弗(Florian Schäfer)、詹·亨德里克·门克(Jan-Hendrik Menke)、朱利安·多利钦(Julian Dollichon)、弗里德里克·梅耶(Friederike Meier)、 相关软件: 皮普萨;MATPOWER公司;Python… 主要字段: –
自动校对 6篇文献引用(2015–2022) 软件作者: Tschannen,J。;加利福尼亚州福利亚;诺迪奥,M。;北卡罗来纳州波里卡波娃。 相关软件: 达夫尼;VCC;VeriFast… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
LIRA公司 7份文件引用(2008–2021) 软件作者: Becker,B.、Dax,C.、Eisinger,J.、Klaedtke,F。 相关软件: 睫毛;cvc3;TaPAS… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)
OpenCLLink(打开CLLink) 引用于8份文件(2014年-2023年) 软件作者: 沃尔夫拉姆 相关软件: 加亚莱;盖根;GluCat… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);几何(51-XX);数值分析(65-XX)…
TiML公司 引用于8份文件(2018–2022) 软件作者: Wang,P.,Wang,D.,Chlipala,A。 相关软件: TcT;z3;分离逻辑… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
VST-弗洛伊德 引用于8份文件(2018–2023) 软件作者: 曹勤祥;Lennart Beringer;塞缪尔·格鲁特(Samuel Gruetter);约西亚·多兹;安德鲁·W·阿佩尔。 相关软件: Coq;工具链;锈蚀… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
AGEDIS公司 6篇文献引用(2003–2012) 软件作者: 哈特曼,A。;K.Nagin公司 相关软件: SpecExplorer;UniTESK;AsmL… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
仿生学 6篇文献引用(2005–2019) 软件作者: 凯文·帕西诺 相关软件: Boids;PRMLT;t-SNE… 主要字段: 计算机科学(68-XX);流体力学(76-XX);统计力学,物质结构(82-XX)…
汽车 3份文件引用(2018–2020) 软件作者: 丹·斯坦伯格:米哈伊尔·戈洛夫尼亚;索尔福德系统公司 相关软件: gbm;C4.5;randomForest… 主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
CoqMT公司 7份文件引用(2010–2020) 软件作者: Pierre-Yves支柱 相关软件: Coq;辅酶MTU;dedukti… 主要字段: 数学逻辑与基础(03-XX);场论与多项式(12-XX);代数几何(14-XX)…
讨厌的人 7份文件引用(2021–2024) 软件作者: 帕特里克·法雷尔(Patrick E.Farrell)。;罗伯特·C·柯比。;豪尔赫·马切纳·梅内德斯 相关软件: Firedrake;罗德斯;MFEM… 主要字段: 数值分析(65-XX);流体力学(76-XX)
自动变速器2 6篇文献引用(2016年至2019年) 软件作者: 詹伯华 相关软件: Isabelle/HOL;伊莎贝尔;Mizar… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…
贝勒罗芬 6篇文献引用(2017–2023) 软件作者: Nathan Fulton;斯特凡·米奇;布兰登·伯勒;安德烈·普拉泽 相关软件: 凯伊迈拉X;凯伊迈拉;SpaceEx… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
埃利扎尔德 6篇文献引用(2012–2020) 软件作者: 安德鲁·巴克斯特;Brian Nakamura;多龙·泽尔伯格 相关软件: 塞尔吉;CAV;GJsqfree… 主要字段: 组合数学(05-XX);结合环与代数(16-XX);范畴理论;同调代数(18-XX)…
塞尔吉 6篇文献引用(2012–2020) 软件作者: 安德鲁·巴克斯特;Brian Nakamura;多龙·泽尔伯格 相关软件: Elizalde;CAV;GJsqfree… 主要字段: 组合数学(05-XX);结合环与代数(16-XX);范畴理论;同调代数(18-XX)…
图西姆 5份文件引用(1991–2018) 软件作者: 屯特大学 相关软件: Simulink;Matlab公司 主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);生物学和其他自然科学(92-XX)…
ASTRX/OBLX公司 4份文件引用(2007–2014) 软件作者: Ochotta,E.S.,Rutenbar,R.A.,Carley,L.R 相关软件: CGLS公司 主要字段: 计算机科学(68-XX);光学、电磁理论(78-XX);运筹学,数学编程(90-XX)…
CrasyDSE公司 5份文件引用(2012–2020) 软件作者: 马库斯·胡贝尔。;马里奥·米特 相关软件: 数学;表格;FeynCalc… 主要字段: 差分方程和函数方程(39-XX);量子理论(81-XX)
FIDE公司 4份文件引用(1989年至2012年) 软件作者: 里斯卡(R.Liska);L.Drsda博士 相关软件: QEPCAD;减少;重新记录… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
FLAGTOOL公司 5份文件引用(2000–2020) 软件作者: 卡莱,吉尔;彼得·克莱恩施密特(Peter Kleinschmidt);Günter Meisinger 相关软件: 多晶的 主要字段: 几何(51-XX);凸和离散几何(52-XX);数值分析(65-XX)…
GRAS公司 4份文件引用(1996–2020) 软件作者: Kiesel,N.、Schürr,A.、Westfechtel,B。 相关软件: SPARQL;进度;REforDI… 主要字段: 计算机科学(68-XX)
BioStream公司 引用于2份文件(2008年至2020年) 软件作者: Thies,William;约翰·保罗·乌尔班斯基(John Paul Urbanski);托德·托德·托森(Todd Thorsen);萨曼·阿马拉辛格 相关软件: COPASI;波特车轮;雏菊 主要字段: 组合数学(05-XX);计算机科学(68-XX)
德斯科 4份文件引用(2000–2011) 软件作者: 马丁·费边(Martin Fabian);安德斯·海尔格伦 相关软件: UMDES;Uppaal公司 主要字段: 运筹学、数学规划(90-XX);系统论;对照(93-XX)
NAT2测试 4份文件引用(2016–2023) 软件作者: 卡瓦略G、巴罗斯F、卡瓦略A、卡瓦尔康蒂A、莫塔A、桑帕约A 相关软件: FDR3;Z;马戏团… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
菲尼克斯 4份文件引用(2008–2017) 软件作者: P.D.Adams、P.V.Afonine、G.Bunkóczi、V.B.Chen、I.W.Davis、N.Echols、J.J.Headd、L.-W.Hung、G.J.Kapral、R.W.Grosse-Kunstleve、A.J.McCoy、N.W.Moriarty、R.Oeffner、R.J.Read、D.C.Richardson、J.S.Richardsson、T.C.Terwilliger和P.H.Zwart 相关软件: 库特;RDP2;PhyloBayes 3… 主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…
防手表 4份文件引用(2018–2021) 软件作者: 戈泽尔,查拉图斯特拉;Jakubův,Jan;斯蒂芬·舒尔茨(Stephan Schulz);约瑟夫·乌尔班 相关软件: E定理证明器;BliStrTune;谜… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
R2SM(平方米) 4份文件引用(2011–2015) 软件作者: M.V.Garzelli;I.马拉莫斯 相关软件: CutTools;HELAC-1回路;戈萨姆… 主要字段: 量子理论(81-XX)
可视化文档 4份文件引用(2005–2011) 软件作者: Vanderplaats研发公司。 相关软件: 点;ABAQUS/标准;起源 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
Activiti公司 引用于2份文件(2016–2022) 软件作者: https://www.activiti.org/team公司 相关软件: bpmn-js;Uppaal;LoLA… 主要字段: 计算机科学(68-XX)
AFLOW-SYM公司 3份文件引用(2018–2020) 软件作者: 大卫·希克斯;科里·奥斯;埃里克·戈塞特;戈麦斯,吉纳;理查德·泰勒。;托尔、科马克;迈克尔·J·梅尔。;奥哈德·利维;斯特凡诺·库塔罗洛 相关软件: 斯普格利布;持久性图像;白金… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);统计力学,物质结构(82-XX)
跳跃 3份文件引用(2017年至2021年) 软件作者: 托马斯·丁斯代尔·扬(Thomas Dinsdale-Young);佩德罗·达罗查·平托;安徒生,克里斯托弗公正;Lars Birkedal公司 相关软件: 蝰蛇;VeriFast;草蜢… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
cctbx公司 引用于2份文件(2007–2015) 软件作者: Grosse-Kunstleve,R.W。;新泽西州绍特。;莫里亚蒂,西北部。;P.D.亚当斯。 相关软件: smtbx;SHELX;Olex2… 主要字段: 计算机科学(68-XX);统计力学,物质结构(82-XX)
科佩利亚·西姆 3份文件引用(2020–2023) 软件作者: 科佩利亚机器人有限公司。 相关软件: 活性氧;GAZEBO;BERT… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);运筹学,数学编程(90-XX)…