5 citations · 7 across the 5 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.DG2021
Positivity in Foliated Manifolds and Geometric Applications
Yashan Zhang, Tao Zheng
We introduce the notion of positivity for a real basic class in basic Bott-Chern cohomology group on foliated manifolds, and study the relationship between this positivity…
cs.SC2021
Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure
Haokun Li, Bican Xia, Huiying Zhang +1
Cylindrical algebraic decomposition (CAD) plays an important role in the field of real algebraic geometry and many other areas. As is well-known, the choice of variable ordering wh…