共 50 条
- [23] Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions 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 RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2018, 52 (2-4): : 185 - 199