VLDB 2026 Research / reviewers in the wild / expert
Rina Dong
dblp:195/5886
· DBLP profile ↗
4ranked-venue papers
4as first author
2since 2021 · last 2021
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 4 · 4 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Comprehensive Characteristic Decomposition of Parametric Polynomial SystemsabstractThis paper presents an algorithm that decomposes an arbitrary set F of multivariate polynomials involving parameters into finitely many sets Γi of (lexicographical) Gröbner bases G ij such that associated with each Γi there is a system Ai of parametric constraints, all the Ai's partition the parameter space, all the Gij's in each Γi remain Gröbner bases under specialization of the parameters satisfying the constraints in Ai, and for each i the Gröbner bases Gij together with their corresponding W-characteristic sets form a normal characteristic decomposition of F. The sets of Gröbner bases computed by the algorithm provide a comprehensive characteristic decomposition of F that is structure-invariant under the associated constraints and possesses many algebraic and geometric properties, including most of the notable properties on comprehensive Gröbner systems and comprehensive triangular decomposition. Some of these properties are highlighted in the paper and advantages of the proposed algorithm are discussed briefly from the aspects of methodological simplicity and computational performance using illustrative examples and preliminary experiments. Rina Dong, Chenqi Mou, Dongming Wang 0001 |
ISSAC | 1 |
| 2021 | Computing strong regular characteristic pairs with Gröbner bases
Rina Dong, Dongming Wang 0001 |
J. Symb. Comput. | 1 |
| 2019 | On Characteristic Decomposition and Quasi-characteristic Decomposition
Rina Dong, Chenqi Mou |
CASC | 1 |
| 2017 | Decomposing Polynomial Sets Simultaneously into Gröbner Bases and Normal Triangular Sets
Rina Dong, Chenqi Mou |
CASC | 1 |