Algebraic Numbers

swMATH28608MaRDI QIDQ40322FDOQ40322

Author name not available (Why is that?)

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