共 50 条
[23]
Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions
[J].
ISSAC'18: PROCEEDINGS OF THE 2018 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION,
2018,
:95-102
[30]
ON DOUBLE-JUMPING FINITE AUTOMATA AND THEIR CLOSURE PROPERTIES
[J].
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS,
2018, 52 (2-4)
:185-199