×

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

SETHEO公司

118篇文献引用(1990–2022)
软件作者: Letz,R。;舒曼,J。;拜耳,S。;比贝尔,W。
相关软件: TPTP;水獭;SPASS…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

垫片

30篇文献引用(2015–2023)
软件作者: 安维什·科穆拉维利(Anvesh Komuravelli);阿里·古芬克尔(Arie Gurfinkel);萨加·查基
相关软件: z3;CVC4;SeaHorn…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

电子风险管理

11份文件引用(2012–2022)
软件作者: Patrick Mair、Reinhold Hatzinger、Marco J.Maier
相关软件: R;ltm;米尔特…
主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

打开AD/F

23篇文献引用(2007–2022)
软件作者: Jean Utke;乌韦·诺曼;Mike Fagan;内森·塔伦特;米歇尔·米尔斯(Michelle Mills),斯特劳特(Strout);帕特里克·亨巴赫(Patrick Heimbach);克里斯·希尔(Chris Hill);卡尔·温施
相关软件: 锥体;ADIFOR公司;ADOL-C…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

Quantor公司

22篇文献引用(2005–2017)
软件作者: 阿明·比尔
相关软件: 斯基佐;QUBOS公司;部门QBF…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

叶片

21篇文献引用(2007–2023)
软件作者: 弗朗索瓦·布利埃
相关软件: 枫树;雏菊;Epsilon…
主要字段: 场论与多项式(12-XX);常微分方程(34-XX);计算机科学(68-XX)…

巴黎

16篇文献引用(1990–2022)
软件作者: 舒曼,J.,莱茨,R。
相关软件: SETHEO公司;气象;TPTP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

气象

12份文件引用(1990–2004)
软件作者: 黄芪;D.W.洛夫兰
相关软件: SETHEO公司;水獭;孤雌…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

雷神之锤

16篇文献引用(2011–2022)
软件作者: D.莫诺
相关软件: RAReQS;z3;迷你卫星…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…

蛋白质

15篇文献引用(1994–2006)
软件作者: Baumgartner,P.,Furbach,美国。
相关软件: TPTP;SETHEO公司;OTTER…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CompCertTSO公司

14篇文献引用(2013–2022)
软件作者: 什耶夫切克,雅罗斯拉夫;维克多·瓦菲亚迪斯;弗朗西斯科·扎帕·纳德利(Francesco Zappa Nardelli);苏雷什·贾甘纳森;彼得·休厄尔
相关软件: Coq;CompCert;皮尔斯纳…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);通用代数系统(08-XX)…

通过

引用于8份文件(2015–2023)
软件作者: Li,G.,Ghosh,I。
相关软件: S3;Z3-str;陌生人…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

CoCo公司

6篇文献引用(2002–2018)
软件作者: Badsberg JH公司
相关软件: MIM;R;mclust…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…

FLEUR公司

9份文件引用(2012–2020)
软件作者: Forschungszentrum朱利希
相关软件: WIEN2k;ScaLAPACK;LAPACK…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);量子理论(81-XX)…

帕塞农

6篇文献引用(1989–2004)
软件作者: Bose,Soumitra;埃德蒙·克拉克(Edmund M.Clarke)。;Long,David E。;斯皮罗·米查洛夫
相关软件: 气象;SETHEO公司;巴黎…
主要字段: 计算机科学(68-XX)

泰皮卡尔

9份文件引用(1985–2021)
软件作者: 北卡罗来纳州小林市。
相关软件: 管道;github;戈弗利泽…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

LinAIG公司

7份文件引用(2011–2022)
软件作者: 沃纳·达姆;Dierks,Henning;斯蒂芬·迪什(Stefan Disch);威廉·哈格曼;弗洛里安·皮戈什(Florian Pigorsch);克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨
相关软件: z3;CUDD;SpaceEx…
主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…

连续扫描电镜

3份文件引用(2019–2023)
软件作者: Manuel Voelkle、Han Oud、Charles Driver
相关软件: R;S-PLUS;MEMSS…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

DPP-PseAAC公司

5份文件引用(2018–2019)
软件作者: 拉赫曼(M.Saifur Rahman);斯瓦克哈尔沙塔布达;桑杰·萨哈;Kaykobad,M。;拉赫曼(M.Sohel Rahman)
相关软件: iPTM-mLys;iDNA-Prot;pLoc-mPlant…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

RLT-位置

5份文件引用(2016–2023)
软件作者: 埃夫里姆·达尔基兰;哈尼夫·谢拉利。
相关软件: RAPOSa;古罗比;库恩…
主要字段: 凸和离散几何(52-XX);数值分析(65-XX);运筹学,数学编程(90-XX)

CASPA公司

4份文件引用(2008–2015)
软件作者: 延斯·巴赫曼;马丁·里德尔(Martin Riedl);约翰·舒斯特;马库斯·西格尔
相关软件: 棱镜;CUDD;参数
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX)

骑行

4份文件引用(2011–2017)
软件作者: Maa,J.P.Y。;徐天伟。;李·D·Y。
相关软件: na14;LINPACK系列
主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)

阶梯

3份文件引用(2002–2018)
软件作者: Nuamah IF、Qu Y、Amini SB
相关软件: R;SAS;纳迪夫…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

作为185

3份文件引用(1982–1990)
软件作者: 林尚平。
相关软件: AS 83;AS 124;AS 138…
主要字段: 统计学(62-XX)

电气III

引用于2份文件(2021–2023)
软件作者: Ezbakhe,Fatine;阿古斯蒂·佩雷斯·福盖特
相关软件: 定义;BENSOLVE公司;DESDEO…
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

CovSel(共面选择)

1份文件引用(2017)
软件作者: Jenny Häggström、Emma Persson
相关软件: R;匹配;bindata…
主要字段: 统计学(62-XX)

ILF-设置

引用于2份文件(1997)
软件作者: 安德烈亚斯·沃尔夫(Andreas Wolf);约翰·舒曼
相关软件: SETHEO公司;E-SETHEO;HOL…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

克索罗

引用于2份文件(2019–2020)
软件作者: 弗拉维奥·埃弗拉多;汤米·詹胡宁;罗兰·卡明斯基(Roland Kaminski);托尔斯滕·绍布
相关软件: 克林戈;格林戈;天基信息平台…
主要字段: 计算机科学(68-XX)

阿贝

1份文件引用(2018)
软件作者: Rok Blagus,斯拉达语巴布语
相关软件: aplore3;收缩;SAS/STAT…
主要字段: 统计学(62-XX)

DimSim公司

在0个文档中引用
软件作者: Owre,Sam;因德拉尼尔·萨哈;Natarajan Shankar
相关软件: Simulink公司
主要字段: 计算机科学(68-XX)

LISPACK系列

1份文件引用(1992)
软件作者: Iazeolla G.、Marinuzzi F
相关软件: 丽莎;穆马特-83
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)

结构可识别性.jl

1份文件引用(2023)
软件作者: 董瑞文;Goodbrake,克里斯蒂安;Heather A.Harrington。;格勒布·波古丁
相关软件: COMBOS公司;尼莫;见鬼…
主要字段: 场论与多项式(12-XX);交换代数(13-XX);常微分方程(34-XX)…

ncappc公司

在0个文档中引用
软件作者: Acharya、Chayan;安德鲁·胡克(Andrew C.Hooker)。;蒂尔基尔马兹(Türkyilmaz)、吉尔贝亚斯·伊尔迪兹(Gülbeyaz Yildiz);Siv Jönsson;Mats O·卡尔森。
相关软件: ——
主要字段: ——

筛选结果依据…