编辑配置文件(在新选项卡中打开) 庞硕 合著者距离 作者ID: 庞朔 发布日期: 庞硕 已编制索引的文档: 7出版物自2012年起,包括1个附加arXiv预打印 合著者: 9合著者具有5联合出版物 160位合作作者 全部的 前5名合著者 2 单作者的 2 李国富 2 内森·穆尔 2 亚历山大·拉兹博罗夫 2 谢佳芳 2 邹洁涛 1 安德鲁·克莱恩(Andrew B.Klein)。 1 李桂芳 1 郑世旺 1 朱哲元 系列 1 SIAM计算机杂志 1 物理学报 1 北京理工大学学报 领域 4 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 2 粒子和系统力学(70-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用6次6文件 引用人▼ 年份▼ 基于CDCL的有序决策证明系统。 Zbl 1523.68166号 内森·穆尔;庞、硕;亚历山大·拉兹博罗夫 三 2020 非完整系统Boltzmann-Hamel方程的Birkhoff表达式及其广义辛几何算法。 Zbl 1289.70019号 谢佳芳;庞硕;邹洁涛;李国富 三 2012 基于CDCL的有序决策证明系统。 Zbl 1523.68166号 内森·穆尔;庞硕;亚历山大·拉兹博罗夫 三 2020 非完整系统Boltzmann-Hamel方程的Birkhoff表达式及其广义辛几何算法。 Zbl 1289.70019号 谢佳芳;庞硕;邹洁涛;李国富 三 2012 所有引用出版物 前5名被引用出版物 全部的 前5名被13位作者引用 2 亚历山大·拉兹博罗夫 1 拜勒努,杜米特鲁一世。 1 奥拉夫·拜尔斯多夫 1 本杰明·伯姆 1 阿列克谢·博罗丁 1 路易斯·卡洛斯·加西亚,德尔·莫利诺 1 侯赛因·贾法里 1 卡德霍达,线虫 1 内森·穆尔 1 卡沙亚尔·帕克达曼 1 庞硕 1 克里斯托弗·辛克莱。 1 吉尔斯·温里布 5篇连载文章中引用 1 数学物理中的通信 1 统计物理杂志 1 SIAM计算机杂志 1 非线性动力学 1 计算机科学中的逻辑方法 全部的 前5名在6个字段中引用 三 数学逻辑和基础(03-XX) 三 计算机科学(68至XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 概率论与随机过程(60-XX) 1 偏微分方程(35-XX) 1 统计力学,物质结构(82-XX) 按年份列出的引文