1. Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems;Lecture Notes in Computer Science;2024
2. The Programming of Algebra;Electronic Proceedings in Theoretical Computer Science;2022-06-30
3. Calcium;Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation;2021-07-18
4. Bernoulli’s Problem $$x^y=y^x$$ and Maple;Communications in Computer and Information Science;2021
5. A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs;Lecture Notes in Computer Science;2020