Algebraic Numbers

MaRDI QIDQ40322swMATHFDO

Official website https://www.isa-afp.org/entries/Algebraic_Numbers.html

Cited in

(6)

• Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL
• Matrix_Tensor
• Sturm-Tarski Theorem
• Special_Function_Bounds
• Gaussian_Integers
• Minkowskis_Theorem

This page was built for software: Algebraic Numbers