Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Symbolic-Numeric Factorization of Differential Operators. | 0 | 0.34 | 2022 |
| Bijections between Łukasiewicz Walks and Generalized Tandem Walks. | 0 | 0.34 | 2020 |
| A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3). | 1 | 0.35 | 2014 |