Certification of Minimal Approximant Bases

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]

Authors

Pascal Giorgi

This author has not been identified. Look up 'Pascal Giorgi' in Google

Vincent Neiger

This author has not been identified. Look up 'Vincent Neiger' in Google