Algebraic Numbers

MaRDI QIDQ40322swMATHFDO

Authors René Thiemann, Akihisa Yamada, Sebastiaan J. C. Joosten, Manuel Eberl

Publication date 22 December 2015

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

Cites work

• Arctic Termination ...Below Zero
• Certification of complexity proofs using CeTA
• Certification of Termination Proofs Using CeTA
• From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Matrix interpretations for proving termination of term rewriting
• Matrix Theory
• Theory of algebraic numbers. Vol. 1

Cited in

(6)

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

This page was built for software: Algebraic Numbers