学术活动

近期学术活动

第七届组合数学与符号计算研讨会

2024年10月18-20日

中国石家庄

分组邀请报告人

FPSAC 2025

2025年7月21-25日

Hokkaido, Japan

投稿截止: 2024年11月15日

ISSAC 2025

2025年7月28日-8月1日

Guanajuato, Mexico

投稿截止: 待定

教育背景

2013年5月

应用数学 / 计算机科学博士 (双学位)

中国，北京航空航天大学 / 法国，巴黎第六大学

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

2007年7月

数学与应用数学学士

中国，北京航空航天大学

学术服务

委员会成员

中国数学会计算机数学专业委员会

编委会成员

系统科学与数学

程序委员会成员

CASC 2024, Rennes, France, 2024年9月: 程序委员会联合主席
Computer Mathematics 2024, 中国福州, 2024年6月
CASC 2023, Havana, Cuba, 2023年8-9月: 程序委员会联合主席
Computer Mathematics 2023, 中国大连, 2023年6月
CASC 2022, Gebze, Turkey, 2022年8月
ISSAC 2022, Lille, France, 2022年7月
CASC 2021, Sochi, Russia, 2021年9月
Computer Mathematics 2021, 中国桂林, 2021年6月: 程序委员会副主席
CASC 2020, Linz, Austria, 2020年9月
MACIS 2019, Gebze-Istanbul, Turkey, 2019年11月: 分会联合主席
Computer Mathematics 2019, 中国成都, 2019年10月
Computer Mathematics 2018, 中国武汉, 2018年10月
AISC 2018, 中国苏州, 2018年9月
ICMS 2018, South Bend, Indiana, USA, 2018年7月
Computer Mathematics 2017, 中国湘潭, 2017年10月
Computer Mathematics 2016, 中国深圳, 2016年11月
ICMS 2016, Berlin, Germany, 2016年7月
MACIS 2015, Berlin, Germany, 2015年11月

联合宣传主席

MACIS 2013, 中国南宁, 2013年12月

组织者

Intensive Training in High-Performance Computing, 中国北京, 2019年12月
Dasa 2018, 中国南宁, 2018年1月
SSSC 2015, 中国北京, 2015年8月: 组委会主席
Workshop in Logic, Algebra and Computation, 中国北京, 2013年12月

组委会成员

ISSAC 2019, 中国北京, 2019年7月: 联合主席
MACIS 2011, 中国北京, 2011年10月
SCC 2008, 中国北京, 2008年4月

学术访问

MPI-MIS, Leipzig, Germany, 2018年11月
INRIA Nancy Grand-Est, Nancy, France, 2015年11月
LIP6, Université Pierre et Marie Curie, Paris, France, 2014年11月

科研项目

行列式理想的Gröbner基理论与应用

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

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

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

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

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

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

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

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

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

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

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

课程

我在北京航空航天大学开设面向高年级本科生与研究生的“计算机代数”课程, 并制作了该课程的免费公开视频.
长度: 22次课, 每次课约1.5小时; 教材: 《多项式代数》, 我是作者之一；幻灯片: 第一章, 第二章, 第四章, 第三章, 第六章

我于2023年4-5月在北京师范大学主讲“符号计算及应用”短课程, 请点击链接下载课件和观看课程线上视频.

计算机代数: 在线课程

图片

多项式代数

作者

数学的世界

译者

博士论文: Solving Polynomial Systems over Finite Fields: Algorithms, Implementation and Applications

作者

SCC 08

组委会成员

MACIS 2013

联合宣传主席

ISSAC 2019

组委会联合主席

计算机数学交叉研究中心

副主任

学术报告

每组中报告的题目和内容可能有所不同。

On the Reduced Gröbner Bases of Blockwise Determinantal Ideals

CASC 2023, Havana, Cuba, Aug.-Sep. 2023年8-9月

Polynomial System Solving in a Nutshell

ICIAM 2023, Tokyo, Japan, 2023年8月

Characteristic Decomposition: Connecting Lexicographic Groebner Bases and Triangular Sets

SIAM AG 2023, Eindhoven, The Netherlands, 2023年7月
SSSC 2019, 中国重庆, 2019年7月
CSAIM Annual Meeting 2018, 中国成都, 2018年9月
CASC 2017, 中国北京, 2017年9月
SIAM AG 2017, Atlanta, Georgia, USA, 2017年7-8月

Sparse Triangular Decomposition Based on Chordal Graphs

RTCA 2023, Paris, France, Oct. 2023

PCA 2023, St. Petersburg, Russia, 2023年4月
CASC 2022, Gebze, Turkey, 2022年8月
MPI-MIS Seminar, Leipzig, Germany, 2018年11月
ISSAC 2018, New York, USA, 2018年7月
Computer Mathematics Seminar, 中国北京, 2018年4月 (幻灯片)
PCA 2018, St. Petersburg, Russia, 2018年4月 (大会邀请报告)
Dasa 2018, 中国南宁, 2018年1月

Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition

AlCoB 2020 & 2021, Missoula, Montana, USA, 2021年11月

Gröbner bases of Schubert determinantal ideals: Yet another connection between combinatorics and symbolic computation

CMS 2021, 中国昆明, 2021年10月

Simple decomposition and simple characteristic decomposition

Workshop in Honor of Vladimir Gerdt, Saint Petersburg, Russia, 2021年7月

On the Chordality of Ordinary Differential Triangular Decomposition in Top-down Style

ISSAC 2020, Kalamata, Greece, 2020年7月 (视频, 幻灯片)
DART XII, Kassel, Germany, 2024年4月

On the Chordality of Simple Decomposition in Top-Down Style

MACIS 2019, Istanbul, Turkey, 2019年11月

On Berlekamp–Massey and Berlekamp–Massey–Sakata Algorithms

CASC 2019, Moscow, Russia, 2019年8月

Graph Structures in Polynomial Systems Solving: from the Viewpoint of Variable Orderings

Wu Symposium 2019, 中国北京, 2019年5月
3rd Workshop on Combinatorics and Symbolic Computation, 中国大连, 2018年10月
Joint International Meeting of CMS and AMS, 中国上海, 2018年6月

On W-characteristic Sets of Lexicographic Groebner Bases

ISSAC 2017, Kaiserslautern, Germany, 2017年7月 (海报)

Epsilon 1: A Software Library for Triangular Decomposition

ICMS 2016, Berlin, Germany, 2016年7月

Triangular sets over F2 VS satisfiability checking: a potential connection and interaction?

Dagstuhl Seminar 15471: Symbolic Computation and Satisfiability Checking, Schloss Dagstuhl, Germany, 2015年11月

Simple Triangular Decomposition over Finite Fields

ICIAM 2015 (Minisymposia: Triangular decomposition of polynomial systems: solvers and applications), 中国北京, 2015年8月

Sparse FGLM Algorithms for Solving Polynomial Systems

NCMIS Youth forum, 中国北京, 2018年10月
CARAMEL team seminar, INRIA Nancy Grand-Est, Nancy, France, 2015年11月
CM 2015, 中国合肥, 2015年10-11月
CDZ Sino-German Workshop on Computation and Reasoning with Constraints, 中国北京, 2014年11月

Reconstructing Chemical Reaction Networks by Solving Boolean Polynomial Systems

MACIS 2013, 中国南宁, 2013年12月

Fast Algorithm for Change of Ordering of Zero-dimensional Gröbner Bases with Sparse Multiplication Matrices

International Workshop on Certified and Reliable Computation, 中国南宁, 2011年7月
ISSAC 2011, San Jose, USA, 2011年6月

学术著作

在其他数据库平台上找到我: Google Scholar, ResearchGate , MathSciNet , DBLP Bibliography

著作

多项式代数 [封面, 目录, 购买链接]

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

预印本

On the Reduced Gröbner Bases of Blockwise Determinantal Ideals [链接]

Chenqi Mou and Qiuye Song

Puzzle Ideals for Grassmannians [链接]

Chenqi Mou and Weifeng Shang

期刊论文

Simple characteristic decomposition of polynomial sets [链接]

Linpeng Wang and Chenqi Mou, Journal of Systems Science and Complexity, to appear

Sparse triangular decomposition for computing equilibria of biological dynamic systems based on chordal graphs [链接]

Chenqi Mou and Wenwen Ju, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2023, 20(3): 1667-1678

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

Chenqi Mou, Yang Bai, and Jiahua Lai, Journal of Symbolic Computation, 2021, 102: 108–131

多项式组的特征分解 [链接]

王东明, 牟晨琪, 董日娜, 中国科学：数学, 2021, 51(1): 67–86

Decomposition of polynomial sets into characteristic pairs [链接]

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

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

会议论文

DetGB: A software package for computing Gröbner bases of determinantal ideals [链接]

Chenqi Mou, Qiuye Song, and Yutong Zhou, ICMS 2024, Durham University, United Kingdom, 2024

Complexity analysis of triangular decomposition over F2 with strongly chordal graphs [链接]

Zhaoxing Qi and Chenqi Mou, ISSAC 2024, Raleigh, NC, USA, 2024

Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition [链接]

Mingyu Dong and Chenqi Mou, CASC 2022, Gebze, Turkey, 2022

Algorithms for testing membership in univariate quadratic modules over the reals [链接]

Weifeng Shang, Chenqi Mou, and Deepak Kapur, ISSAC 2022, Lille, France, 2022

Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition [链接]

Wenwen Ju and Chenqi Mou AlCoB 2020 & 2021, Missoula, Montana, USA, 2021

Comprehensive characteristic decomposition of parametric polynomial systems [链接]

Rina Dong, Dong Lu, Chenqi Mou and Dongming Wang. ISSAC 2021, Saint Peterburg, Russia, 2021

Game-theoretic analysis on CBDC adoption [链接]

Chenqi Mou, Wei-Tek Tsai, Xiaofang Jiang, and Dong Yang, FICC 2020, Qingdao, China, 2020

On the chordality of ordinary differential triangular decomposition in top-down style [链接]

Chenqi Mou, ISSAC 2020, Kalamata, Greece, Jul. 2020

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

疯狂STEM之数学 (共2册) [购买链接]

Key Concepts in STEM中译本, 电子工业出版设, 北京, 2022

牟晨琪

副教授中国北京航空航天大学数学科学学院

学术活动

近期学术活动

2024年10月18-20日

2025年7月21-25日

2025年7月28日-8月1日

教育背景

教育背景

应用数学 / 计算机科学博士 (双学位)

中国，北京航空航天大学 / 法国，巴黎第六大学

数学与应用数学学士

中国，北京航空航天大学

学术服务

学术服务

委员会成员

编委会成员

程序委员会成员

联合宣传主席

组织者

组委会成员

学术访问

科研项目

科研项目

行列式理想的Gröbner基理论与应用

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

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

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

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

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

课程

课程

图片

图片

学术报告

学术报告

On the Reduced Gröbner Bases of Blockwise Determinantal Ideals

Polynomial System Solving in a Nutshell

Characteristic Decomposition: Connecting Lexicographic Groebner Bases and Triangular Sets

Sparse Triangular Decomposition Based on Chordal Graphs

Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition

Gröbner bases of Schubert determinantal ideals: Yet another connection between combinatorics and symbolic computation

Simple decomposition and simple characteristic decomposition

On the Chordality of Ordinary Differential Triangular Decomposition in Top-down Style

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 W-characteristic Sets of Lexicographic Groebner Bases

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

多项式代数 [封面, 目录, 购买链接]

On the Reduced Gröbner Bases of Blockwise Determinantal Ideals [链接]

Puzzle Ideals for Grassmannians [链接]

Simple characteristic decomposition of polynomial sets [链接]

Sparse triangular decomposition for computing equilibria of biological dynamic systems based on chordal graphs [链接]

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

多项式组的特征分解 [链接]

Decomposition of polynomial sets into characteristic pairs [链接]

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

Sparse FGLM algorithms [链接]

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

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

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

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

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

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

DetGB: A software package for computing Gröbner bases of determinantal ideals [链接]

Complexity analysis of triangular decomposition over F2 with strongly chordal graphs [链接]

Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition [链接]

Algorithms for testing membership in univariate quadratic modules over the reals [链接]

Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition [链接]

Comprehensive characteristic decomposition of parametric polynomial systems [链接]

Game-theoretic analysis on CBDC adoption [链接]

副教授
中国北京航空航天大学数学科学学院

在其他数据库平台上找到我: Google Scholar, ResearchGate , MathSciNet , DBLP Bibliography