On the chordality of ordinary differential triangular decomposition in top-down style

Chenqi Mou. On the chordality of ordinary differential triangular decomposition in top-down style. In Ioannis Z. Emiris, Lihong Zhi, editors, ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020. pages 364-371, ACM, 2020. [doi]

Abstract

Abstract is missing.