Chenqi Mou

Assistant Professor
School of Mathematical Sciences, Beihang University, China
  • Address: Office E403-7, School of Mathematical Sciences, Beihang University, Beijing 100191, China
  • Official Email: chenqi.mou[at]buaa.edu.cn
  • Personal Email: chenqi.mou[at]gmail.com
  • Beihang Webpage: Link (in Chinese)

Events

Upcoming Events

Our team is looking for Chinese Postdocs in Computer Mathematics
see the advertisement (in Chinese) for more info
SC2 Workshop 2020
July 5, 2020
Paris, France

Deadline Apr. 10

ISSAC 2020
July 20-23, 2020
Kalamata, Greece

Deadline Feb. 7

ADG 2020
July 13-15, 2020
Hagenberg, Austria

Postponed to Jul. 2021

CASC 2020
Sep. 14-18, 2020
Linz, Austria

PC member, deadline extended to Jun. 1

ACA 2020
July 15-18, 2020
Athens, Greece

Postponed, Session speaker

CM 2020
Oct. 22-25, 2020
Guilin, China

PC vice chair

Education

Education


May 2013
Ph.D. in Applied Mathematics / Computer Science (Double Degrees)
Beihang University, China / Université Pierre et Marie Curie, France

Supervisors: Dongming Wang, Professor / Jean-Charles Faugère, Research Director
Thesis: Solving Polynomial Systems over Finite Fields: Algorithms, Implementation and Applications (Word Cloud)

Jul. 2007
Bachelor of Science in Mathematics and Applied Mathematics
Beihang University, China

Services

Services


Committee Member
Editorial Board Member
Member of Program Committee
Publicity Co-chair
Co-organizer
Member of Local Arrangements
Academic visits

Grants

Grants Awarded


Polynomial System Solving Based on Graph Theory

Principal Investigator, Fund for General Program, National Natural Science Foundation of China
Jan. 2020 – Dec. 2023

Elimination Theory and Methods Based on Connections Between Characteristic Sets and Groebner Bases

Participant, Fund for General Program, National Natural Science Foundation of China
Jan. 2018 – Dec. 2021

Efficient Symbolic Computation Algorithms for Solving Sparse Polynomial Systems

Principal Investigator, Basic Scientific Funding for Central Universities in China
Mar. 2014 – Dec. 2014

Optimization Theory and Efficient Algorithms for Coordinativity of Complex Networks

Participant, Beijing Municipal Natural Science Foundation
Dec. 2018 – Sep. 2022

Triangular Decomposition Methods for Structured Polynomial Systems

Principal Investigator, Fund for Young Scientists, National Natural Science Foundation of China
Jan. 2015 – Dec. 2017

Courses

Courses

I teach Computer Algebra for undergraduate and graduate students at Beihang University.
During the coronavirus outbreak I am making public videos (in Chinese) for this course.
Length: 24 lectures (planned), 1.5 hours each; Textbook: Polynomial Algebra, co-authored by me.

Pictures

Pictures


Talks

Selected Talks


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

Publications

Publications

Find me in Google Scholar, ResearchGate, MathSciNet, or DBLP Bibliography
Books
Polynomial Algebra (in Chinese) [Cover, TOC, Purchase]

Dongming Wang, Chenqi Mou, Xiaoliang Li, Jing Yang, Meng Jin, and Yanli Huang, Higher Education Press, Beijing, 2011

Journal Papers
Decomposition of polynomial sets into characteristic pairs [link]

Dongming Wang, Rina Dong, and Chenqi Mou, Mathematics of Computation, 2020

Chordal graphs in triangular decomposition in top-down style [link]

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

Characteristic decomposition: From regular sets to normal sets [link]

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

Sparse FGLM algorithms [link]

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 [link]

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

Applying triangular set method to detecting steady states and their numbers for finite biological model (in Chinese) [link]

Chenqi Mou and Wei Niu, Computer Applications and Software, 2014, 31(1): 278-282

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

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

Design of termination criterion of BMS algorithm for lexicographical ordering (in Chinese) [link]

Chenqi Mou, Journal of Computer Applications, 2012, 32(11): 2977-2980

Stability analysis for discrete biological models using algebraic methods [link]

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 [link]

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

Conference Papers
On the chordality of simple decomposition in top-down style [link]

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

On Berlekamp–Massey and Berlekamp–Massey–Sakata algorithms [link]

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

On characteristic decomposition and quasi-characteristic decomposition [link]

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

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

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 [link]

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 [link]

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

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

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 [link]

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

Mathematics Popularization
World of Mathematics [Purchase]

Chinese Translation of "Cracking Mathematics" by Colin Beveridge, Electronic Industry Press, Beijing, 2019