共 50 条
- [5] On Computing the Resultant of a Polynomial and an Entire Function [J]. Programming and Computer Software, 2022, 48 : 59 - 64
- [8] Algebraic Tools for Computing Polynomial Loop Invariants [J]. PROCEEDINGS OF THE 2024 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, ISSAC 2024, 2024, : 371 - 381