Certification of Minimal Approximant Bases
| Title: | Certification of Minimal Approximant Bases |
|---|---|
| Authors: | Giorgi, Pascal; Neiger, Vincent |
| Source: | Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation. :167-174 |
| Availability: | http://dl.acm.org/doi/10.1145/3208976.3208991 |
| Database: | ACM Full-Text Collection |