Pascal Giorgi, Vincent Neiger. Certification of Minimal Approximant Bases. In Manuel Kauers, Alexey Ovchinnikov, Éric Schost, editors, Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, New York, NY, USA, July 16-19, 2018. pages 167-174, ACM, 2018. [doi]
Abstract is missing.