Certified Hermite matrices from approximate roots

DOI10.1016/j.jsc.2022.12.001OpenAlexW3207380170MaRDI QIDQ2687270

Tulay Ayyildiz Akoglu, Agnes Szanto

Publication date: 1 March 2023

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2110.10313

zbMATH Keywords

polynomial systemsapproximate rootscertificationHermite matricessymbolic-numeric computation

Mathematics Subject Classification ID

Uses Software

• Bertini
• alphaCertified

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Comparison of probabilistic algorithms for analyzing the components of an affine algebraic variety
• Separation bounds for polynomial systems
• Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\)
• Approximate radical for clusters: A global approach using Gaussian elimination or SVD
• Algorithm 921
• Sampling Algebraic Varieties for Sum of Squares Programs
• Certified Hermite Matrices from Approximate Roots - Univariate Case
• Algorithms in real algebraic geometry

This page was built for publication: Certified Hermite matrices from approximate roots