28. HexResultant: subresultants and discriminants🔗

1. 28.1. Introduction
2. 28.2. The executable API
3. 28.3. Certified pseudo-division algebra
4. 28.4. Integral proof and coefficient embeddings
5. 28.5. Certified chain structure
6. 28.6. The extended chain
7. 28.7. A small exact computation
8. 28.8. The Mathlib correspondence
9. 28.9. Cross-references