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);卡尔·温施 相关软件: 锥体;ADIFR;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篇文献引用(2011–2022) 软件作者: D.莫诺 相关软件: RAReQS;z3;MiniSat… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…
蛋白质 15篇文献引用(1994–2006) 软件作者: Baumgartner,P.,Furbach,美国。 相关软件: TPTP;SETHEO公司;OTTER… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CompCertTSO公司 14篇文献引用(2013–2022) 软件作者: 什耶夫切克,雅罗斯拉夫;维克多·瓦菲亚迪斯;弗朗切斯科,扎帕·纳尔德利;苏雷什·贾甘纳森;彼得·休厄尔 相关软件: 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)
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)
驻极体III 2份文件引用(2021–2023) 软件作者: Ezbakhe,Fatine;阿古斯蒂·佩雷斯·福盖特 相关软件: 定义;BENSOLVE公司;DESDEO… 主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
ILF-设置 2份文件引用(1997) 软件作者: 安德烈亚斯·沃尔夫(Andreas Wolf);约翰·舒曼 相关软件: SETHEO公司;E-SETHEO;HOL… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
克索罗 2份文件引用(2019–2020) 软件作者: 弗拉维奥·埃弗拉多;汤米·詹胡宁;罗兰·卡明斯基(Roland Kaminski);托尔斯滕·绍布 相关软件: 克林戈;格林戈;天基信息平台… 主要字段: 计算机科学(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;安德鲁·C·胡克。;蒂尔基尔马兹(Türkyilmaz)、吉尔贝亚斯·伊尔迪兹(Gülbeyaz Yildiz);Siv Jönsson;Mats O·卡尔森。 相关软件: —— 主要字段: ——