Yiman Gao

dblp:312/7339 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2025
0009-0005-2070-6232ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 since 2021
YearPublicationVenuePosition
2025 Complete Reduction for Derivatives in a Primitive Tower
abstract
A complete reduction ϕ for derivatives in a differential field is a linear operator on the field over its constant subfield. The reduction enables us to decompose an element f as the sum of a derivative and the remainder ϕ(f). A direct application of ϕ is that f is in-field integrable if and only if ϕ(f) = 0.
Hao Du 0001, Yiman Gao, Wenqiao Li, Ziming Li 0002
ISSAC2
2023 Computing Logarithmic Parts by Evaluation Homomorphisms✱
abstract
We present two evaluation-based algorithms: one for computing logarithmic parts and the other for determining complete logarithmic parts in transcendental function integration. Empirical results illustrate that the new algorithms are markedly faster than those based respectively on resultants, the contraction of ideals, subresultants and Gröbner bases. They may be used to accelerate Risch’s algorithm for transcendental integrands, and help us to compute elementary integrals over logarithmic towers efficiently.
Hao Du 0001, Yiman Gao, Ziming Li 0002
ISSAC2