×

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

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)…

ATGen公司

6篇文献引用(2005–2022)
软件作者: 克里斯托夫·穆代克
相关软件: 快速检查;派克斯;路特斯…
主要字段: 计算机科学(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)…

Calysto公司

5份文件引用(2008年至2020年)
软件作者: Babić,D.,Hu,A.J。
相关软件: z3;ESC/Java;BoogiePL…
主要字段: 计算机科学(68-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篇文献引用(2019–2022)
软件作者: 拉马钱德兰,P。
相关软件: PySPH;蟒蛇;树…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-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)…

原子化

在0个文档中引用
软件作者: 基兰·马修(Kiran Mathew)、约瑟夫·蒙托亚(Joseph H.Montoya
相关软件: 蟒蛇;俾斯麦根;ASE…
主要字段:

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)

讨价还价

5份文件引用(2010–2015)
软件作者: T·赖特。
相关软件: 表格;戈勒姆95;剪切工具…
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)

NVD公司

引用于2份文件(2017–2019)
软件作者: NIST标准
相关软件: SPMF;BFF;Zzuf…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

计划编辑

引用于2份文件(2002)
软件作者: Redondo,文学硕士。;布拉沃,C。;奥尔特加,M。;医学博士Verdejo。
相关软件: 群组工具包
主要字段: 计算机科学(68-XX)

BioStream公司

引用于2份文件(2008年至2020年)
软件作者: Thies,William;约翰·保罗·乌尔班斯基(John Paul Urbanski);托德·托德·托森(Todd Thorsen);萨曼·阿马拉辛格
相关软件: COPASI;波特车轮;雏菊
主要字段: 组合数学(05-XX);计算机科学(68-XX)

慈白

4份文件引用(2007–2010)
软件作者: 弗朗西斯科·洛戈佐
相关软件: ASTREE公司;CSSV;Groovy…
主要字段: 计算机科学(68-XX)

德斯科

4份文件引用(2000–2011)
软件作者: 马丁·费边(Martin Fabian);安德斯·海尔格伦
相关软件: UMDES;Uppaal公司
主要字段: 运筹学、数学规划(90-XX);系统论;对照(93-XX)

詹金斯

在0个文档中引用
软件作者: 川口K、拜耳A、克罗伊RT
相关软件: 特拉维斯CI;搅拌;卡斯托…
主要字段: 计算机科学(68-XX);统计力学,物质结构(82-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)…

佐尔塔

在0个文档中引用
软件作者: Tom Janssen、Rui Abreu、Arjan J.C.van Gemund
相关软件: 苏贝尔;酥脆;pytest…
主要字段:

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)

安顿

引用于2份文件(2010)
软件作者: 乔治·博恩、马丁·布莱恩、玛丽娜·德沃斯、约翰·菲奇
相关软件: 猿;C模型;CCalc…
主要字段: 计算机科学(68-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)…

筛选结果依据…

全部的 前5名

相关软件