牟晨琪

助理教授
北京航空航天大学数学科学学院,中国
  • 地址: 中国北京航空航天大学 沙河校区 数学科学学院 E403-7办公室, 邮编100191
  • 官方邮箱: chenqi.mou[at]buaa.edu.cn
  • 个人邮箱: chenqi.mou[at]gmail.com
  • 北航主页: 链接

我目前任中国北京航空航天大学 数学科学学院助理教授、计算机数学交叉研究中心副主任以及大数据与脑机智能高精尖创新中心兼职研究员. 我的主要研究领域是符号计算. 具体而言,我主要研究利用三角列和Gröbner基等代数工具来求解多项式系统及其应用.

个人简历

学术活动

近期学术活动

计算机数学交叉研究中心现正招聘博士后研究人员,详见招聘信息
SC2 Workshop 2020
2020年7月5日
Paris, France

截稿日期:4月10日

ISSAC 2020
2020年7月20-23日
Kalamata, Greece

截稿日期:2月7日

ADG 2020
2020年7月13-15日
Hagenberg, Austria

延期至2021年7月

CASC 2020
2020年9月14-18日
Linz, Austria

PC成员,截稿日期延期至6月1日

ACA 2020
2020年7月15-18日
Athens, Greece

分会报告人,会议延期

CM 2020
2020年10月22-25日
中国桂林

PC副主席

教育背景

教育背景


2013年5月
应用数学 / 计算机科学博士 (双学位)
中国,北京航空航天大学 / 法国,巴黎第六大学

导师: 王东明, 教授 / Jean-Charles Faugère, 主任研究员
博士论文: Solving Polynomial Systems over Finite Fields: Algorithms, Implementation and Applications (链接标签云)

2007年7月
数学与应用数学学士
中国,北京航空航天大学

学术服务

学术服务


委员会成员
编委会成员
程序委员会成员
联合宣传主席
组织者
组委会成员
学术访问

科研项目

科研项目


基于图论的多项式系统求解

负责人, 中国自然科学基金委面上项目
2020年1月 – 2023年12月

基于特征列与Groebner基内蕴关系的消去理论和方法

参与, 中国自然科学基金委面上项目
2018年1月 – 2021年12月

稀疏多项式系统的高效符号求解算法研究

负责人, 中央高校基本科研业务费
2014年3月 – 2014年12月

复杂网络协同性的优化理论与高效算法研究

参与, 北京市自然科学基金
2018年12月 – 2022年9月

结构化多项式系统的三角化求解方法研究

负责人, 中国自然科学基金委青年基金
2015年1月 – 2017年12月

课程

课程

我在北京航空航天大学开设面向高年级本科生与研究生的”计算机代数“课程.
新冠疫情期间, 我正在制作该课程的免费公开视频.
长度: 24次课(预计), 每次课约1.5小时; 教材: 《多项式代数》, 我是作者之一; 幻灯片: 第一章, 第二章

图片

图片


学术报告

学术报告


On the Chordality of Simple Decomposition in Top-Down Style
On Berlekamp–Massey and Berlekamp–Massey–Sakata Algorithms
Graph Structures in Polynomial Systems Solving: from the Viewpoint of Variable Orderings
On the chordality of polynomial sets in triangular decomposition in top-down style
Decomposing polynomial sets simultaneously into Gröbner bases and normal triangular sets

On W-characteristic Sets of Lexicographic Groebner Bases
On the Connection Between Lexicographic Groebner Bases and Triangular Sets
Epsilon 1: A Software Library for Triangular Decomposition
Triangular sets over F2 VS satisfiability checking: a potential connection and interaction?
Simple Triangular Decomposition over Finite Fields
Sparse FGLM Algorithms for Solving Polynomial Systems
Reconstructing Chemical Reaction Networks by Solving Boolean Polynomial Systems
Fast Algorithm for Change of Ordering of Zero-dimensional Gröbner Bases with Sparse Multiplication Matrices

学术著作

学术著作

在其他数据库平台上找到我: Google Scholar, ResearchGate, MathSciNet, DBLP Bibliography
著作
多项式代数 [封面, 目录, 购买链接]

王东明, 牟晨琪, 李晓亮, 杨静, 金萌, 黄艳丽, 高等教育出版社, 北京, 2011年

期刊论文
Decomposition of polynomial sets into characteristic pairs [链接]

Dongming Wang, Rina Dong, and Chenqi Mou, Mathematics of Computation, 2020, 89: 1993-2015

Chordal graphs in triangular decomposition in top-down style [链接]

Chenqi Mou, Yang Bai, and Jiahua Lai, Journal of Symbolic Computation, 2019

Characteristic decomposition: From regular sets to normal sets [链接]

Chenqi Mou and Dongming Wang, Journal of Systems Science and Complexity, 2019, 32(1): 37-46

Sparse FGLM algorithms [链接]

Jean-Charles Faugère and Chenqi Mou, Journal of Symbolic Computation, 2017, 80(3): 538-569

Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods [链接]

Wei Niu, Jian Shi, and Chenqi Mou, Applied Mathematics and Computation, 2016, 273: 934-947

三角列方法在探求有限生物模型的平衡点及其个数问题中的应用 [链接]

牟晨琪, 牛薇, 计算机应用与软件, 2014, 31(1): 278-282

Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case [链接]

[Chenqi Mou, Dongming Wang, and Xiaoliang Li, Theoretical Computer Science, 2013, 468: 102-113

字典序下BMS算法终止条件的设计 [链接]

牟晨琪, 计算机应用, 2012, 32(11): 2977-2980

Stability analysis for discrete biological models using algebraic methods [链接]

Xiaoliang Li, Chenqi Mou, Wei Niu, and Dongming Wang, Mathematics in Computer Science, 2011, 5: 247-262

Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case [链接]

Xiaoliang Li, Chenqi Mou, and Dongming Wang, Computers & Mathematics with Applications, 2010, 60: 2983-2997

会议论文
On the chordality of simple decomposition in top-down style

Chenqi Mou and Jiahua Lai, MACIS 2019, Gebze-Istanbul, Turkey, Nov. 2019

On Berlekamp–Massey and Berlekamp–Massey–Sakata algorithms [链接]

Chenqi Mou and Xiaolin Fan, CASC 2019, Moscow, Russia, Aug. 2019

On characteristic decomposition and quasi-characteristic decomposition [链接]

Rina Dong and Chenqi Mou, CASC 2019, Moscow, Russia, Aug. 2019

Game-theoretic analysis on the number of participants in the software crowdsourcing contest [链接]

Pengcheng Peng, Chenqi Mou, and Wei-Tek Tsai, AISC 2018, Suzhou, China, Sep. 2018

On the chordality of polynomial sets in triangular decomposition in top-down style [链接]

Chenqi Mou and Yang Bai, ISSAC 2018, New York, USA, July, 2018

Symbolic detection of steady states of autonomous differential biological systems by transformation into block triangular form [链接]

Chenqi Mou, AlCoB 2018, Hongkong, China, June. 2018

Decomposing polynomial sets simultaneously into Gröbner bases and normal triangular sets [链接]

Rina Dong and Chenqi Mou, CASC 2017, Beijing, China, Sep. 2017

Reconstructing chemical reaction networks by solving Boolean polynomial systems

Chenqi Mou and Wei Niu, MACIS 2013, Naning, China, Dec. 2013

Fast algorithm for change of ordering of zero-dimensional Gröbner bases with sparse multiplication matrices [链接]

Jean-Charles Faugère and Chenqi Mou, ISSAC 2011, San Jose, USA, Jun. 2011

Stability analysis for discrete biological models using algebraic methods

Xiaoliang Li, Chenqi Mou, Wei Niu, and Dongming Wang, MACIS 2009, Fukuoka, Japan, Dec. 2009

数学科普
数学的世界 [购买链接]

英国Colin Beveridge著Cracking Mathematics的中译本, 电子工业出版设, 北京, 2019