1. Computing Critical Points for Algebraic Systems Defined by Hyperoctahedral Invariant Polynomials;Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation;2022-07-04
2. Global Identifiability of Differential Models;Communications on Pure and Applied Mathematics;2020-06-17
3. Irredundant Triangular Decomposition;Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation;2018-07-11
4. Usage of Modular Techniques for Efficient Computation of Ideal Operations;Mathematics in Computer Science;2017-12-19
5. Sparse Rational Univariate Representation;Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation;2017-07-23