编辑配置文件（在新选项卡中打开） 高新燕 合著者距离 作者ID： 高新燕 发布日期： 高新燕;高新燕 已编制索引的文档： 5出版物自2008年起 合著者： 9合著者具有5联合出版物 324位合作作者 全部的 前5名合著者 0 单作者的 4 吴金钊 4 周宁 三 李大奎 1 丁、英才 1 黄思玉 1 刘文波 1 魏建超 1 闫伟 1 郑凯迪 系列 4 应用数学杂志 1 四川大学学报。工程科学版 领域 4 计算机科学（68至XX） 2 信息和通信理论，电路（94-XX） 1 数学逻辑和基础（03-XX） 1 交换代数（13-XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物具有被引用2中的次1文件 引用人▼ 年份▼ Wu的特征集方法用于SystemVerilog断言验证。 Zbl 1271.94040号 高新燕;周宁;吴金钊;李大奎 1 2013 基于Groebner基方法的SERE性质代数验证方法。 兹比尔1267.68147 周宁;吴金钊;高新燕 1 2013 Wu的特征集方法用于SystemVerilog断言验证。 Zbl 1271.94040号 高新燕;周宁;吴金钊;李大奎 1 2013 基于Groebner基方法的SERE性质代数验证方法。 Zbl 1267.68147号 周宁;吴金钊;高新燕 1 2013 5位作者引用 1 高新燕 1 李大奎 1 魏建超 1 吴金钊 1 周宁 连载1篇 1 应用数学杂志 在3个字段中引用 1 交换代数（13-XX） 1 计算机科学（68至XX） 1 信息和通信理论，电路（94-XX） 按年份列出的引文