编辑配置文件（在新选项卡中打开） 李文达 合著者距离 作者ID： 李文达 发布日期： 李文达 已编制索引的文档： 12出版物自2002年起 合著者： 8位合著者具有6联合出版物 222名Co-Co作者 全部的 前5名合著者 0 单作者的 5 劳伦斯·查尔斯·保尔森 三 A.Y.C.奈伊。 三 Ong，S.K。 1 安东尼·博尔吉 1 京、朱 1 Koutsukou Argyraki，安吉利基 1 A.R.米利哈姆。 1 杰兰特·欧文 1 帕斯莫尔，格兰特·奥尼 1 Yi、Yujun 1 张尚红 1 赵勇 系列 5 国际生产研究杂志 2 自动推理杂志 2 实验数学 1 工程中的数学问题 1 国际结构稳定性与动力学杂志 全部的 前5名领域 6 计算机科学（68至XX） 5 运筹学、数学编程（90-XX） 三 数学逻辑和基础（03-XX） 2 复变量的函数（30-XX） 1 数论（11-XX） 1 场论和多项式（12-XX） 1 代数几何（14-XX） 1 数值分析（65-XX） 1 可变形固体力学（74-XX） 1 流体力学（76-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用10中的次7文件 引用人▼ 年份▼ 使用粒子群优化方法优化集成过程规划和调度。 兹比尔1198.90183 郭永伟。;W.D.李。;A.R.米利哈姆。;G.W.欧文。 10 2009 混合遗传算法和模拟退火方法用于棱柱形零件工艺方案的优化。 Zbl 1058.90034号 W.D.李。;Ong，S.K。;A.Y.C.奈伊。 6 2002 使用基于约束的禁忌搜索方法优化工艺计划。 Zbl 1094.90535号 W.D.李。;Ong，S.K。;A.Y.C.奈伊。 5 2004 通过Isabelle/HOL中的Cauchy指数评估绕组数和计算复数根。 Zbl 1468.68299号 李文达;劳伦斯·C·鲍尔森。 三 2020 用于协同产品开发系统的最新技术和方法。 兹比尔1122.90341 W.D.李。;邱，Z.M。 2 2006 识别交互加工特征的混合方法。 Zbl 1059.90097号 W.D.李。;Ong，S.K。;A.Y.C.奈伊。 2 2003 在Isabelle/HOL中使用不可信证书判定一元多项式问题。 Zbl 1468.68298号 李文达;帕斯莫尔，格兰特·奥尼;劳伦斯·C·鲍尔森。 2 2019 柯西剩余定理的形式证明。 Zbl 1478.68440号 李文达;劳伦斯·C·鲍尔森。 2 2016 简单类型理论并不太简单：没有依赖类型的Grothendieck方案。 Zbl 1498.14001号 安东尼·博尔吉;劳伦斯·鲍尔森;李文达 2 2022 Isabelle/HOL中无穷级数的非理性和超越准则。 Zbl 1518.11003号 Koutsukou Argyraki，安吉利基;李文达;劳伦斯·C·鲍尔森。 1 2022 简单类型理论并不太简单：Grothendieck的方案没有依赖类型。 Zbl 1498.14001号 安东尼·博尔吉;劳伦斯·鲍尔森;李文达 2 2022 Isabelle/HOL中无穷级数的非理性和超越准则。 Zbl 1518.11003号 Koutsukou Argyraki，安吉利基;李文达;劳伦斯·C·鲍尔森。 1 2022 通过Isabelle/HOL中的Cauchy指数评估缠绕数和计算复根。 Zbl 1468.68299号 李文达;劳伦斯·C·鲍尔森。 三 2020 在Isabelle/HOL中使用不可信证书判定一元多项式问题。 Zbl 1468.68298号 李文达;帕斯莫尔，格兰特·奥尼;劳伦斯·C·鲍尔森。 2 2019 柯西剩余定理的形式证明。 Zbl 1478.68440号 李文达;劳伦斯·C·鲍尔森。 2 2016 使用粒子群优化方法优化集成过程规划和调度。 兹比尔1198.90183 郭永伟。;W.D.李。;A.R.米利哈姆。;G.W.欧文。 10 2009 用于协同产品开发系统的最新技术和方法。 Zbl 1122.90341号 W.D.李。;邱，Z.M。 2 2006 使用基于约束的禁忌搜索方法优化工艺计划。 Zbl 1094.90535号 W.D.李。;Ong，S.K。;A.Y.C.奈伊。 5 2004 识别交互加工特征的混合方法。 Zbl 1059.90097号 W.D.李。;Ong，S.K。;A.Y.C.奈伊。 2 2003 混合遗传算法和模拟退火方法用于棱柱形零件工艺方案的优化。 Zbl 1058.90034号 W.D.李。;Ong，S.K。;A.Y.C.奈伊。 6 2002 所有引用出版物 前5名被引用出版物 全部的 前5名11位作者引用 4 劳伦斯·查尔斯·保尔森 2 李文达 1 亚历山大·塞尔扬 1 曼纽尔·埃贝尔 1 穆纳乔·埃切宁 1 拉尔斯·科肯比尔 1 迈赫迪·姆哈拉 1 托比亚斯·尼普科 1 帕斯莫尔，格兰特·奥尼 1 赫尔曼·舒尔兹·巴尔德斯 1 马卡里乌斯·温泽尔 3篇连载文章中引用 三 自动推理杂志 1 数学物理杂志 1 计算的形式方面 在4个字段中引用 6 计算机科学（68至XX） 1 场论和多项式（12-XX） 1 复变量的函数（30-XX） 1 量子理论（81-XX） 按年份列出的引文