Rizeng Chen
Scholar

Rizeng Chen

Google Scholar ID: V36ZAYUAAAAJ
Peking University
Computational Algebraic GeometrySymbolic Computation
Citations & Impact
All-time
Citations
17
 
H-index
3
 
i10-index
0
 
Publications
6
 
Co-authors
0
 
Resume (English only)
Academic Achievements
  • Published a paper on a new Cylindrical Algebraic Decomposition algorithm.
Research Experience
  • Currently pursuing a PhD and will graduate in July 2026. He is on the job market looking for a post-doc position.
Education
  • PhD candidate in Mathematics at Peking University, supervised by Prof. Bican Xia; Bachelor's degree from Hua Loo-Keng Honorary Class, School of Mathematical Sciences, Beihang University (BUAA).
Background
  • Research interests: Algebraic Geometry, Mathematical Logic, Theoretical Computer Science. For example, given a semi-algebraic set / an algebraic variety X (algebraic geometry) described by a logic formula (logic), he studies how to decide whether X is empty (TCS). Another example is computing its projection image in the low-dimensional space (Quantifier Elimination). More details can be found in his recent paper.
Miscellany
  • His homepage is powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.
Co-authors
0 total
Co-authors: 0 (list not available)