树 74份文件引用(1992–2023) 软件作者: Hernquist,L。;北卡罗来纳州卡茨 相关软件: GADGET公司;磁粉检测;双球面物理学… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
精益CoP 40篇文献引用(2001–2023) 软件作者: 延斯·奥顿 相关软件: 依兰CoP;TPTP;VAMPIRE… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…
较窄的 11份文件引用(1985–1995) 软件作者: 皮埃尔·雷蒂(Pierre Rety);克劳德·基什内尔;赫莱内·基什内尔;皮埃尔·莱斯坎 相关软件: PARLOG;版次:;内核-叶… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);通用代数系统(08-XX)…
BousiProlog公司 6篇文献引用(2017–2023) 软件作者: 伊兰佐、帕斯夸尔·朱利安、克莱门特·鲁比奥·曼扎诺 相关软件: Likelog;SWI-预测;快速… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
X中心 5份文件引用(2013–2021) 软件作者: Coelho,J.、Florido,M。 相关软件: CLP(柔性);莫德;数学… 主要字段: 数学逻辑与基础(03-XX);特殊功能(33-XX);计算机科学(68-XX)
规则合并器 4份文件引用(2016年至2019年) 软件作者: 丹尼尔·斯特吕贝尔(Daniel Strüber);朱莉娅·鲁宾;托尔斯滕·阿伦特;玛莎·契克;Gabriele Taentzer;詹妮弗·普洛格 相关软件: 亨欣;AGG;VMQL… 主要字段: 计算机科学(68-XX)
Veriflog公司 4份文件引用(2008–2018) 软件作者: 乔治·科埃略(Jorge Coelho),马里奥·弗洛里多(Mário Florido) 相关软件: CLP(柔性);定理;数学… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
波形规格0 4份文件引用(2007–2008) 软件作者: 陈硕;Don Hong;于希尔 相关软件: ElemStatLearn;R;Matlab… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
快速 引用于2份文件(2020–2023) 软件作者: 帕斯夸尔·朱利安·伊兰佐;莫雷诺、吉纳斯;何塞·安东尼奥·里亚扎 相关软件: BousiProlog;FRIL;XPath… 主要字段: 计算机科学(68-XX)
向ATINF致敬 引用于2份文件(2001–2012) 软件作者: 卡费拉、里卡多;尼古拉斯·佩尔蒂埃(Nicolas Peltier);弗朗索瓦·普伊特 相关软件: GEX;日本国债交易所;发现者… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
布拉加方法 1份文件引用(2022) 软件作者: 多米尼克·拉切·温德林(Dominique Larchey-Wendling);Jean-François莫宁 相关软件: OCaml;CompCert;Coq公司 主要字段: 计算机科学(68-XX)
斯布卡 1份文件引用(2008) 软件作者: Yarmohammadi,Mahsa A。;梅赫努什·沙姆斯法德;马希德·亚穆罕默德(Mahshid A.Yarmohammadi)。;马苏德·鲁希扎德 相关软件: – 主要字段: 计算机科学(68-XX)