Publisher
Springer Berlin Heidelberg
Cited by
79 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proving an Execution of an Algorithm Correct?;Lecture Notes in Computer Science;2023
2. Efficient computation of Riemann–Roch spaces for plane curves with ordinary singularities;Applicable Algebra in Engineering, Communication and Computing;2022-12-01
3. Stability Problems in Symbolic Integration;Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation;2022-07-04
4. Comments on Integration of Algebraic Functions;Texts & Monographs in Symbolic Computation;2022
5. Integration of Algebraic Functions;Texts & Monographs in Symbolic Computation;2022